2468 search results - page 158 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
128
Voted
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
133
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Estimation of Distribution Algorithms (EDAs) are a class of evolutionary algorithms that use machine learning techniques to solve optimization problems. Machine learning is used t...
156
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Although biometrics have garnered significant interest as a source of entropy for cryptographic key generation, recent studies indicate that many biometric modalities may not actu...
144
click to vote
AIR
2006
15 years 3 months ago
2006
Abstract Supervised classification is one of the tasks most frequently carried out by socalled Intelligent Systems. Thus, a large number of techniques have been developed based on ...
153
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...