6762 search results - page 303 / 1353 » Multiple drafts model |
293
click to vote
Publication
Drawbacks of the traditional scenario of image modeling by Gibbs random fields with multiple pairwise pixel interactions are outlined, and a more reasonable alternative scenario b...
196
click to vote
PODS
2002
ACM
16 years 6 months ago
2002
ACM
In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations...
149
click to vote
IAT
2006
IEEE
16 years 22 days ago
2006
IEEE
Organizations involving multiple agents require adaptation mechanisms to guarantee robustness, especially in critical domains. This paper presents an organizational template to ai...
190
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
157
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
We present a new randomized sorting algorithm on the Bulk-SynchronousParallel (BSP) model. The algorithm improves upon the parallel slack of previous algorithms to achieve optimal...