Sciweavers

1886 search results - page 39 / 378
» Verifying and validating a simulation model
Sort
View
PATMOS
2004
Springer
15 years 3 months ago
A Multi-level Validation Methodology for Wireless Network Applications
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
Christos Drosos, Labros Bisdounis, Dimitris Metafa...
WSC
2008
15 years 15 hour ago
Modeling of air traffic arrival operations through agent-based simulation
This paper reports on the development and validation of an agent based simulation model of air traffic control arrival operations. The simulation model includes modeling of both t...
Sanjiv Shresta, Ralf H. Mayer
WICSA
2008
14 years 11 months ago
Simulating Software Architectures for Functional Analysis
Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
Henry Muccini, Patrizio Pelliccione
91
Voted
DATE
2006
IEEE
111views Hardware» more  DATE 2006»
15 years 3 months ago
Functional test generation using property decompositions for validation of pipelined processors
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
Heon-Mo Koo, Prabhat Mishra
102
Voted
ICCD
2008
IEEE
221views Hardware» more  ICCD 2008»
15 years 6 months ago
Reversi: Post-silicon validation system for modern microprocessors
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
Ilya Wagner, Valeria Bertacco