Sciweavers

12032 search results - page 436 / 2407
» Simulation of Manufacturing Systems
Sort
View
356
Voted
DATE
2005
IEEE
278views Hardware» more  DATE 2005»
16 years 17 days ago
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
Franco Fummi, Mirko Loghi, Stefano Martini, Marco ...
ICRA
2005
IEEE
90views Robotics» more  ICRA 2005»
16 years 16 days ago
Genetic Optimization and Simulation of a Piezoelectric Pipe-Crawling Inspection Robot
- Using the Darwin2k development software, a genetic algorithm (GA) was used to design and optimize a pipecrawling robot for parameters such as mass, power consumption, and joint e...
Geoffrey Hollinger, Jeri Briscoe
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
16 years 14 days ago
Sufficiency verification of HIV-1 pathogenesis based on multi-agent simulation
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
Zaiyi Guo, Hann Kwang Han, Joc Cing Tay
ICCS
2005
Springer
16 years 14 days ago
Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
Linxiang X. Wang, Roderick V. N. Melnik
TCC
2005
Springer
118views Cryptology» more  TCC 2005»
16 years 13 days ago
On the Relationships Between Notions of Simulation-Based Security
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
Anupam Datta, Ralf Küsters, John C. Mitchell,...