7262 search results - page 476 / 1453 » Reversible Computer Hardware |
150
click to vote
ACSD
2009
IEEE
15 years 11 months ago
2009
IEEE
Asynchronous and latency-insensitive circuits offer a similar form of elasticity that tolerates variations in the delays of communication resources of a system. This flexibility ...
117
click to vote
ARC
2009
Springer
15 years 11 months ago
2009
Springer
The parallel branching program machine (PBM128) consists of 128 branching program machines (BMs) and a programmable interconnection. To represent logic functions on BMs, we use qua...
156
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
135
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for...
147
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...