Sciweavers

3463 search results - page 53 / 693
» Modeling and executing master-worker applications in compone...
Sort
View
ENTCS
2010
130views more  ENTCS 2010»
15 years 3 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
FCCM
2003
IEEE
135views VLSI» more  FCCM 2003»
15 years 9 months ago
Efficient Application Representation for HASTE: Hybrid Architectures with a Single, Transformable Executable
Hybrid architectures, which are composed of a conventional processor closely coupled with reconfigurable logic, seem to combine the advantages of both types of hardware. They pres...
Benjamin A. Levine, Herman Schmit
122
Voted
IPPS
2006
IEEE
15 years 9 months ago
Online strategies for high-performance power-aware thread execution on emerging multiprocessors
Granularity control is an effective means for trading power consumption with performance on dense shared memory multiprocessors, such as multi-SMT and multi-CMP systems. In this p...
Matthew Curtis-Maury, James Dzierwa, Christos D. A...
BPM
2010
Springer
126views Business» more  BPM 2010»
15 years 1 months ago
Symbolic Execution of Acyclic Workflow Graphs
Abstract. We propose a new technique to analyze the control-flow, i.e., the workflow graph of a business process model, which we call symbolic execution. We consider acyclic workfl...
Cédric Favre, Hagen Völzer
152
Voted
ICAC
2009
IEEE
15 years 7 months ago
A decentralized, architecture-based framework for self-growing applications
In large-scale, distributed software systems, an important management undertaking concerns the creation and runtime modification of application instances. This short paper propose...
Ada Diaconescu, Philippe Lalanda