1886 search results - page 198 / 378 » Verifying and Validating Simulation Models |
159
click to vote
CODES
2009
IEEE
15 years 8 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
143
click to vote
TACAS
1998
Springer
15 years 7 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
102
click to vote
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
—In this paper we present a new theoretical model to assess the performance of a class of batch scheduling orders in a forward DVB-S2 satellite link. The scheduling order in a DV...
116
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
A major issue in modelling the performance merits of interconnection network is dealing with virtual channels. Some analytical models chose not to deal with this issue at all i.e....
143
Voted
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
— Considered is a mobile ad hoc network consisting of three types of nodes (source, destination and relay nodes) and using the two-hop relay routing protocol. Packets at relay no...