4719 search results - page 389 / 944 » Newtonian program analysis |
173
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
205
click to vote
DEEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
165
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
167
click to vote
WSC
2001
15 years 8 months ago
2001
Due to high demand uncertainty, excess inventory has been a key issue in inventory control. Caterpillar developed the dealers' parts inventory sharing (DPIS) and returns prog...
173
click to vote
MASCOTS
1998
15 years 8 months ago
1998
As the processor-memory performance gap continues to grow, so does the need for effective tools and metrics to guide the design of efficient memory hierarchies to bridge that gap....