3130 search results - page 179 / 626 » Design Correctness of Digital Systems |
141
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
As the family of Alpha microprocessors continues to scale into more advanced technologies with very high frequency edge rates and multiple layers of interconnect, the issue of cha...
111
click to vote
TOIS
2002
15 years 3 months ago
2002
Data archiving systems rely on replication to preserve information. This paper discusses how a network of autonomousarchiving sites can trade data to achievethe most reliable repl...
127
click to vote
USENIX
1993
15 years 5 months ago
1993
Robotic storage devices offer huge storage capacity at a low cost per byte, but with large access times. Integrating these devices into the storage hierarchy presents a challenge ...
113
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
114
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
The advent of nanometer feature sizes in silicon fabrication has triggered a number of new design challenges for computer designers. These challenges include design complexity and...