3130 search results - page 234 / 626 » Design Correctness of Digital Systems |
144
click to vote
ARITH
2009
IEEE
15 years 11 months ago
2009
IEEE
Hardware implementation of all the basic radix-10 arithmetic operations is evolving as a new trend in the design and implementation of general purpose digital processors. Redundan...
157
Voted
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
121
click to vote
PATMOS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
122
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
163
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
The LOCKSS project has developed and deployed in a worldwide test a peer-to-peer system for preserving access to journals and other archival information published on the Web. It c...