1796 search results - page 330 / 360 » An Approach to Compositional Model Checking |
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
EDBT
2006
ACM
14 years 8 months ago
2006
ACM
Abstract. We study the following problem in a sovereign informationsharing setting: How to ensure that the individual participants, driven solely by self-interest, will behave hone...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
GLVLSI
2009
IEEE
14 years 2 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design veriļ¬cation. Recently, a SATbased method is proposed to compute the sequential depth of a de...
BIBM
2008
IEEE
14 years 2 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ā...