586 search results - page 102 / 118 » A Recursive Technique for Computing Lower-Bound Performance ... |
185
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
The key to increasing performance without a commensurate increase in power consumption in modern processors lies in increasing both parallelism and core specialization. Core speci...
174
click to vote
QEST
2010
IEEE
15 years 3 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
213
click to vote
ICS
2005
Tsinghua U.
15 years 11 months ago
2005
Tsinghua U.
The Replica Placement Problem (RPP) aims at creating a set of duplicated data objects across the nodes of a distributed system in order to optimize certain criteria. Typically, RP...
185
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Power has become a critical concern for battery-driven computing systems, on which many applications that are run are interactive. System-level voltage scaling techniques, such as...
162
click to vote
PPOPP
2010
ACM
16 years 24 days ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...