Sciweavers

192 search results - page 7 / 39
» concurrency 2002
Sort
View
ICRA
2002
IEEE
109views Robotics» more  ICRA 2002»
15 years 3 months ago
Explore and Return: Experimental Validation of Real-Time Concurrent Mapping and Localization
Paul M. Newman, John J. Leonard, Juan D. Tard&oacu...
ITC
2002
IEEE
102views Hardware» more  ITC 2002»
15 years 3 months ago
Adapting an SoC to ATE Concurrent Test Capabilities
Rainer Dorsch, Ramón Huerta Rivera, Hans-Jo...
LOGCOM
2002
52views more  LOGCOM 2002»
14 years 10 months ago
Verifying Concurrent Systems with Symbolic Execution
Michael Balser, Christoph Duelli, Wolfgang Reif, G...
TON
2002
75views more  TON 2002»
14 years 10 months ago
Concurrent round-robin-based dispatching schemes for Clos-network switches
Eiji Oki, Zhigang Jing, Roberto Rojas-Cessa, H. Jo...
TSE
2002
54views more  TSE 2002»
14 years 10 months ago
Incremental Integration Testing of Concurrent Programs
Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai