3130 search results - page 341 / 626 » Design Correctness of Digital Systems |
158
click to vote
ECBS
2006
IEEE
16 years 23 days ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
175
click to vote
MICRO
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Parameter variations have become a dominant challenge in microprocessor design. Voltage variation is especially daunting because it happens so rapidly. We measure and ch...
181
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
204
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...
173
click to vote
GI
2004
Springer
16 years 2 days ago
2004
Springer
: Since the advent of Gnutella, Peer-to-Peer (P2P) protocols have matured towards a fundamental design element for large-scale, self-organising distributed systems. Many research e...