Yazar
Mandayam Srivas
5 cilt bulundu.
Cilt sonuçları
A systematic methodology for verifying superscalar microprocessors
Mandayam Srivas · National Aeronautics and Space Administration, Langley Research Center
Sayfa sayısı yok · 1999
Architecture (Computers) / Computer systems design / Microprocessors / Multiprocessing (Computers) / Pipelining (Computers)
Moving formal methods into practice
Mandayam Srivas · National Aeronautics and Space Administration, Langley Research Center
Sayfa sayısı yok · 1992
Verification / Computer programs
Verification of the FtCayuga fault-tolerant microprocessor system
Mandayam Srivas · For sale by the National Technical Information Service]
Sayfa sayısı yok · 1991
Circuits / Computers / Fault-tolerant computing / Flight control / Design and construction
Formal verification of an avionics microprocessor
Mandayam K. Srivas · Available from the National Technical Information Service
100 sayfa · 1995
Testing / Microprocessors / Avionics / Verification / Computer software