4266 search results - page 755 / 854 » A Framework for Defining Logics |
DATE
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
104
click to vote
GLVLSI
2006
IEEE
15 years 4 months ago
2006
IEEE
As CMOS devices and operating voltages are scaled down, noise and defective devices will impact the reliability of digital circuits. Probabilistic computing compatible with CMOS o...
ICDE
2006
IEEE
15 years 4 months ago
2006
IEEE
XPORT (eXtensible Profile-driven Overlay Routing Trees) is a generic data dissemination system that supports an extensible set of data types and profiles, and an optimization fr...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
TIME
2006
IEEE
15 years 3 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...