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: 628
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: 355
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
PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023
Language: en
Pages: 332
Authors: Alexander Nadel
Categories: Computers
Type: BOOK - Published: 2023-10-13 - Publisher: TU Wien Academic Press

GET EBOOK

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and syste