3342 search results - page 390 / 669 » Automating Abstract Interpretation |
139
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
The bus tracing is used to catch related signals for further investigation and analysis. However, the trace size of cycleaccurate tracing is large and the trace cycle is shallow u...
133
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Fast and accurate estimation is critical for exploration of any dece in general. As we move to higher levels of abstraction, on of complete system designs at each level of abstrac...
169
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Euler diagrams form the basis of several visual modelling notations, including statecharts and constraint diagrams. Recently, various techniques for automated Euler diagram drawin...
164
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
133
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...