1624 search results - page 204 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
105
click to vote
CASES
2006
ACM
15 years 2 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
DAC
1998
ACM
16 years 20 hour ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
122
click to vote
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
USS
2004
15 years 13 days ago
2004
We present Tor, a circuit-based low-latency anonymous communication service. This second-generation Onion Routing system addresses limitations in the original design by adding per...
WSC
1997
15 years 11 days ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...