7421 search results - page 68 / 1485 » In search of dependable design |
140
click to vote
APAL
2008
15 years 6 months ago
2008
We extend the earlier results on the equivalence between the Boolean and the multivalued dependencies in relational databases and fragments of the Boolean propositional logic. It ...
154
click to vote
PDP
1996
IEEE
15 years 10 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...
199
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
154
click to vote
SAINT
2007
IEEE
16 years 17 days ago
2007
IEEE
Peer-to-peer (P2P) is a system of overlay networks such that participants can potentially take symmetrical roles. This translates itself into a design based on the philosophy of L...
149
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...