Sciweavers

6584 search results - page 854 / 1317
» Distributed Shared Contexts
Sort
View
COORDINATION
2010
Springer
15 years 10 months ago
Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks
Abstract. Wireless sensor networks (WSNs) exhibit high levels of network dynamics and consist of devices with limited energy. This results in the need to coordinate applications no...
Chien-Liang Fok, Gruia-Catalin Roman, Chenyang Lu
PODC
2010
ACM
15 years 10 months ago
Verifying linearizability with hindsight
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev,...
GLOBECOM
2009
IEEE
15 years 10 months ago
Optimum Allocation of Energy and Spectrum in Power-Controlled Wireless Networks with QoS Constraints
An important performance measure in wireless networks is the manner in which the network can distributively manage its limited energy and spectrum resources, while assuring certain...
Stepán Kucera, Ludek Kucera, Bing Zhang
CCGRID
2004
IEEE
15 years 10 months ago
GTP: group transport protocol for lambda-Grids
The notion of lambda-Grids posits plentiful collections of computing and storage resources richly interconnected by dedicated dense wavelength division multiplexing (DWDM) optical...
Xinran (Ryan) Wu, Andrew A. Chien
CCGRID
2004
IEEE
15 years 10 months ago
Net-dbx-G: a Web-based debugger of MPI programs over Grid environments
Net-dbx-G is a tool that utilizes Java and other World Wide Web tools as an interface to Grid services to help Grid application developers debug their MPI programs from anywhere i...
Panayiotis Neophytou, Neophytos Neophytou, Paraske...