861 search results - page 124 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
137
click to vote
ASSETS
2006
ACM
15 years 10 months ago
2006
ACM
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
129
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
148
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
120
click to vote
LCTRTS
2005
Springer
15 years 9 months 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...
136
click to vote
ASPLOS
2012
ACM
13 years 12 months ago
2012
ACM
Numerous tools have been proposed to help developers fix software errors and inefficiencies. Widely-used techniques such as memory checking suffer from overheads that limit thei...