4722 search results - page 23 / 945 » Encoding Program Executions |
FMICS
2006
Springer
14 years 11 days ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
COMPSAC
2008
IEEE
13 years 10 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
DALT
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
SOFTVIS
2006
ACM
14 years 2 months ago
2006
ACM
Visualizations of program executions are often generated on the fly. This has many advantages relative to off-line generation of animated video files. Video files, however, trivia...