Sciweavers

570 search results - page 40 / 114
» concurrency 2006
Sort
View
ENTCS
2006
154views more  ENTCS 2006»
15 years 6 months ago
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
Gul A. Agha, José Meseguer, Koushik Sen
CONCURRENCY
2006
143views more  CONCURRENCY 2006»
15 years 6 months ago
A Grid workflow infrastructure
In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The ...
Dieter Cybok
CONCURRENCY
2006
111views more  CONCURRENCY 2006»
15 years 6 months ago
ScyFlow: an environment for the visual specification and execution of scientific workflows
With the advent of grid technologies, scientists and engineers are building more and more complex applications to utilize distributed grid resources. The core grid services provid...
Karen M. McCann, Maurice Yarrow, Adrian De Vivo, P...
CONCURRENCY
2006
140views more  CONCURRENCY 2006»
15 years 6 months ago
An efficient memory operations optimization technique for vector loops on Itanium 2 processors
To keep up with a large degree of instruction level parallelism (ILP), the Itanium 2 cache systems use a complex organization scheme: load/store queues, banking and interleaving. ...
William Jalby, Christophe Lemuet, Sid Ahmed Ali To...
CONCURRENCY
2006
169views more  CONCURRENCY 2006»
15 years 6 months ago
A component-based middleware framework for configurable and reconfigurable Grid computing
Significant progress has been made in the design and development of Grid middleware which, in its present form, is founded on service-oriented architecture and web services techno...
Geoff Coulson, Paul Grace, Gordon S. Blair, Wei Ca...