3931 search results - page 193 / 787 » Separation logic and abstraction |
169
click to vote
SCAM
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
141
click to vote
ASPDAC
2006
ACM
16 years 16 days ago
2006
ACM
Abstract— It is important to separate random jitter from deterministic jitter to quantify their contributions to the total jitter. This paper identifies the limitations of the e...
158
click to vote
PREMI
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We develop a framework for parallel computation of the optimal rough set decision reducts from data. We adapt the island model for evolutionary computing. The idea is to ...
160
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
159
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...