Sciweavers

1299 search results - page 213 / 260
» Why Not Use a Pattern-Based Parallel Programming System
Sort
View
ICS
2009
Tsinghua U.
15 years 9 months ago
Adagio: making DVS practical for complex HPC applications
Power and energy are first-order design constraints in high performance computing. Current research using dynamic voltage scaling (DVS) relies on trading increased execution time...
Barry Rountree, David K. Lowenthal, Bronis R. de S...
CLUSTER
2005
IEEE
15 years 8 months ago
A pipelined data-parallel algorithm for ILP
The amount of data collected and stored in databases is growing considerably for almost all areas of human activity. Processing this amount of data is very expensive, both humanly...
Nuno A. Fonseca, Fernando M. A. Silva, Víto...
90
Voted
IPPS
2005
IEEE
15 years 8 months ago
Connection-less TCP
TCP is an important protocol in high-performance computing. It is used extensively in graphics programs and file systems and it is often the protocol used for the cluster control...
Patricia Gilfeather, Arthur B. Maccabe
IPPS
2010
IEEE
15 years 9 days ago
J2EE instrumentation for software aging root cause application component determination with AspectJ
Unplanned system outages have a negative impact on company revenues and image. While the last decades have seen a lot of efforts from industry and academia to avoid them, they stil...
Javier Alonso, Jordi Torres, Josep Lluis Berral, R...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 26 days ago
On Model Checking Techniques for Randomized Distributed Systems
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 ...
Christel Baier