Sciweavers

6931 search results - page 442 / 1387
» Visual Simulation Environment
Sort
View
MDA
1999
Springer
179views Communications» more  MDA 1999»
15 years 11 months ago
Cache Coherency in Location-Dependent Information Services for Mobile Environment
Abstract. Caching frequently accessed data at the client is an attractive technique for improving access time. In a mobile computing environment, client location becomes a piece of...
Jianliang Xu, Xueyan Tang, Dik Lun Lee, Qinglong H...
ICRA
1998
IEEE
137views Robotics» more  ICRA 1998»
15 years 11 months ago
GRAMMPS: A Generalized Mission Planner for Multiple Mobile Robots in Unstructured Environments
For a system of cooperative mobile robots to be effective in real-world applications, it must be able to efficiently execute a wide class of complex tasks in potentially unknown a...
Barry Brumitt, Anthony Stentz
AGENTS
1997
Springer
15 years 11 months ago
Neo: Learning Conceptual Knowledge by Sensorimotor Interaction with an Environment
Recent developments in philosophy, linguistics, developmental psychology and arti cial intelligence make it possible to envision a developmental path for an arti cial agent, groun...
Paul R. Cohen, Marc S. Atkin, Tim Oates, Carole R....
164
Voted
DAC
1994
ACM
15 years 11 months ago
HSIS: A BDD-Based Environment for Formal Verification
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin...
MICRO
1995
IEEE
108views Hardware» more  MICRO 1995»
15 years 11 months ago
SPAID: software prefetching in pointer- and call-intensive environments
Software prefetching, typically in the context of numericor loop-intensive benchmarks, has been proposed as one remedy for the performance bottleneck imposed on computer systems b...
Mikko H. Lipasti, William J. Schmidt, Steven R. Ku...