960 search results - page 145 / 192 » Abstract expressionism for parallel performance |
100
click to vote
CLUSTER
2002
IEEE
14 years 9 months ago
2002
IEEE
Abstract. We describe and evaluate the Running Time Advisor (RTA), a system that can predict the running time of a compute-bound task on a typical shared, unreserved commodity host...
103
click to vote
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
NOCS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--The high-performance computing domain is enriching with the inclusion of Networks-on-chip (NoCs) as a key component of many-core (CMPs or MPSoCs) architectures. NoCs face...
109
click to vote
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
100
click to vote
JCNS
2010
14 years 4 months ago
2010
Abstract Forward solutions with different levels of complexity are employed for localization of current generators, which are responsible for the electric and magnetic fields measu...