10870 search results - page 2011 / 2174 » Model Checking Programs |
104
click to vote
ADAEUROPE
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
100
click to vote
EUROPAR
2001
Springer
15 years 6 months ago
2001
Springer
High-accuracy PDE solvers use multi-dimensional fast Fourier transforms. The FFTs exhibits a static and structured memory access pattern which results in a large amount of communic...
200
Voted
OOIS
2001
Springer
15 years 6 months ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
111
click to vote
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
Object-oriented languages come with pre-defined composition mechanisms, such as inheritance, object composition, or delegation, each characterized by a certain set of composition...
171
click to vote
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...