1663 search results - page 146 / 333 » Verification and validation of simulation models |
109
Voted
WSC
2001
15 years 6 months ago
2001
This paper discusses the validity of using common random numbers (CRNs) with two-stage selection procedures to improve the possibility of correct selection and discusses the intri...
115
Voted
WSC
2004
15 years 6 months ago
2004
This paper investigates the adequacy of various principal components (p.c.) approaches as data reduction schemes for processing contingent claim valuations on baskets of equities....
133
Voted
ICPADS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a real time scheduling policy over 802.11 DCF protocol called Deadline Monotonic (DM). We evaluate the performance of this policy for a simple scenario w...
121
Voted
ICIP
2007
IEEE
16 years 6 months ago
2007
IEEE
On-line discovery of some auxiliary objects to verify the tracking results is a novel approach to achieving robust tracking by balancing the need for strong verification and compu...
116
Voted
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...