Sciweavers

2066 search results - page 210 / 414
» Component-Based Programming of Distributed Applications
Sort
View
EUROPAR
2003
Springer
15 years 11 months ago
The Verifying Compiler: A Grand Challenge for Computing Research
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
C. A. R. Hoare
CSL
1989
Springer
15 years 10 months ago
Algebraic Operational Semantics and Occam
We generalize algebraic operational semantics from sequential languages to distributed, concurrent languages using Occam as an example. Elsewhere, we will discuss applications to ...
Yuri Gurevich, Lawrence S. Moss
159
Voted
PVM
2009
Springer
16 years 28 days ago
Optimizing MPI Runtime Parameter Settings by Using Machine Learning
Abstract. Manually tuning MPI runtime parameters is a practice commonly employed to optimise MPI application performance on a specific architecture. However, the best setting for ...
Simone Pellegrini, Jie Wang, Thomas Fahringer, Han...
171
Voted
ESCIENCE
2006
IEEE
16 years 13 days ago
A Unified Data Grid Replication Framework
Modern scientific experiments can generate large amounts of data, which may be replicated and distributed across multiple resources to improve application performance and fault to...
Tim Ho, David Abramson
AICT
2005
IEEE
115views Communications» more  AICT 2005»
16 years 15 hour ago
Models for the Supervision of Web Services Orchestration with Dynamic Changes
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
Thomas Chatain, Claude Jard