Related Books

A Pipelined Multi-core MIPS Machine
Language: en
Pages: 359
Authors: Mikhail Kovalev
Categories: Computers
Type: BOOK - Published: 2014-11-24 - Publisher: Springer

GET EBOOK

This monograph is based on the third author's lectures on computer architecture, given in the summer semester 2013 at Saarland University, Germany. It contains
A Pipelined Multi-Core Machine with Operating System Support
Language: en
Pages: 634
Authors: Petro Lutsyk
Categories: Computers
Type: BOOK - Published: 2020-05-09 - Publisher: Springer Nature

GET EBOOK

This work is building on results from the book named “A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness” by M. Kovalev, S.M. Mül
SOFSEM 2013: Theory and Practice of Computer Science
Language: en
Pages: 579
Authors: Peter van Emde Boas
Categories: Computers
Type: BOOK - Published: 2013-01-12 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, h
The Holodeck
Language: en
Pages: 363
Authors: Michael Cloran
Categories: Science
Type: BOOK - Published: 2020-02-07 - Publisher: Xlibris Corporation

GET EBOOK

This book is about a requirements specification for a Holodeck at a proof of concept level. In it I introduce optical functions for a optical processor and desc
Verified Software. Theories, Tools, and Experiments
Language: en
Pages: 359
Authors: Ruzica Piskac
Categories: Computers
Type: BOOK - Published: 2018-11-23 - Publisher: Springer

GET EBOOK

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Expe