Sciweavers

78 search results - page 6 / 16
» Using Decision Diagrams to Design ULMs for FPGAs
Sort
View
HASE
1999
IEEE
13 years 12 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
DIAGRAMS
2008
Springer
13 years 9 months ago
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving
State-space search methods in problem solving have often been illustrated using tree diagrams. We explore a set of issues related to coordination in collaborative problem solving a...
Steven L. Tanimoto
AVI
2004
13 years 9 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
DAC
1997
ACM
13 years 11 months ago
Safe BDD Minimization Using Don't Cares
In many computer-aided design tools, binary decision diagrams (BDDs) are used to represent Boolean functions. To increase the efficiency and capability of these tools, many algor...
Youpyo Hong, Peter A. Beerel, Jerry R. Burch, Kenn...
EICS
2009
ACM
14 years 6 days ago
MoLIC designer: towards computational support to hci design with MoLIC
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...
Ugo Braga Sangiorgi, Simone Diniz Junqueira Barbos...