7262 search results - page 1106 / 1453 » Reversible Computer Hardware |
175
click to vote
TRIDENTCOM
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— In this work we characterize the energy consumption of a visual sensor network testbed. Each node in the testbed consists of a ”single-board computer”, namely Cross...
180
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
168
click to vote
ACMACE
2006
ACM
16 years 20 days ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...
199
click to vote
ANCS
2006
ACM
16 years 20 days ago
2006
ACM
The increase of the web traffic has created the need for web switches that are able to balance the traffic to the server farms based on their contents (e.g. layer 7 switching). In...
162
click to vote
ASPDAC
2006
ACM
16 years 20 days ago
2006
ACM
— Process variations in digital circuits make sequential circuit timing validation an extremely challenging task. In this paper, a Statistical Bellman-Ford (SBF) algorithm is pro...