Sciweavers

2067 search results - page 27 / 414
» Modeling and Simulation of Operating System Behavior
Sort
View
57
Voted
ATAL
2010
Springer
14 years 10 months ago
Influence of different execution models on patrolling ant behaviors: from agents to robots
Generally, swarm models and algorithms consider synchronous agents, i.e., they act simultaneously. This hypothesis does not fit multi-agent simulators nor robotic systems. In this...
Arnaud Glad, Olivier Simonin, Olivier Buffet, Fran...
UML
2000
Springer
15 years 1 months ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier
FMICS
2009
Springer
15 years 4 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
71
Voted
DATE
2009
IEEE
111views Hardware» more  DATE 2009»
15 years 4 months ago
Increased accuracy through noise injection in abstract RTOS simulation
RTOS Simulation Henning Zabel, Wolfgang Mueller Universität Paderborn, C-LAB Fürstenallee 11, D-33102 Paderborn, Germany —Today, mobile and embedded real-time systems have to c...
Henning Zabel, Wolfgang Mueller
INFSOF
2000
91views more  INFSOF 2000»
14 years 9 months ago
An operational approach to the design of workflow systems
We construct models as an aid to our thought process. A particular class of models, operational models, can be used for simulation and prototyping. The Opj modeling language is su...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano