6201 search results - page 1013 / 1241 » Implementation of Axiomatic Language |
200
click to vote
ATVA
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
170
click to vote
B
2007
Springer
16 years 24 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
179
click to vote
CC
2007
Springer
16 years 24 days ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
171
click to vote
COORDINATION
2007
Springer
16 years 23 days ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
146
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
We introduce groupoids – generalisations of groups in which not all pairs of elements may be multiplied, or, equivalently, categories in which all morphisms are invertible – as...