Sciweavers

12131 search results - page 335 / 2427
» Introduction to Modeling and Simulation
Sort
View
IPPS
2006
IEEE
15 years 10 months ago
Simulating a PR-mesh on an LARPBS
The unidirectional nature of propagation and predictable delays are two characteristics of optically pipelined buses that have made them popular in recent years. Many models have ...
M. Gopalan, Anu G. Bourgeois, José Alberto ...
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
15 years 10 months ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
GECCO
2005
Springer
384views Optimization» more  GECCO 2005»
15 years 10 months ago
A case study of process facility optimization using discrete event simulation and genetic algorithm
Optimization problems such as resource allocation, job-shop scheduling, equipment utilization and process scheduling occur in a broad range of processing industries. This paper pr...
Keshav P. Dahal, Stuart Galloway, Graeme M. Burt, ...
AIS
2004
Springer
15 years 10 months ago
Continuity and Change (Activity) Are Fundamentally Related in DEVS Simulation of Continuous Systems
Abstract. The success of DEVS methods for simulating large continuous models calls for more in-depth examination of the applicability of discrete events in modeling continuous phen...
Bernard P. Zeigler, Rajanikanth Jammalamadaka, Sal...
CHI
2009
ACM
15 years 9 months ago
Origami simulator: a multi-touch experience
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, w...
Samuel Hsiao-Heng Chang, Lachlan Stuart, Beryl Pli...