004.21

004
004.01
004.019
004.03
004.038
004.060
004.068
004.072
004.09
004.1
004.16
004.165
004.2
004.22
004.221
004.24
004.35
004.36
004.3681
004.38
004.42
004.432
004.6
004.62
004.64
004.654
004.67
004.674
004.678
004.6782
004.7
004.738

Library items with class number 004.21

Computer organization and design / David A Patterson

No review available on this record. Title : Computer organization and design : the hardware/software interface Material Type: printed text Authors: David A Patterson, Author ; John L. Hennessy, Author Edition statement: 4rth edition Publisher: Elsevier/Morgan Kaufmann Publishers (San Francisco, CA) Publication Date: 2009 Pagination: xxv, 703 p. (186 p.) Layout: ill. Size: 24 cm Accompanying material: 1 CD-ROM ISBN (or other code): 978-0-12-374493-7 General note: Includes index Languages : English (eng) Original Language : English (eng) Descriptors: Computer architecture Computer organization System design -- Data processing. Class number: 004.21 Abstract: "Computer organization and design"- The classic textbook for computer systems analysis and design, Computer Organization and Design, has been thoroughly updated to provide a new focus on the revolutionary change taking place in industry today: the switch from uniprocessor to multicore microprocessors. This new emphasis on parallelism is supported by updates reflecting the newest technologies with examples highlighting the latest processor designs, benchmarking standards, languages and tools. As with previous editions, a MIPS processor is the core used to present the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O. Along with its increased coverage of parallelism, this new edition offers new content on Flash memory and virtual machines as well as a new and important appendix written by industry experts covering the emergence and importance of the modern GPU (graphics processing unit), the highly parallel, highly multithreaded multiprocessor optimized for visual computing. A new exercise paradigm allows instructors to reconfigure the 600 exercises included in the book to easily generate new exercises and solutions of their own. A CD provides a toolkit of simulators and compilers along with tutorials for using them as well as additional problems and solutions, and references. Contents note: Computer Abstractions and Technology; Instructions : Language of the Computer; Arithmetic for Computers; Assessing and Understanding Performance; The Processor; Enhancing Performance with Pipelining; Large and Fast: Exploiting Memory Hierarchy; Storage, Networks and Other Peripherals; Multiprocessors and Clusters; Mapping Control to Hardware; A Survey of RISC Architectures for Desktop, Server, and Embedded Computers; Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=13811

Copies

Barcode	Call number	Media type	Location	Section	Status
No copy

Model checking / Edmund M. Clarke

No review available on this record. Title : Model checking Material Type: printed text Authors: Edmund M. Clarke, Author ; Orna Grumberg, Author ; Doron Peled, Author Publisher: Cambridge, Mass. : MIT Press Publication Date: 1999 Pagination: xiv, 314 p. Size: 24 cm ISBN (or other code): 978-0-262-03270-4 General note: Includes bibliographical references (p. [297]-307) and index Languages : English (eng) Original Language : English (eng) Descriptors: Computer systems - Verification Class number: 004.21 Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=7468

Hold

Place a hold on this item

Copies

Barcode	Call number	Media type	Location	Section	Status
5702-014423	004.21 Cla-Mod 1999	General Collection	Library "Max van der Stoel"	English	Available
5702-022528	004.21 Cla-Mod 1999	General Collection	Library "Max van der Stoel"	English	Available
5702-022534	004.21 Cla-Mod 1999	General Collection	Library "Max van der Stoel"	English	Available
5702-022529	004.21 Cla-Mod 1999	General Collection	Library "Max van der Stoel"	English	Available

Принципи за дизајн на компјутерски системи / Jerome H. Saltzer

No review available on this record. Title : Принципи за дизајн на компјутерски системи : Вовед Other title : Principles of computer system design : an introduction Material Type: printed text Authors: Jerome H. Saltzer, Author ; Џером Салцер, Author ; Frans M.Kaashoek, Author ; М. Франс Касхук, Author ; Дејан Ѓорѓиевиќ, Translator Publisher: Скопје : Арс Ламина Publication Date: 2014 Pagination: xxvii, 524 p. Size: 24 cm ISBN (or other code): 978-6-08-222078-9 General note: Includes index (p. 513-524) Languages : Macedonian (mac) Original Language : English (eng) Descriptors: Computer systems - Verification System design Class number: 004.21 Abstract: Принципи за дизајн на компјутерски системи: Вовед е прва книга која ги идентификува, проучува и илустрира фундаменталните принципи и апстракции кај дизајнот на компјутерски системи кои се заеднички за оперативните системи, мрежите, базите нха податоци, дистрибутивните системи, програмските јазици, софтверското инженерство и компјутерските архитектури. Преку внимателно анализирани студии за случаи од секоја од овие дисциплини, таа демонстрира како да се применат овие принципи и апстракции за соочување со проблемите при дизајн на реални системи. За поткрепа на фокусираноста кон дизајн, книгата ги идентификува и ги објаснува апстракциите кои се докажале како успешни во пракса, како имињата, далечинските повици на процедури, клиент/сервис организацијата, датотечните системи, трансакциите, умножување со поправка, кохерентност при читање/запишување, веродостојни и доверливи пораки. Ваквите апстраквии им овозможуваат на дизајнерите да составуваат системи со уште посилна модуларност, со заштита од испади во опсег од случајни програмерски грешки од злонамерни непријатели. Оваа книга опишува како се имплементирани овие апстракции, демонстрира како се употребени кај различни системи и ги подготвува читателите за употреба на истите во идни дизајни. • Концепти за дизајн на компјутерски системи водени од фундаментални причини. • Пристап на пресеци кој ги идентификува апстракциите заеднички за мрежите, оперативните системи, трансакциските системи, дистрибутивните системи, архитектурата и софтверското инженерство. • Студии за случаи кои применуваат реални апстраквии: именување (Dns и Url); датотечни системи (Unix датотечниот систем); клиенти и сервиси (Nfs); виртуелизација (виртуелни машини) и распоредување (глави на диск). • Бројни фрагменти од псевдокод кои обезбедуваат конкретни примери на апстрактните концепти. • Опсежна поддршка. Авторите и Mit OpenCourseWare обезбедуваат бесплатни и отворени образовни ресурси кои се достапни он-лајн, а вклучуваат наставна програма за курсот, скици за табла и слајдови, видео снимки на предавања и архива од распореди на предавања, домашни задачи и дизајнерски проекти. • Он-лајн/оф-лајн поделба. Поглавјата од 1 до 6 се во оваа книга. Поглавјата од 7 до 11 се достапни за преземање според Creative Commons лиценцата. Contents note: Системи; Елементи на организација на компјутерски системи; Дизајн на шеми за изменување; Наметнување модуларност со клиенти и сервиси; Наметнување модуларност со виртуализација; Перформанси; Компромисот при бинарна класификација; Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=16917

Hold

Place a hold on this item

Copies

Barcode	Call number	Media type	Location	Section	Status
3702-001545	004.21 Sal-PriM 2014	General Collection	Library "Max van der Stoel"	Macedonian	Available
3702-001546	004.21 Sal-PriM 2014	General Collection	Library "Max van der Stoel"	Macedonian	Available
3702-001547	004.21 Sal-PriM 2014	General Collection	Library "Max van der Stoel"	Macedonian	Available