674 search results - page 48 / 135 » A method proposal for architectural reliability evaluation |
CIVR
2003
Springer
15 years 3 months ago
2003
Springer
The most expressive way humans display emotions is through facial expressions. In this work we report on several advances we have made in building a system for classification of f...
JAR
2000
14 years 9 months ago
2000
Local search algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. For SAT, some ...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
In this paper, we propose a new sensitivity based, statistical gate sizing method. Since circuit optimization effects the entire shape of the circuit delay distribution, it is dif...
ASPDAC
2010
ACM
14 years 7 months ago
2010
ACM
This paper proposes a source-level timing annotation method for generation of accurate transaction level models for software computation modules. While Transaction Level Modeling ...
DAGSTUHL
2004
14 years 11 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...