81 search results - page 1 / 17 » An Injective Language for Reversible Computation |
MPC
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
DSN
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
ENTCS
2010
13 years 2 months ago
2010
SIGPLAN
2008
13 years 5 months ago
2008
As research in programming language design, implementation, and application advances, we must regularly revisit the undergraduate curriculum to ensure course content advances simi...
FOSSACS
2006
Springer
13 years 9 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...