241 search results - page 15 / 49 » Trace analysis of Erlang programs |
159
click to vote
APAQS
2001
IEEE
15 years 7 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
145
click to vote
MSWIM
2005
ACM
15 years 9 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...
106
click to vote
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
Trace-level reuse is based on the observation that some traces (dynamic sequences of instructions) are frequently repeated during the execution of a program, and in many cases, th...
152
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
151
click to vote
JSS
2007
15 years 3 months ago
2007
A control flow trace captures the complete sequence of dynamically executed basic blocks and function calls. It is usually of very large size and therefore commonly stored in com...