Sciweavers

26151 search results - page 399 / 5231
» Parameterized system design
Sort
View
JOT
2002
53views more  JOT 2002»
15 years 7 months ago
Design principles for highly reusable concurrent object-oriented systems
Emilio García Roselló, José A...
DM
1999
86views more  DM 1999»
15 years 7 months ago
Embedding handcuffed designs with block size 2 or 3 in 4-cycle systems
Salvatore Milici, Gaetano Quattrocchi
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