Sciweavers

11215 search results - page 42 / 2243
» Skeleton - Easy Simulation System
Sort
View
MFCS
1997
Springer
14 years 1 months ago
Simulation as a Correct Transformation of Rewrite Systems
Abstract. Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in...
Wan Fokkink, Jaco van de Pol
LCN
2006
IEEE
14 years 3 months ago
Cross-Level Sensor Network Simulation with COOJA
Simulators for wireless sensor networks are a valuable tool for system development. However, current simulators can only simulate a single level of a system at once. This makes sy...
Fredrik Österlind, Adam Dunkels, Joakim Eriks...
WSC
2001
13 years 10 months ago
Resource graphs for modeling large-scale, highly congested systems
Simulations often execute too slowly to be effective tools for decision-making. In particular, this problem has been found in semiconductor manufacturing where conventional job-dr...
Paul Hyden, Lee Schruben, Theresa M. Roeder
IFL
2003
Springer
144views Formal Methods» more  IFL 2003»
14 years 2 months ago
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
Rafael Martínez, Ricardo Pena
DSRT
2005
IEEE
14 years 2 months ago
An Adaptive Load Management Mechanism for Distributed Simulation of Multi-agent Systems
The paper presents a load management mechanism for distributed simulations of multi-agent systems. The mechanism minimises the cost of accessing the shared state in the distribute...
Ton Oguara, Dan Chen, Georgios K. Theodoropoulos, ...