338 search results - page 27 / 68 » Second Generation Benchmarking and Application Oriented Eval... |
196
click to vote
TACAS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
150
Voted
HIPEAC
2009
Springer
16 years 26 days ago
2009
Springer
Process variations, which lead to timing and power variations across identically-designed components, have been identified as one of the key future design challenges by the semico...
179
click to vote
QEST
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper characterizes the workload seen at the storage subsystem of an e-commerce system. Measurements are conducted on multi-tiered systems running three different benchmarks,...
126
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
Two compact yet high performance standard cell libraries (CyHP libraries), which contain only 11111111 and 20 cells respectively, are proposed. The first CyHP library leads to 5% i...
157
click to vote
ICFEM
1997
Springer
15 years 10 months ago
1997
Springer
Previous work has addressed the development of a framework to categorise and understand agent-based systems. It described and formalised an agent-hierarchy that included objects, ...