7262 search results - page 588 / 1453 » Reversible Computer Hardware |
146
click to vote
ISPD
2005
ACM
15 years 12 months ago
2005
ACM
In this invited note we describe Capo, an open-source software tool for cell placement, mixed-size placement and floorplanning with emphasis on routability. Capo is among the fas...
160
click to vote
ADHOCNOW
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we describe the deployment of an offshore wireless sensor network and the lightweight intelligence that was integrated into the data acquisition and forwarding softwa...
162
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
173
click to vote
FSE
2005
Springer
15 years 12 months ago
2005
Springer
So far, efficient algorithmic countermeasures to secure the AES algorithm against (first-order) differential side-channel attacks have been very expensive to implement. In this a...
145
click to vote
ASPDAC
2004
ACM
15 years 12 months ago
2004
ACM
The design of future high-performance embedded systems is hampered by two problems: First, the required hardware needs more energy than is available from batteries. Second, curren...