Sciweavers

15660 search results - page 163 / 3132
» The Unbalance of Set Systems
Sort
View
CAV
1990
Springer
114views Hardware» more  CAV 1990»
15 years 10 months ago
Formal Verification of Digital Circuits Using Symbolic Ternary System Models
Ternary system modeling involves extending the traditional set of binary values
Randal E. Bryant, Carl-Johan H. Seger
CCGRID
2010
IEEE
15 years 7 months ago
The Failure Trace Archive: Enabling Comparative Analysis of Failures in Diverse Distributed Systems
With the increasing functionality and complexity of distributed systems, resource failures are inevitable. While numerous models and algorithms for dealing with failures exist, th...
Derrick Kondo, Bahman Javadi, Alexandru Iosup, Dic...
125
Voted
ORL
2008
70views more  ORL 2008»
15 years 6 months ago
Finding a bounded mixed-integer solution to a system of dual network inequalities
We show that using max-algebraic techniques it is possible to generate the set of all solutions to a system of inequalities xi xj bij; i; j = 1; :::; n using n generators. This e
Peter Butkovic
EMSOFT
2010
Springer
15 years 4 months ago
Reducing stack with intra-task threshold priorities in real-time systems
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
Gang Yao, Giorgio C. Buttazzo
ISVLSI
2008
IEEE
173views VLSI» more  ISVLSI 2008»
16 years 1 months ago
System Level Design Space Exploration for Multiprocessor System on Chip
Future embedded systems will integrate hundreds of processors. Current design space exploration methods cannot cope with such a complexity. It is mandatory to extend these methods...
Issam Maalej, Guy Gogniat, Jean Luc Philippe, Moha...