Sciweavers

3521 search results - page 94 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
DEXA
1998
Springer
90views Database» more  DEXA 1998»
14 years 2 months ago
On the Correctness of a Transaction Model for Mobile Computing
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
Sanjay Kumar Madria, Bharat K. Bhargava
COMPSAC
2005
IEEE
13 years 12 months ago
A Low-Latency Checkpointing Scheme for Mobile Computing Systems
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...
Guohui Li, LihChyun Shu
FPL
2006
Springer
125views Hardware» more  FPL 2006»
14 years 1 months ago
Application-Specific Memory Interleaving for FPGA-Based Grid Computations: A General Design Technique
Many compute-intensive applications generate single result values by accessing clusters of nearby points in grids of one, two, or more dimensions. Often, the performance of FGPA i...
Tom Van Court, Martin C. Herbordt
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
14 years 3 months ago
Information Based Distributed Control for Biochemical Source Detection and Localization
— The paper proposes several improvements on the Direction of Gradient (DOG) algorithm proposed in [1] for detecting and localizing a biochemical source with moving sensors. In p...
Panos Tzanos, Milos Zefran, Arye Nehorai
SIGCOMM
2012
ACM
12 years 12 days ago
Flashback: decoupled lightweight wireless control
Unlike their cellular counterparts, Wi-Fi networks do not have the luxury of a dedicated control plane that is decoupled from the data plane. Consequently, Wi-Fi struggles to prov...
Asaf Cidon, Kanthi Nagaraj, Sachin Katti, Pramod V...