1216 search results - page 72 / 244 » Hybrid type checking |
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
IMR
2005
Springer
15 years 5 months ago
2005
Springer
Elliptic differential equations are derived for the generation of structured meshes and difference equations for the generation of smooth hybrid meshes from metric identity. A par...
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
ion Chao Wang NEC Laboratories America Hyondeuk Kim University of Colorado Aarti Gupta NEC Laboratories America Variable hiding and predicate abstraction are two popular abstracti...
101
click to vote
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
ICCAD
1995
IEEE
15 years 3 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...