Sciweavers

12032 search results - page 420 / 2407
» Simulation of Manufacturing Systems
Sort
View
PARA
2004
Springer
16 years 8 days ago
Analyzing Advanced PDE Solvers Through Simulation
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
Henrik Johansson, Dan Wallin, Sverker Holmgren
173
Voted
FDL
2003
IEEE
16 years 6 days ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
ATAL
2006
Springer
15 years 10 months ago
Multiagent simulation meets the real world
To realize large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of steps called 1) participatory simulation, where scen...
Toru Ishida
WSC
2007
15 years 9 months ago
Reusable tool for 300mm intrabay AMHS modeling and simulation
The transition to 300mm wafer size introduced a lot of new technologies to wafer fabrication facilities that mandated the presence of intrabay automated material handling systems ...
Ahmed El-Nashar, Khaled S. El-Kilany
WSC
2007
15 years 9 months ago
Comparing simulation alternatives based on quality expectations
Computed Tomography (CT) is one of the fastest growing diagnostic imaging procedures. Rapid advances in imaging technologies in conjunction with their widening adoption are some o...
Joshua Bosire, Shengyong Wang, Tejas Gandhi, Krish...