7262 search results - page 1100 / 1453 » Reversible Computer Hardware |
153
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
190
click to vote
CHES
2007
Springer
16 years 26 days ago
2007
Springer
Replay attacks are often the most costly attacks to thwart when dealing with off-chip memory integrity. With a trusted System-on-Chip, the existing countermeasures against replay r...
194
click to vote
COCOA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
168
click to vote
EUROPAR
2007
Springer
16 years 26 days ago
2007
Springer
Recently, virtualization of hardware resources to run multiple instances of independent virtual machines over physical hosts has gained popularity due to an industry-wide focus on ...
151
Voted
FMCAD
2007
Springer
16 years 26 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...