Sciweavers

3507 search results - page 299 / 702
» Specialized execution environments
Sort
View
AEI
2010
115views more  AEI 2010»
15 years 7 months ago
BRAHMS: Novel middleware for integrated systems computation
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
Benjamin Mitchinson, Tak-Shing Chan, Jonathan M. C...
CONCURRENCY
2008
142views more  CONCURRENCY 2008»
15 years 7 months ago
Provenance trails in the Wings/Pegasus system
Our research focuses on creating and executing large-scale scientific workflows that often involve thousands of computations over distributed, shared resources. We describe an app...
Jihie Kim, Ewa Deelman, Yolanda Gil, Gaurang Mehta...
IJWET
2008
108views more  IJWET 2008»
15 years 7 months ago
Web service workflow selection using system and network QoS constraints
: Web services serve as a leading technology platform for web-based data-centric environments providing flexibility of loose coupling, message-based communication. Interest in more...
Yannis Panagis, Konstantinos Papakonstantinou, Eva...
CONCURRENCY
2007
100views more  CONCURRENCY 2007»
15 years 7 months ago
An instrumentation technique for online analysis of multithreaded programs
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
Grigore Rosu, Koushik Sen
ENTCS
2007
109views more  ENTCS 2007»
15 years 7 months ago
Modular Structural Operational Semantics with Strategies
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...
Christiano Braga, Alberto Verdejo