4469 search results - page 415 / 894 » Dynamic Program Slicing |
194
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
183
click to vote
HPCN
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Ion recombination in nonpolar liquids is an important problem in radiation chemistry. We have designed and implemented a parallel Monte Carlo simulation for this computat...
173
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
187
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Traditional offline program specialization relies on staging of a computation into two levels, static and dynamic. We present a generalization thereof where the static input data o...
192
click to vote
LISP
2008
15 years 7 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...