1886 search results - page 73 / 378 » Verifying and Validating Simulation Models |
SAB
2010
Springer
14 years 8 months ago
2010
Springer
Playing table tennis is a difficult motor task which requires fast movements, accurate control and adaptation to task parameters. Although human beings see and move slower than mos...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper we present a new Navigation Function for a sphere world that can be computed locally with limited knowledge of the environment. By requiring smooth and no...
PIMRC
2010
IEEE
14 years 7 months ago
2010
IEEE
The exact expressions for symbol error probability and outage probability of randomized distributed space-time codes (RDSTC) under Rayleigh fading are derived. The diversity gain d...
TOMACS
1998
14 years 9 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...