1886 search results - page 83 / 378 » Verifying and Validating Simulation Models |
CORR
2007
Springer
14 years 9 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
DSRT
2002
IEEE
15 years 2 months ago
2002
IEEE
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...
MOBICOM
1995
ACM
15 years 1 months ago
1995
ACM
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...
109
click to vote
HVC
2007
Springer
15 years 1 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...