2609 search results - page 363 / 522 » Models for Global Constraint Applications |
153
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
142
click to vote
ECOOP
2003
Springer
15 years 9 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
122
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
Structured light is one of the well-known methods in part dimensional inspection that have been successfully employed in various applications in the past decades. In this method, ...
123
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
135
click to vote
LISP
2008
15 years 4 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...