2227 search results - page 378 / 446 » Reversibility and Models for Concurrency |
WCRE
2003
IEEE
14 years 3 months ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...
NSPW
2003
ACM
14 years 3 months ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
STOC
1997
ACM
14 years 2 months ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...
ICSE
1997
IEEE-ACM
14 years 2 months ago
1997
IEEE-ACM
Implementing, validating, modifying, or reengineering an object-oriented system requires an understanding of the object and class interactions which occur as a program executes. T...
SOFSEM
2000
Springer
14 years 1 months ago
2000
Springer
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...