Sciweavers

754 search results - page 120 / 151
» Distributed aggregation for data-parallel computing: interfa...
Sort
View
MIDDLEWARE
2005
Springer
14 years 3 months ago
WildCAT: a generic framework for context-aware applications
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
Pierre-Charles David, Thomas Ledoux
PVM
2007
Springer
14 years 4 months ago
Practical Model-Checking Method for Verifying Correctness of MPI Programs
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
Salman Pervez, Ganesh Gopalakrishnan, Robert M. Ki...
DCOSS
2005
Springer
14 years 3 months ago
Design of Adaptive Overlays for Multi-scale Communication in Sensor Networks
In wireless sensor networks, energy and communication bandwidth are precious resources. Traditionally, layering has been used as a design principle for network stacks; hence routin...
Santashil PalChaudhuri, Rajnish Kumar, Richard G. ...
HIPC
2005
Springer
14 years 3 months ago
Preemption Adaptivity in Time-Published Queue-Based Spin Locks
Abstract. The proliferation of multiprocessor servers and multithreaded applications has increased the demand for high-performance synchronization. Traditional scheduler-based lock...
Bijun He, William N. Scherer III, Michael L. Scott
DOA
2001
89views more  DOA 2001»
13 years 11 months ago
Transparent Dissemination of Adapters in Jini
Jini is a Java-based technology for 'spontaneous' distributed computing which enables programs to dynamically discover nearby services by means of a type-based lookup me...
Julien Vayssière