838 search results - page 3 / 168 » Propagation Redundancy in Redundant Modelling |
ISAS
2004
Springer
13 years 11 months ago
2004
Springer
This paper describes the architectures that can be used to build highly available database management systems. We describe these architectures along two dimensions – process redu...
ICCAD
1997
IEEE
13 years 10 months ago
1997
IEEE
We propose an algorithm for area optimisation of sequential circuits through redundancy removal. The algorithm finds compatible redundancies by implying values over nets in the c...
CPAIOR
2007
Springer
14 years 13 days ago
2007
Springer
In this paper, we investigate to which extent the elimination of a class of redundant clauses in SAT instances could improve the efficiency of modern satisfiability provers. Sinc...
DATE
2000
IEEE
13 years 10 months ago
2000
IEEE
Designs which do not fully utilize their arithmetic datapath components typically exhibit a significant overhead in power consumption. Whenever a module performs an operation who...
ASPLOS
2006
ACM
13 years 10 months ago
2006
ACM
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...