1886 search results - page 123 / 378 » Verifying and Validating Simulation Models |
108
click to vote
HPCA
2002
IEEE
15 years 10 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
111
click to vote
QEST
2009
IEEE
15 years 4 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
ALGORITHMICA
2004
14 years 9 months ago
2004
Query answers from on-line databases can easily be corrupted by hackers or malicious database publishers. Thus it is important to provide mechanisms which allow clients to trust th...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— In [17] we proposed an RL framework for control of flapping-wing MAVs. The algorithm has been discussed and simulation results using a quasi-steady model showed initial promis...
TIT
2002
14 years 9 months ago
2002
In this paper, the influence of a point spectrum on large sample statistics of the autoregressive (AR) spectral estimator is addressed. In particular, the asymptotic distributions ...