Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,143,984 papers from all fields of science
Search
Sign In
Create Free Account
Reverse computation
Reverse computation is a software application of the concept of reversible computing. Because it offers a possible solution to the heat problem faced…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Blue Gene
Reversible computing
Broader (1)
Simulation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Control design for untimed Petri nets using Markov Decision Processes
C. Daoui
,
D. Lefebvre
2017
Corpus ID: 56439750
This paper considers design of control sequences for discrete event systems (DESs) modelled by untimed Petri nets (PNs). PNs are…
Expand
2017
2017
Automatic Model Generation for Gate-Level Circuit PDES with Reverse Computation
Elsa Gonsiorowski
,
Justin M. LaPre
,
C. Carothers
ACM Transactions on Modeling and Computer…
2017
Corpus ID: 30603654
Gate-level circuit simulation is an important step in the design and validation of complex circuits. This step of the process…
Expand
2015
2015
Time Warp state restoration via delta encoding
Justin M. LaPre
,
Elsa Gonsiorowski
,
C. Carothers
,
John Jenkins
,
P. Carns
,
R. Ross
Online World Conference on Soft Computing in…
2015
Corpus ID: 15522094
Optimistic simulation yields impressive performance gains for many models. State saving is a quick way to provide the rollback…
Expand
2015
2015
Improving Accuracy and Performance Through Automatic Model Generation for Gate-Level Circuit PDES with Reverse Computation
Elsa Gonsiorowski
,
Justin M. LaPre
,
C. Carothers
SIGSIM Principles of Advanced Discrete Simulation
2015
Corpus ID: 6700092
Gate-level circuit simulation is an important step in the design and validation of complex circuits. This step of the process…
Expand
2009
2009
Controlling Semiconductor Optical Amplifiers for Robust Integrated Photonic Signal Processing
S. Kuntze
2009
Corpus ID: 113778292
Controlling Semiconductor Optical Amplifiers for Robust Integrated Photonic Signal Processing Scott B. Kuntze Doctor of…
Expand
2007
2007
A Reversible Computing Approach to Forth Floating Point
Angel Robert Lynas
2007
Corpus ID: 9260234
We describe an implementation of floating point numbers in Reversible Forth using immutable references, and outline the…
Expand
2005
2005
A secure scheme to share secret color images
G. Álvarez
,
A. H. Encinas
,
L. H. Encinas
,
Á. M. D. Rey
Computer Physics Communications
2005
Corpus ID: 206993770
2003
2003
Determining Mechanical Properties of 01 Tool Steel from Reverse Computation of Indentation Measurement
Li Ma
,
S. Low
,
Jun-Feng Song
,
Jack G. Zhou
2003
Corpus ID: 137889710
Besides obtaining the hardness of materials, the indentation test has also been developed as a popular method for investigating…
Expand
2001
2001
Complex and interconnected systems: optimistic parallel simulation of a large-scale view storage system
G. Yaun
,
C. Carothers
,
Sibel Adali
,
D. Spooner
Online World Conference on Soft Computing in…
2001
Corpus ID: 11947502
1996
1996
Fault-tolerant matrix operations for parallel and distributed systems
Youngbae Kim
,
J. Dongarra
1996
Corpus ID: 61002928
With the proliferation of parallel and distributed systems, it is an increasingly important problem to render parallel…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE