363 search results - page 56 / 73 » The SAT Phase Transition |
JCSS
2011
13 years 2 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
VLSID
2005
IEEE
14 years 7 months ago
2005
IEEE
Interest in asynchronous circuit design is increasing due to its promise of efficient designs. The quiescent nature of asynchronous circuits allows them to remain in a stable stat...
DCC
2010
IEEE
14 years 2 months ago
2010
IEEE
In lifting-based directional wavelet transforms, different subsampling patterns may show significant difference for directional signals in image coding. This paper investigates t...
SC
2009
ACM
14 years 2 months ago
2009
ACM
The scalability of future massively parallel processing (MPP) systems is being severely challenged by high failure rates. Current hard disk drive (HDD) checkpointing results in ov...
CODES
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper proposes a new link for asynchronous NoC communications that is resilient to transient faults on the wires of the link without impact on the data transfer capability. R...