3954 search results - page 129 / 791 » Image-based Model Completion |
150
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...
138
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...
116
click to vote
VTS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper improves upon the state of the art in testing word oriented memories. It first presents a complete set of fault models for intra-word coupling faults. Then, it establi...
142
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
137
Voted
COMPGEOM
2010
ACM
15 years 10 months ago
2010
ACM
This video describes a new type of 3D curves, which generalizes the family of 2D Euler spirals. They are defined as the curves having both their curvature and their torsion evolv...