• Bài giảng Kiến trúc máy tính - Chương 6, Phần 3: Hệ thống BusBài giảng Kiến trúc máy tính - Chương 6, Phần 3: Hệ thống Bus

    Các chuẩn về Bus: - Số lượng và chủng loại các bộ phận vào/ra không cần định trước trong các hệ thống xử lý thông tin. Điều này giúp cho người sử dụng máy tính dùng bộ phận vào/ra nào đáp ứng được các yêu cầu của họ. Vào/ra là giao diện trên đó các bộ phận (thiết bị) được kết nối vào hệ thống. Nó có thể xem như một Bus nới rộng dùng để kết n...

    pdf9 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 1091 | Lượt tải: 0

  • An Experimental Investigation of Part-Of-Speech Taggers for VietnameseAn Experimental Investigation of Part-Of-Speech Taggers for Vietnamese

    In this paper, we present an experimental investigation of five part-of-speech taggers for Vietnamese. In the investigation, there are four statistical taggers, Stanford POS Tagger, ClearNLP, vnTagger and JVnTagger. The other one is RDRPOSTagger,a transformation-based tagger. In term of tagging accuracy, we evaluate the statistical taggers b...

    pdf15 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 1210 | Lượt tải: 0

  • Bài giảng Kiến trúc máy tính - Chương 6, Phần 2: Đĩa quangBài giảng Kiến trúc máy tính - Chương 6, Phần 2: Đĩa quang

    MỘT VÀI THÔNG SỐ  Các lỗ trên CD sâu 0,12 micron và rộng 0,6 micron (1 micron bằng một phần ngàn mm). Các lỗ này được khắc theo một track hình xoắn ốc với khoảng cách 1,6 micron giữa các vòng, khoảng 16.000 track/inch. Các lỗ (pit) và nền (land) kéo dài khoản 0,9 đến 3,3 micron. Track bắt đầu từ phía trong và kết thúc ở phía ngoài theo ...

    pdf7 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 1088 | Lượt tải: 0

  • Towards Model-Checking Probabilistic Timed Automata against Probabilistic Duration PropertiesTowards Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties

    We have presented the problem of checking probabilistic timed automata against probabilistic duration calculus formulas. The problem is decidable for a class of PDC formulas of the form [Ψ]wλ where Ψ is a linear duration invariant, or a DC formula for bounded liveness. The technique for model checking is an extension of our techniques for ch...

    pdf16 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 1052 | Lượt tải: 0

  • Bài giảng Kiến trúc máy tính - Chương 6, Phần 1: Đĩa từBài giảng Kiến trúc máy tính - Chương 6, Phần 1: Đĩa từ

    Công nghệ mới cho đĩa cứng(tt) • Việc chia thành các sector 512 byte hữu dụng với ổ đĩa cứng có dung lượng vài megabyte (MB) trước đây. Nhưng với sự phát triển của công nghệ, dung lượng của ổ đĩa cứng ngày nay lên đến hàng terabyte (TB), và định dạng sector 512 byte của ổ đĩa cứng hiện nay đã cho thấy những mặt hạn chế, gây lãng phí dung lượn...

    pdf7 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 989 | Lượt tải: 0

  • An OCL-Based Framework for Model TransformationsAn OCL-Based Framework for Model Transformations

    We have introduced an approach for specifying, realizing, and ensuring the quality of model transformations: (1) The foundation of the approach is based on the integration of TGGs and OCL. We have further formulated operation contracts for derived triple rules in order to realize them as OCL operations with two views: Declarative OCL pre- an...

    pdf16 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 1073 | Lượt tải: 0

  • Bài giảng Kiến trúc máy tính - Chương 5: Tổ chức bộ nhớ - Phần bộ nhớ đệm nhanh (Cache Memory)Bài giảng Kiến trúc máy tính - Chương 5: Tổ chức bộ nhớ - Phần bộ nhớ đệm nhanh (Cache Memory)

    4. Phương pháp ghi dữ liệu khi cache hit (để đồng bộ dữ liệu giữa cache và bộ nhớ)  Ghi xuyên qua (Write through)  ghi cả cache và bộ nhớ chính  tốc độ chậm  Ghi trả sau (Write back)  chỉ ghi ra cache  tốc độ nhanh  khi block trong cache bị thay thế cần phải ghi trả cả block về bộ nhớ chính Các mức cache  Việc dùng cache trong có...

    pdf11 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 1650 | Lượt tải: 0

  • Reducing Startup Time in MP4 On-Demand Video Streaming Services with Movie Atom CachingReducing Startup Time in MP4 On-Demand Video Streaming Services with Movie Atom Caching

    In this paper, we have shown that in streaming schemes where MP4 files are used as multimedia assets, time for downloading moov atoms, a data segment in MP4 files which is important for decoding process, is noticeable. This amount of time leads to long startup delays and poor quality of experience. User behavior models were presented to show...

    pdf9 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 1190 | Lượt tải: 0

  • Hyper-Volume Evolutionary AlgorithmHyper-Volume Evolutionary Algorithm

    In this paper we proposed a multi-objective evolutionary algorithm called Hyper-volume Evolutionary Algorithm (HVEA) which incorporates distinctive mechanisms for fitness assignment, ranking and crowding. The algorithm uses hyper-volume, Pareto dominance and distance between neighbouring solutions in order to drive improvement of the current...

    pdf23 trang | Chia sẻ: HoaNT3298 | Ngày: 25/11/2020 | Lượt xem: 1275 | Lượt tải: 0

  • Bài giảng Kiến trúc máy tính - Chương 5: Tổ chức bộ nhớ - Phần bộ nhớ ảo (Virtual Memory): Nguyên lý vận hành của bộ nhớ ảoBài giảng Kiến trúc máy tính - Chương 5: Tổ chức bộ nhớ - Phần bộ nhớ ảo (Virtual Memory): Nguyên lý vận hành của bộ nhớ ảo

    Các nhà thiết kế hệ điều hành phải được sự giúp sức của các nhà chế tạo máy tính để bảo vệ một tiến trình không bị ảnh hưởng bởi tiến trình khác. 1. Cung cấp hai chế độ vận hành cho biết tiến trình đang thực hiện là tiến trình của người sử dụng hay tiến trình hệ thống (của người điều hành). 2. Cung cấp một tập hợp con trạng thái của bộ xử lý ...

    pdf8 trang | Chia sẻ: thucuc2301 | Ngày: 25/11/2020 | Lượt xem: 1098 | Lượt tải: 0