241 search results - page 8 / 49 » Trace analysis of Erlang programs |
109
click to vote
HVC
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
TAP
2010
Springer
14 years 9 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
SC
2009
ACM
15 years 6 months ago
2009
ACM
A proper understanding of communication patterns of parallel applications is important to optimize application performance and design better communication subsystems. Communicatio...
109
click to vote
FASE
2006
Springer
15 years 3 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
122
click to vote
ACCV
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. The trace quotient problem arises in many applications in pattern classification and computer vision, e.g., manifold learning, low-dimension embedding, etc. The task is ...