1141 search results - page 104 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
IJAIT
2006
15 years 20 days ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
109
click to vote
ICPADS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we utilize a bandwidth-centric job communication model that captures the interaction and impact of simultaneously co-allocating jobs across multiple clusters. We ma...
126
click to vote
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...
113
click to vote
PPAM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
107
click to vote
SRDS
2008
IEEE
15 years 7 months ago
2008
IEEE
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...