Sciweavers

30240 search results - page 703 / 6048
» Robust System Design
Sort
View
TC
1998
15 years 7 months ago
Design Verification of the S3.mp Cache-Coherent Shared-Memory System
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
Fong Pong, Michael C. Browne, Gunes Aybay, Andreas...
TODAES
1998
46views more  TODAES 1998»
15 years 7 months ago
A timing-driven design and validation methodology for embedded real-time systems
Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta
TOMACS
1998
63views more  TOMACS 1998»
15 years 7 months ago
Design-Time Simulation of a Large-Scale, Distributed Object System
Svend Frølund, Pankaj K. Garg
SOFTWARE
2002
15 years 7 months ago
Design and Evaluation of a Knowledge Management System
Chih-Ping Wei, Paul Jen-Hwa Hu, Hung-Huang Chen