1541 search results - page 186 / 309 » Tools and Techniques for Model Checking Networked Programs |
135
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
152
click to vote
CADE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
148
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
139
click to vote
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Processor caches already play a critical role in the performance of today’s computer systems. At the same time, the data integrity of words coming out of the caches can have ser...
154
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...