432 search results - page 5 / 87 » The Interleaving Problem in Program Understanding |
PPL
2007
13 years 6 months ago
2007
In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
EVOW
2009
Springer
13 years 5 months ago
2009
Springer
An ever-present problem in intrusion detection technology is how to construct the patterns of (good, bad or anomalous) behaviour upon which an engine have to make decisions regardi...
LPNMR
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
The use of bad names — names that are wrong, inconsistent or inconcise — hinder program comprehension. The root of the problem is that there is no mechanism for aligning the n...