7262 search results - page 502 / 1453 » Reversible Computer Hardware |
128
Voted
HPDC
1993
IEEE
15 years 9 months ago
1993
IEEE
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programtributed systems ...
149
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
133
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
125
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. While standard processors achieve supercomputer performance, a performance gap exists between the interconnect of MPP's and COTS. Standard solutions like Ethernet ca...
124
click to vote
VTS
1995
IEEE
15 years 8 months ago
1995
IEEE
To ensure the production of reliable circuits and fully testable unpackaged dies for MCMs burn-in, both dynamic and monitored, remains a feasible option. During this burn-in proce...