Sciweavers

1886 search results - page 158 / 378
» Verifying and Validating Simulation Models
Sort
View
JSA
2002
130views more  JSA 2002»
14 years 9 months ago
Reconfigurable models of finite state machines and their implementation in FPGAs
This paper examines some models of FSMs that can be implemented in dynamically and statically reconfigurable FPGAs. They enable circuits for the FSMs to be constructed in such a wa...
Valery Sklyarov
JPDC
2006
175views more  JPDC 2006»
14 years 10 months ago
Stochastic modeling and analysis of hybrid mobility in reconfigurable distributed virtual machines
Virtualization provides a vehicle to manage the available resources and enhance their utilization in network computing. System dynamics requires virtual machines be distributed an...
Song Fu, Cheng-Zhong Xu
JDCTA
2010
143views more  JDCTA 2010»
14 years 4 months ago
A Potent Model for Unwanted Traffic Detection in QoS Network Domain
Unwanted traffic injection which amplifies the traffic loading and exhausts network resources is counted as network security threat. Despite of the numerous protection systems, th...
Abdulghani Ali, Aman Jantan, Ghassan Ahmed Ali
ICIP
2000
IEEE
15 years 11 months ago
Model-Based Inverse Halftoning with Wavelet-Vaguelette Deconvolution
In this paper, we demonstrate based on the linear model of [1, 2] that inverse halftoning is equivalent to the well-studied problem of deconvolution in the presence of colored noi...
Ramesh Neelamani, Robert Nowak, Richard G. Baraniu...
TACAS
2004
Springer
132views Algorithms» more  TACAS 2004»
15 years 3 months ago
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study
Numerical analysis based on uniformisation and statistical techniques based on sampling and simulation are two distinct approaches for transient analysis of stochastic systems. We ...
Håkan L. S. Younes, Marta Z. Kwiatkowska, Ge...