Sciweavers

3192 search results - page 24 / 639
» Translating Model Simulators to Analysis Models
Sort
View
MSWIM
2009
ACM
14 years 3 months ago
Contention in multi-hop wireless networks: model and fairness analysis
Vinay Kolar, Karthik Bharath, Nael B. Abu-Ghazaleh...
ANSS
2001
IEEE
14 years 9 days ago
Application of the ATLAS Language in Models of Urban Traffic
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
Andrea Díaz, Verónica Vazquez, Gabri...
WAPCV
2007
Springer
14 years 2 months ago
Simulation and Formal Analysis of Visual Attention in Cognitive Systems
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
Tibor Bosse, Peter-Paul van Maanen, Jan Treur
ISSS
2002
IEEE
144views Hardware» more  ISSS 2002»
14 years 1 months ago
A Visual Approach to Validating System Level Designs
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
Jürgen Ruf, Thomas Kropf, Jochen Klose
HPCN
1995
Springer
14 years 6 days ago
Mermaid: modelling and evaluation research in MIMD architecture design
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
Andy D. Pimentel, J. van Brummen, T. Papathanassia...