11112 search results - page 155 / 2223 » Computing Stuttering Simulations |
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
CA
1998
IEEE
14 years 1 months ago
1998
IEEE
An algorithm for simulating simultaneous collision impulse with friction working at multiple collision points between three dimensional rigid bodies is described. We also present ...
CGI
1997
IEEE
14 years 1 months ago
1997
IEEE
In this article we propose a model of a tennis game simulation with synthetic actors as players and a referee. The behavior of these actors is based on their synthetic vision and ...
CGF
2004
13 years 9 months ago
2004
Sound is an indispensable element for the simulation of a realistic virtual environment. Therefore, there has been much recent research focused on the simulation of realistic soun...
SIGCSE
2009
ACM
14 years 10 months ago
2009
ACM
ion and Extensibility in Digital Logic Simulation Software Richard M. Salter and John L. Donaldson Computer Science Department Oberlin College Oberlin, OH 44074 rms@cs.oberlin.edu,...