6 search results - page 1 / 2 » Taylor Expansion Diagrams: A Compact, Canonical Representati... |
36
Voted
DATE
2002
IEEE
15 years 2 months ago
2002
IEEE
ATVA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
73
Voted
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract - This paper describes an efficient graphbased method to optimize data-flow expressions for best hardware implementation. The method is based on factorization, common su...
PLDI
2004
ACM
15 years 3 months ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
APN
2008
Springer
14 years 11 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...