293 search results - page 2 / 59 » Decision Diagram Optimization Using Copy Properties |
GLVLSI
2002
IEEE
13 years 10 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
PLDI
2004
ACM
13 years 10 months ago
2004
ACM
This paper presents the first scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...
ISMVL
1992
IEEE
13 years 9 months ago
1992
IEEE
ICCAD
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
TC
2010
12 years 12 months ago
2010
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...