Sciweavers

1991 search results - page 39 / 399
» Small Models of Large Machines
Sort
View
78
Voted
SC
2003
ACM
15 years 2 months ago
BCS-MPI: A New Approach in the System Software Design for Large-Scale Parallel Computers
Buffered CoScheduled MPI (BCS-MPI) introduces a new approach to design the communication layer for largescale parallel machines. The emphasis of BCS-MPI is on the global coordinat...
Juan Fernández, Eitan Frachtenberg, Fabrizi...
103
Voted
GI
2009
Springer
14 years 7 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
81
Voted
IOR
2006
75views more  IOR 2006»
14 years 9 months ago
Sensitivity of Performance in the Erlang-A Queueing Model to Changes in the Model Parameters
This paper studies the M/M/s+M queue, i.e., the M/M/s queue with customer abandonment, also called the Erlang-A model, having independent and identically distributed customer aban...
Ward Whitt
HYBRID
2004
Springer
15 years 3 months ago
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
Natasha A. Neogi
71
Voted
SIGGRAPH
1998
ACM
15 years 1 months ago
Large Steps in Cloth Simulation
The bottle-neck in most cloth simulation systems is that time steps must be small to avoid numerical instability. This paper describes a cloth simulation system that can stably ta...
David Baraff, Andrew P. Witkin