Sciweavers

3507 search results - page 497 / 702
» Specialized execution environments
Sort
View
IROS
2009
IEEE
139views Robotics» more  IROS 2009»
16 years 1 months ago
On the use of 2D navigable maps for enhancing ground vehicle localization
Abstract— For ground vehicle localization, hybrid-GNSS localizers now use commonly dead-reckoning sensors, like odometers or inertial units. They are designed to increase the acc...
Clément Fouque, Philippe Bonnifait
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
16 years 1 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
DIGITEL
2008
IEEE
16 years 1 months ago
Development of Educational Videogames in m-Learning Contexts
The educational gaming field is rapidly growing both in acceptance and variety. Within this variety, the technological evolution of wireless/handheld (W/H) computing devices is op...
Pablo Lavín-Mera, Pablo Moreno-Ger, Baltasa...
ICDCS
2008
IEEE
16 years 1 months ago
stdchk: A Checkpoint Storage System for Desktop Grid Computing
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...
Samer Al-Kiswany, Matei Ripeanu, Sudharshan S. Vaz...
177
Voted
ICPP
2008
IEEE
16 years 1 months ago
A Scalable Architecture for Crowd Simulation: Implementing a Parallel Action Server
Crowd simulation can be considered as a special case of Virtual Environments where avatars are intelligent agents instead of user-driven entities. These applications require both ...
Guillermo Vigueras, Miguel Lozano, Carlos Perez, J...