Sciweavers

1237 search results - page 127 / 248
» Foundations of Modelling and Simulation of Complex Systems
Sort
View
122
Voted
DEDS
2002
97views more  DEDS 2002»
15 years 3 months ago
N-dimensional Cell-DEVS Models
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
Gabriel A. Wainer, Norbert Giambiasi
112
Voted
VISSYM
2004
15 years 5 months ago
Visualization For Public-Resource Climate Modeling
Climateprediction.net aims to harness the spare CPU cycles of a million individual users' PCs to run a massive ensemble of climate simulations using an up-to-date, full-scale...
J. P. R. B. Walton, D. Frame, D. A. Stainforth
WSC
2004
15 years 5 months ago
Investigation of Error Rates When Controlling Multiple Uninhabited Combat Aerial Vehicles
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...
Sasanka V. Prabhala, Jennie J. Gallimore
196
Voted
DALT
2010
Springer
14 years 10 months ago
Executing Specifications of Social Reasoning Agents
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
Iain Wallace, Michael Rovatsos
123
Voted
MICRO
2008
IEEE
137views Hardware» more  MICRO 2008»
15 years 3 months ago
Verification of chip multiprocessor memory systems using a relaxed scoreboard
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
Ofer Shacham, Megan Wachs, Alex Solomatnikov, Amin...