Sciweavers

12131 search results - page 138 / 2427
» Introduction to Modeling and Simulation
Sort
View
MDA
1999
Springer
107views Communications» more  MDA 1999»
15 years 7 months ago
On Simulation Modeling of Information Dissemination Systems in Mobile Environments
Abstract. In this paper, we propose dynamic discrete-event based models for information dissemination systems in both single cell and multiple cell mobile environments. We demonstr...
Wang-Chien Lee, Johnson Lee, Karen E. Huff
VVEIS
2008
15 years 4 months ago
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Kenro Yatake, Takuya Katayama
SODA
2004
ACM
74views Algorithms» more  SODA 2004»
15 years 4 months ago
Torpid mixing of simulated tempering on the Potts model
Simulated tempering and swapping are two families of sampling algorithms in which a parameter representing temperature varies during the simulation. The hope is that this will ove...
Nayantara Bhatnagar, Dana Randall
CEEMAS
2007
Springer
15 years 9 months ago
Simulating a Human Cooperative Problem Solving
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
Alexandre Pauchet, Amal El Fallah-Seghrouchni, Nat...
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 6 months ago
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
Alex Bobrek, Joshua J. Pieper, Jeffrey E. Nelson, ...