2468 search results - page 117 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
179
click to vote
IWCMC
2010
ACM
15 years 8 months ago
2010
ACM
Despite a large body of literature and methods devoted to the Traffic Matrix (TM) estimation problem, the inference of traffic flows volume from aggregated data still represents a ...
164
click to vote
TCS
2010
15 years 4 months ago
2010
We present a new approach for an average-case analysis of algorithms and data structures that supports a non-uniform distribution of the inputs and is based on the maximum likelih...
186
click to vote
HPCA
1998
IEEE
15 years 10 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
174
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
A new stochastic method for locating the global minimum of a multidimensional function inside a rectangular hyperbox is presented. A sampling technique is employed that makes use ...
151
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...