Sciweavers

78 search results - page 7 / 16
» Using Decision Diagrams to Design ULMs for FPGAs
Sort
View
ERSA
2006
282views Hardware» more  ERSA 2006»
13 years 9 months ago
SyCERS: a SystemC Design Exploration Framework for SoC Reconfigurable Architecture
Reconfigurable devices, such as FPGAs, introduce into the design workflow of embedded systems a new degree of freedom: the designer can have the system autonomously modify the fun...
Carlo Amicucci, Fabrizio Ferrandi, Marco D. Santam...
UAI
1998
13 years 9 months ago
An Anytime Algorithm for Decision Making under Uncertainty
We present an anytime algorithm which computes policies for decision problems represented as multi-stage influence diagrams. Our algorithm constructs policies incrementally, start...
Michael C. Horsch, David Poole
CAISE
2003
Springer
14 years 23 days 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
DAC
1994
ACM
13 years 11 months ago
HSIS: A BDD-Based Environment for Formal Verification
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin...
DATE
2010
IEEE
173views Hardware» more  DATE 2010»
14 years 19 days ago
Robust design of embedded systems
—This paper presents a methodology to evaluate and optimize the robustness of an embedded system in terms of invariability in case of design revisions. Early decisions in embedde...
Martin Lukasiewycz, Michael Glaß, Jürge...