4586 search results - page 441 / 918 » Computing stable models in parallel |
205
Voted
IS
2007
15 years 6 months ago
2007
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...
166
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
Performance Engineering is concerned with the reliable prediction and estimation of the performance of scientific and engineering applications on a variety of parallel and distrib...
200
click to vote
ACS
2011
15 years 1 months ago
2011
We describe an algebra for composing automata in which the actions have probabilities. We illustrate by showing how to calculate the probability of reaching deadlock in k steps in...
170
click to vote
OOPSLA
2007
Springer
16 years 25 days ago
2007
Springer
We present a new technique, early phase termination, for eliminating idle processors in parallel computations that use barrier synchronization. This technique simply terminates ea...
168
Voted
BMVC
2002
15 years 9 months ago
2002
This paper presents new techniques for improving the structural quality of automatically acquired architectural 3D models. Common architectural features like parallelism and ortho...