1679 search results - page 175 / 336 » Strong order equivalence |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Storage networking technology has enjoyed strong growth in recent years, but security concerns and threats facing networked data have grown equally fast. Today, there are many pot...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle"...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
CG
2006
Springer
13 years 9 months ago
2006
Springer
This paper reports the work on a novel wavelet-based multi-scale filtering application used to generate very smooth subset of profiles known as Class-A curves. The multi-scale rep...
IANDC
2006
13 years 9 months ago
2006
We characterise the aperiodic autocorrelation for a Boolean function, f, and define the Aperiodic Propagation Criteria (APC) of degree l and order q. We establish the strong simil...