4725 search results - page 83 / 945 » Dependence-Based Program Analysis |
122
click to vote
IEEEPACT
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents a framework for analyzing the performance of multithreaded programs using a model called a constraint graph. We review previous constraint graph definitions fo...
114
click to vote
ICLP
1997
Springer
15 years 6 months ago
1997
Springer
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
106
click to vote
ADAEUROPE
2006
Springer
15 years 8 months ago
2006
Springer
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc ...
144
Voted
CANPC
1998
Springer
15 years 6 months ago
1998
Springer
In many parallel processing applications, task times have relatively little variability. Accordingly, many nodes will complete a task at approximately the same time. If the applica...
ICGA
1997
15 years 3 months ago
1997
In this paper we first review the main results in the theory of schemata in Genetic Programming (GP) and summarise a new GP schema theory which is based on a new definition of s...