1271 search results - page 70 / 255 » On Simulation-Checking with Sequential Systems |
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper discusses a design methodology of cooperative trajectory generation for multi-robot systems. The trajectory of achieving cooperative tasks, i.e., with temporal constrai...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper addresses the issue of developing a motion planning algorithm for a general class of modular mobile robots. A modular mobile robot is essentially a reconfigurable robo...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
For bulk synchronous computations that have nondeterministic behaviors, dynamic remapping is an effective approach to ensure parallel efficiency. There are two basic issues in re...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract. The current generation of data mining tools have limited capacity and performance, since these tools tend to be sequential. This paper explores a migration path out of th...
DAC
1996
ACM
14 years 2 months ago
1996
ACM
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...