1155 search results - page 104 / 231 » Designing Benchmarks for P2P Systems |
138
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Retiming and recycling are two transformations used to optimize the performance of latency-insensitive (a.k.a. synchronous elastic) systems. This paper presents an approach that c...
134
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
With the total energy consumption of computing systems increasing in a steep rate, much attention has been paid to the design of energy-efficient computing systems and applications...
135
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
127
click to vote
ICS
2005
Tsinghua U.
15 years 9 months ago
2005
Tsinghua U.
Performance simulation tools must be validated during the design process as functional models and early hardware are developed, so that designers can be sure of the performance of...
119
click to vote
HOTDEP
2008
15 years 6 months ago
2008
Manageability directly influences a system's reliability, availability, security, and safety, thus being a key ingredient of system dependability. Alas, we do not have today ...