861 search results - page 121 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
118
click to vote
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
113
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
135
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
142
click to vote
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access results in a definite cache hit or miss. This unpredictability i...
131
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...