Sciweavers

5493 search results - page 297 / 1099
» Effectively Polynomial Simulations
Sort
View
SMC
2010
IEEE
134views Control Systems» more  SMC 2010»
15 years 5 months ago
Beyond robot fan-out: Towards multi-operator supervisory control
Abstract—This paper explores multi-operator supervisory control (MOSC) of multiple independent robots using two complementary approaches: a human factors experiment and an agent-...
Jonathan M. Whetten, Michael A. Goodrich, Yisong G...
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 3 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
ICNS
2007
IEEE
16 years 29 days ago
A Case Study-based Performance Evaluation Framework for CSCF Processes on a Blade-Server
Abstract— The study of protocol behavior and traffic characteristics in a simulated environment is commonly supported by ad-hoc or general purpose simulators (e.g., Opnet, NS-2)...
Preetam Ghosh, Nirmalya Roy, Kalyan Basu, Sajal K....
CIBCB
2006
IEEE
16 years 22 days ago
A Stochastic model to estimate the time taken for Protein-Ligand Docking
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
Preetam Ghosh, Samik Ghosh, Kalyan Basu, Sajal K. ...
VISUALIZATION
2005
IEEE
16 years 7 days ago
Phonon Tracing for Auralization and Visualization of Sound
We present a new particle tracing approach for the simulation of mid- and high-frequency sound. Inspired by the photorealism obtained by methods like photon mapping, we develop a ...
Martin Bertram, Eduard Deines, Jan Mohring, Jevgen...