4075 search results - page 392 / 815 » Modeling Distributed Algorithm Using B |
198
click to vote
CLUSTER
2000
IEEE
15 years 6 months ago
2000
IEEE
Clusters of workstations and networked parallel computing systems are emerging as promising computational platforms for HPC applications. The processors in such systems are typica...
176
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
172
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Tournament selection has been widely used and studied in evolutionary algorithms. To supplement the study of tournament selection, this paper provides several models describing th...
179
click to vote
AAAI
2007
15 years 9 months ago
2007
The importance of the efforts towards integrating the symbolic and connectionist paradigms of artificial intelligence has been widely recognised. Integration may lead to more e...
159
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We have developed a nonrigid registration technique applicable to breast tissue imaging. It relies on a finite element method (FEM) model and a set of fiducial skin markers (FSMs)...