Sciweavers

39362 search results - page 7201 / 7873
» Global Computing Systems
Sort
View
LICS
2005
IEEE
16 years 1 months ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
MICRO
2005
IEEE
107views Hardware» more  MICRO 2005»
16 years 1 months ago
Stream Programming on General-Purpose Processors
— In this paper we investigate mapping stream programs (i.e., programs written in a streaming style for streaming architectures such as Imagine and Raw) onto a general-purpose CP...
Jayanth Gummaraju, Mendel Rosenblum
MMM
2005
Springer
115views Multimedia» more  MMM 2005»
16 years 1 months ago
Interoperability and Multimedia Archives
In distributed computing systems, it is unwise to move data to the point of program code, but instead process data at the point of storage. This concept is even more appropriate t...
Dalen Kambur, Damir Becarevic, Mark Roantree
PERCOM
2005
ACM
16 years 1 months ago
Selection and Navigation of Mobile Sensor Nodes Using a Sensor Network
Hybrid sensor networks comprise of mobile and static sensor nodes setup for the purpose of collaboratively performing tasks like sensing a phenomenon or monitoring a region. In th...
Atul Verma, Hemjit Sawant, Jindong Tan
QSHINE
2005
IEEE
16 years 1 months ago
Achieving Weighted Fairness between Uplink and Downlink in IEEE 802.11 DCF-Based WLANs
In this paper, we first propose an analytical model of WLANs (Wireless LANs) with an arbitrary backoff distribution and AIFS (Arbitration Inter-Frame Space). From the analysis, we ...
Jiwoong Jeong, Sunghyun Choi, Chong-kwon Kim
« Prev « First page 7201 / 7873 Last » Next »