SULJE VALIKKO

avaa valikko

Lutsyk Petro Lutsyk | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



A Pipelined Multi-Core Machine with Operating System Support - Hardware Implementation and Correctness Proof
Petro Lutsyk; Jonas Oberhauser; Wolfgang J. Paul
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Pipelined Multi-Core Machine with Operating System Support
Lutsyk Petro Lutsyk; Oberhauser Jonas Oberhauser; Paul Wolfgang J. Paul
Springer Nature B.V. (2020)
Pehmeäkantinen kirja
116,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
System Architecture : An Ordinary Engineering Discipline
Wolfgang J. Paul; Christoph Baumann; Petro Lutsyk; Sabine Schmaltz
Springer (2016)
Kovakantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
System Architecture : An Ordinary Engineering Discipline
Wolfgang J. Paul; Christoph Baumann; Petro Lutsyk; Sabine Schmaltz
Springer (2018)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Pipelined Multi-Core Machine with Operating System Support - Hardware Implementation and Correctness Proof
49,60 €
Springer Nature Switzerland AG
Sivumäärä: 628 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2020
Julkaisuvuosi: 2020, 10.05.2020 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
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üller, and W.J. Paul, published as LNCS 9000 in 2014.



It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following features:




• MIPS instruction set architecture (ISA) for application and for system programming




• cache coherent memory system



• store buffers in front of the data caches



• interrupts and exceptions



• memory management units (MMUs)



• pipelined processors: the classical five-stage pipeline is extended by two pipeline



stages for address translation



• local interrupt controller (ICs) supporting inter-processor interrupts (IPIs)



• I/O-interrupt controller and a disk



 

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
A Pipelined Multi-Core Machine with Operating System Support - Hardware Implementation and Correctness Proofzoom
Näytä kaikki tuotetiedot
ISBN:
9783030432423
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste