134 search results - page 14 / 27 » Reversible logic for supercomputing |
MCU
1998
13 years 11 months ago
1998
Block cellular automata (BCA) make local, parallel, synchronous and uniform updates of in nite lattices. In the one-dimensionalcase, there exist BCA with 11 states which are unive...
EUROSYS
2010
ACM
14 years 7 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverā...
COCO
2008
Springer
13 years 11 months ago
2008
Springer
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
ITP
2010
14 years 1 months ago
2010
We present a formalisation of separation logic which, by avoiding the use of existential quantiļ¬ers, allows proofs that only use standard equational rewriting methods as found in...
STEP
2005
IEEE
14 years 3 months ago
2005
IEEE
The decomposition of design patterns into simpler elements may reduce significantly the creation of variants in forward engineering, while it increases the possibility of identify...