4722 search results - page 165 / 945 » Encoding Program Executions |
148
click to vote
WSC
1998
15 years 6 months ago
1998
This paper describes the design and implementation of MPI-SIM, a library for the execution driven parallel simulation of MPI programs. MPI-LITE, a portable library that supports m...
131
click to vote
CONCURRENCY
2007
15 years 4 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
223
click to vote
DLS
2009
15 years 2 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
145
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
128
click to vote
AICT
2006
IEEE
15 years 11 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...