Sciweavers

5906 search results - page 909 / 1182
» Message-Oriented-Middleware in a Distributed Environment
Sort
View
CONPAR
1994
15 years 10 months ago
A Software Architecture for Multidisciplinary Applications: Integrating Task and Data Parallelism
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...
Barbara M. Chapman, Piyush Mehrotra, John Van Rose...
AOSD
2007
ACM
15 years 10 months ago
Declarative failure recovery for sensor networks
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...
Ramakrishna Gummadi, Nupur Kothari, Todd D. Millst...
ATAL
2007
Springer
15 years 10 months ago
Towards reflective mobile agents for resource-constrained mobile devices
The vision of ubiquitous computing is one in which resource constrained mobile devices form ad-hoc networks to enable the delivery of services that are sensitive and responsive to...
Conor Muldoon, Gregory M. P. O'Hare, John F. Bradl...
CCGRID
2007
IEEE
15 years 10 months ago
Large Scale Deployment of Molecular Docking Application on Computational Grid infrastructures for Combating Malaria
Computational grids are solutions for several biological applications like virtual screening or molecular dynamics where large amounts of computing power and storage are required....
Vinod Kasam, Jean Salzemann, Nicolas Jacq, Astrid ...
CONCUR
2007
Springer
15 years 10 months ago
Temporal Antecedent Failure: Refining Vacuity
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah