3130 search results - page 68 / 626 » Design Correctness of Digital Systems |
119
click to vote
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Two schemes proposed to cope with unrecoverable or latent media errors and enhance the reliability of RAID systems are examined. The first scheme is the established, widely used d...
152
Voted
PPPJ
2006
ACM
15 years 9 months ago
2006
ACM
The JavaTM programming language is primarily used for platform-independent programming. Yet it also offers many productivity, maintainability and performance benefits for platfo...
143
Voted
AIM
2004
15 years 3 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
125
Voted
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This article presents a novel design flow called MOUSE for the effective development of digital signal processing systems in terms of development time, performance and p...
186
click to vote
FAABS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...