7262 search results - page 1117 / 1453 » Reversible Computer Hardware |
157
click to vote
WMPI
2004
ACM
16 years 3 days ago
2004
ACM
The ever increasing gap in processor and memory speeds has a very negative impact on performance. One possible solution to overcome this problem is the Kilo-instruction processor. ...
188
Voted
WMPI
2004
ACM
16 years 3 days ago
2004
ACM
Abstract. Many applications with large data spaces that cannot run on a typical workstation (due to page faults) call for techniques to expand the effective memory size. One such t...
223
click to vote
BIRTHDAY
2004
Springer
16 years 2 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
162
click to vote
GG
2004
Springer
16 years 2 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
176
click to vote
IFM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...