Sciweavers

1093 search results - page 39 / 219
» Simplifying parallel and distributed simulation with the DUP...
Sort
View
PADS
1996
ACM
14 years 1 months ago
Design of High Level Modelling / High Performance Simulation Environments
Advances in massively parallel platforms are increasing the prospects for high performance discrete event simulation. Still the di culty in parallel programming persists and there...
Bernard P. Zeigler, Doohwan Kim
CONCUR
2007
Springer
14 years 28 days ago
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. ...
WSC
2007
13 years 11 months ago
Classification analysis for simulation of machine breakdowns
Machine failure is often an important factor in throughput of manufacturing systems. To simplify the inputs to the simulation model for complex machining and assembly lines, we ha...
Lanting Lu, Christine S. M. Currie, Russell C. H. ...
IPPS
2007
IEEE
14 years 3 months ago
Taking Advantage of Collective Operation Semantics for Loosely Coupled Simulations
Although a loosely coupled component-based framework offers flexibility and versatility for building and deploying large-scale multi-physics simulation systems, the performance o...
Joe Shang-Chieh Wu, Alan Sussman
IPPS
2002
IEEE
14 years 1 months ago
Memory-Intensive Benchmarks: IRAM vs. Cache-Based Machines
The increasing gap between processor and memory performance has led to new architectural models for memory-intensive applications. In this paper, we use a set of memory-intensive ...
Brian R. Gaeke, Parry Husbands, Xiaoye S. Li, Leon...