Sciweavers

1326 search results - page 51 / 266
» A Framework for Modeling the Distributed Deployment of Synch...
Sort
View
NJC
2006
125views more  NJC 2006»
13 years 8 months ago
PRO: A Model for the Design and Analysis of Efficient and Scalable Parallel Algorithms
Abstract. We present a new parallel computation model called the Parallel ResourceOptimal computation model. PRO is a framework being proposed to enable the design of efficient and...
Assefaw Hadish Gebremedhin, Mohamed Essaïdi, ...
ESCIENCE
2006
IEEE
14 years 3 months ago
Worqbench: An Integrated Framework for e-Science Application Development
With the proliferation of Grid computing, potentially vast computational resources are available for solving complex problems in science and engineering. However, writing, deployi...
Donny Kurniawan, David Abramson
HASE
2008
IEEE
13 years 9 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
ESTIMEDIA
2008
Springer
13 years 10 months ago
Performance analysis of reconfiguration in adaptive real-time streaming applications
We propose a design optimization framework for adaptive real-time streaming applications. The main contribution is a hybrid approach for performance analysis combining formal anal...
Jun Zhu, Ingo Sander, Axel Jantsch
TRIDENTCOM
2010
IEEE
13 years 6 months ago
Managing Distributed Applications Using Gush
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...
Jeannie Albrecht, Danny Yuxing Huang