12032 search results - page 325 / 2407 » Simulation of Manufacturing Systems |
150
click to vote
ICCSA
2003
Springer
15 years 12 months ago
2003
Springer
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...
182
click to vote
SERVICES
2008
15 years 8 months ago
2008
The emergence of recent XML-based technologies paved the way for new types of architectures and message exchanges on the Internet through Web services. MashUps consist in combinin...
182
click to vote
ANSS
2007
IEEE
16 years 1 months ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
152
click to vote
IROS
2006
IEEE
16 years 24 days ago
2006
IEEE
— In order to guide the design of a new multi-robot system, we seek to evaluate two different designs of audio direction sensor. We have implemented a simple but useful audio pro...
160
click to vote
ICTAI
2005
IEEE
16 years 11 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...