5378 search results - page 1041 / 1076 » Base Logics in Argumentation |
149
click to vote
ISCA
2008
IEEE
16 years 20 days ago
2008
IEEE
As CMOS technology scales and more transistors are packed on to the same chip, soft error reliability has become an increasingly important design issue for processors. Prior resea...
152
click to vote
IWNAS
2008
IEEE
16 years 20 days ago
2008
IEEE
— Distributed Hash Table (DHT) based algorithms have been proposed to solve the routing issues in large-scale Peer-to-Peer (P2P) applications. DHT systems create an elegant Peer-...
140
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
187
click to vote
COMSWARE
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
123
click to vote
DATE
2007
IEEE
16 years 18 days ago
2007
IEEE
Despite the progress of the last decades in electronic design automation, arithmetic circuits have always received way less attention than other classes of digital circuits. Logic...