6608 search results - page 1086 / 1322 » On the Completeness of Model Checking |
196
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
153
click to vote
RTSS
2006
IEEE
16 years 19 days ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
177
click to vote
ISSTA
2006
ACM
16 years 17 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
197
click to vote
SIGSOFT
2006
ACM
16 years 17 days ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
173
click to vote
ASAP
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...