1452 search results - page 86 / 291 » Algorithmic Analysis of Array-Accessing Programs |
111
click to vote
APLAS
2011
ACM
14 years 11 days ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
103
click to vote
ICRA
1993
IEEE
15 years 4 months ago
1993
IEEE
cavity Recent advan.cesin cementless hip replacement surgery have significantly improved the accuracy of bone cavity preparation and custom implant shape design. With the increased...
114
click to vote
IWMM
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
We consider distributed real-time systems where concurrency control is managed using software transactional memory. For such a method we propose an algorithm to compute an upper b...