4722 search results - page 110 / 945 » Encoding Program Executions |
104
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We consider the tile self-assembly model and how tile complexity can be eliminated by permitting the temperature of the self-assembly system to be adjusted throughout the assembly...
141
click to vote
VL
2002
IEEE
15 years 7 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
135
click to vote
HVC
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
TPLP
2008
15 years 2 months ago
2008
This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming f...
124
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...