241 search results - page 30 / 49 » Trace analysis of Erlang programs |
129
Voted
SOFTVIS
2003
ACM
15 years 9 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures in the field, inferior performances, or, more generally,...
140
click to vote
ATVA
2004
Springer
15 years 9 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
250
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...
121
click to vote
ASPLOS
1991
ACM
15 years 7 months ago
1991
ACM
Multiprocessor memory reference traces provide a wealth of information on the behavior of parallel programs. We have used this information to explore the relationship between kern...
236
click to vote
CSMR
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...