3441 search results - page 375 / 689 » Parallel Logic Programming Systems |
226
click to vote
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
151
click to vote
HPCA
2007
IEEE
16 years 4 months ago
2007
IEEE
This paper evaluates the suitability of the MapReduce model for multi-core and multi-processor systems. MapReduce was created by Google for application development on data-centers...
154
click to vote
ICS
2011
Tsinghua U.
14 years 7 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
134
click to vote
CCGRID
2007
IEEE
15 years 10 months ago
2007
IEEE
Typical computational grid users target only a single cluster and have to estimate the runtime of their jobs. Job schedulers prefer short-running jobs to maintain a high system ut...
148
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a stereo algorithm that achieves high quality results while maintaining real-time performance. The key idea is simple: we introduce an adaptive aggregation step in a dy...