Sciweavers

646 search results - page 43 / 130
» Hybrid decision diagrams
Sort
View
ISMVL
2007
IEEE
76views Hardware» more  ISMVL 2007»
14 years 3 months ago
Variable Reordering and Sifting for QMDD
This paper considers variable reordering for quantum multiple-valued decision diagrams (QMDD) used to represent the matrices describing reversible and quantum gates and circuits. ...
D. Michael Miller, David Y. Feinstein, Mitchell A....
COCOON
2006
Springer
14 years 21 days ago
Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard
We present an efficient reduction mapping undirected graphs G with n = 2k vertices for integers k to tables of partially specified Boolean functions g : {0, 1}4k+1 {0, 1, } so tha...
Jesper Torp Kristensen, Peter Bro Miltersen
AVI
2004
13 years 10 months ago
Painting pictures to augment advice
I present an approach to designing decision support systems. The approach is to dissect a decision from both a normative and a cognitive perspective, and then to design a diagram ...
Kevin Burns
CAISE
2003
Springer
14 years 2 months ago
No-redundant Metrics for UML Class Diagram Structural Complexity
In software engineering it is widely acknowledged that the usage of metrics at the initial phases of the object oriented software life cycle can help designers to make better decis...
M. Esperanza Manso, Marcela Genero, Mario Piattini
PPPJ
2006
ACM
14 years 2 months ago
Experiences with the development of a reverse engineering tool for UML sequence diagrams: a case study in modern Java developmen
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
Matthias Merdes, Dirk Dorsch