4401 search results - page 474 / 881 » Computing with Default Logic |
192
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
167
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Compact realizations of reversible logic functions are of interest in the design of quantum computers. Such reversible functions are realized as a cascade of Toļ¬oli gates. In th...
170
click to vote
IEEEPACT
2007
IEEE
16 years 1 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
143
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
The availability of programmable hardware devices with high density of logic elements and the possibility of implementing CPUs (called softcores) using a fraction of the FPGA area...
181
click to vote
FCT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about inļ¬nitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...