Sciweavers

832 search results - page 78 / 167
» The Design and Implementation of Zap: A System for Migrating...
Sort
View
ECRTS
2000
IEEE
14 years 12 days ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
SIGOPSE
2000
ACM
14 years 10 days ago
Multiprocessing and portability for PDAs
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
Grzegorz Czajkowski
CCGRID
2006
IEEE
14 years 2 months ago
Uniform Job Monitoring using the HPC-Europa Single Point of Access
—Job monitoring in Grid systems presents an important challenge due to Grid environments are volatile, heterogeneous, not reliable and are managed by different middlewares and mo...
Francesc Guim, Ivan Rodero, Julita Corbalán...
ICWS
2003
IEEE
13 years 9 months ago
Proteus: A System for Dynamically Composing and Intelligently Executing Web Services
Many organizations envision web services as an enabling component of Internet-scale computing. A final vision of web services is to realize a dynamic environment that identifies, ...
Shahram Ghandeharizadeh, Craig A. Knoblock, Christ...
ESCIENCE
2006
IEEE
14 years 2 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