2227 search results - page 3 / 446 » Reversibility and Models for Concurrency |
IJFCS
2006
13 years 9 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
TCS
2008
13 years 9 months ago
2008
Reversible computing is a paradigm where computing models are so defined that they reflect physical reversibility, one of the fundamental microscopic physical property of Nature. ...
CONCURRENCY
2008
13 years 10 months ago
2008
ACS
2007
13 years 10 months ago
2007
Directed Algebraic Topology is a recent field, deeply linked with Category Theory. A ‘directed space’ has directed homotopies (generally non reversible), directed homology gro...
ICSM
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper describes ongoing work on a domainretargetable reverse engineering environment which is used to aid the structural understanding of large information spaces. In particu...