3130 search results - page 335 / 626 » Design Correctness of Digital Systems |
159
click to vote
SIAMCOMP
2000
15 years 6 months ago
2000
We consider a system of uniform recurrence equations (URE) of dimension one. We show how its computation can be carried out using minimal memory size with several synchronous proc...
201
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
173
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper explores the feasibility of a cost-efficient storage architecture that offers the reliability and access performance characteristics of a high-end system. This architec...
170
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
169
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...