7262 search results - page 524 / 1453 » Reversible Computer Hardware |
130
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Resource prediction refers to predicting required compute power and energy resources for consuming a service on a device. Resource prediction is extremely useful in a client-serve...
121
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Test generation procedures attempt to assign values to the inputs of a circuit so as to detect target faults. We study a complementary view whereby the goal is to identify values ...
111
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...
156
click to vote
FCCM
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we present our work toward FPGA acceleration of phylogenetic reconstruction, a type of analysis that is commonly performed in the fields of systematic biology and co...
131
Voted
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...