Sciweavers

3571 search results - page 532 / 715
» On the Power of Imperfect Information
Sort
View
ICPP
2003
IEEE
15 years 12 months ago
On Maximizing Lifetime of Multicast Trees in Wireless Ad hoc Networks
This paper presents a distributed algorithm called LREMiT for extending the lifetime of a source-based multicast tree in wireless ad hoc networks (WANET). The lifetime of a multic...
Bin Wang, Sandeep K. S. Gupta
ICRA
2003
IEEE
151views Robotics» more  ICRA 2003»
15 years 12 months ago
Adaptive real-time particle filters for robot localization
— Particle filters have recently been applied with great success to mobile robot localization. This success is mostly due to their simplicity and their ability to represent arbi...
Cody C. T. Kwok, Dieter Fox, Marina Meila
ISCA
2003
IEEE
116views Hardware» more  ISCA 2003»
15 years 11 months ago
A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay
Debuggers have been proven indispensable in improving software reliability. Unfortunately, on most real-life software, debuggers fail to deliver their most essential feature — a...
Min Xu, Rastislav Bodík, Mark D. Hill
ITCC
2003
IEEE
15 years 11 months ago
Simplified Authoring for Instructors using Distance Education (SAIDE)
This paper presents an alternative to current authoring methods for use in distance education. Several commercially available distanceeducation authoring tools are briefly discuss...
James Garvin, Eric Alsheimer, Zak Bradshaw, Peter ...
LICS
2003
IEEE
15 years 11 months ago
Model-checking Trace Event Structures
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...
P. Madhusudan