4719 search results - page 536 / 944 » Newtonian program analysis |
200
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
185
click to vote
LCTRTS
2005
Springer
16 years 11 days ago
2005
Springer
Real-time garbage collection has been shown to be feasible, but for programs with high allocation rates, the utilization achievable is not sufficient for some systems. Since a hi...
187
click to vote
PLDI
2004
ACM
16 years 9 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
197
click to vote
BIRTHDAY
2003
Springer
16 years 3 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
216
click to vote
PLDI
2010
ACM
15 years 12 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...