5417 search results - page 677 / 1084 » Simulation Optimization: Methods and Applications |
123
click to vote
AC
2005
Springer
15 years 3 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
112
click to vote
RSA
2002
15 years 2 months ago
2002
Let be a finite index set and k 1 a given integer. Let further S []k be an arbitrary family of k element subsets of . Consider a (binomial) random subset p of , where p = (pi :...
126
click to vote
ICS
1998
Tsinghua U.
15 years 7 months ago
1998
Tsinghua U.
In this paper we propose and evaluate the Adaptive++ technique, a novel runtime-only data prefetching strategy for software-based distributed shared-memory systems (software DSMs)...
112
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
We examine the trade-off between lifetime and distortion in image sensor networks deployed for gathering visual information over a monitored region. Users navigate over the monito...
127
click to vote
KDD
2004
ACM
16 years 3 months ago
2004
ACM
Unsupervised identification of patterns in microarray data has been a productive approach to uncovering relationships between genes and the biological process in which they are in...