Sciweavers

1663 search results - page 102 / 333
» Validation and Verification of Simulation Models
Sort
View
DSRT
2002
IEEE
15 years 8 months ago
Enhancing the DiffServ Architecture of a Simulation Environment
Simulation has always been a valuable tool for experimentation and validation of models, architectures and mechanisms in the field of networking. In the case of the DiffServ frame...
Christos Bouras, Dimitris Primpas, Afrodite Sevast...
126
Voted
MOBICOM
1995
ACM
15 years 7 months ago
Mobile Wireless Network System Simulation
In this paper, we describe a simulation environment which is used to examine, validate, and predict the performance of mobile wireless network systems. This simulation environment...
Joel Short, Rajive Bagrodia, Leonard Kleinrock
125
Voted
FMOODS
2006
15 years 5 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
116
Voted
WSC
2007
15 years 6 months ago
Simulation results and formalism for global-local scheduling in semiconductor manufacturing facilities
This article deals with an approach for managing scheduling in semiconductor manufacturing facilities. The proposed approach ensures consistency between global and local schedulin...
Mickaël Bureau, Stéphane Dauzèr...
118
Voted
PATMOS
2007
Springer
15 years 9 months ago
XEEMU: An Improved XScale Power Simulator
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
Zoltán Herczeg, Ákos Kiss, Daniel Sc...