Sciweavers

93 search results - page 10 / 19
» Command line or pretty lines
Sort
View
CADE
2007
Springer
14 years 10 months ago
A History-based Verification of Distributed Applications
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
Bruno Langenstein, Andreas Nonnengart, Georg Rock,...
PERCOM
2004
ACM
14 years 9 months ago
Drishti: An Integrated Indoor/Outdoor Blind Navigation System and Service
There are many navigation systems for visually impaired people but few can provide dynamic interactions and adaptability to changes. None of these systems work seamlessly both ind...
Lisa Ran, Sumi Helal, Steve Moore
ICMCS
2007
IEEE
93views Multimedia» more  ICMCS 2007»
14 years 4 months ago
POEMS: A Paper Based Meeting Service Management Tool
As more and more tools are developed for meeting support tasks, properly using these tools to get expected results becomes too complicated for many meeting participants. To addres...
Chang Hu, Qiong Liu, Xuemin Liu, Chunyuan Liao, Pa...
EUROPAR
2005
Springer
14 years 3 months ago
PerfMiner: Cluster-Wide Collection, Storage and Presentation of Application Level Hardware Performance Data
Abstract. We present PerfMiner, a system for the transparent collection, storage and presentation of thread-level hardware performance data across an entire cluster. Every sub-proc...
Philip Mucci, Daniel Ahlin, Johan Danielsson, Per ...
ICRA
2002
IEEE
108views Robotics» more  ICRA 2002»
14 years 2 months ago
An Execution Control System for Autonomous Robots
Abstract— This paper presents some recent developments of the LAAS architecture for autonomous mobile robots. In particular, we specify the role of the Execution Control level of...
François Felix Ingrand, Frederic Py