3047 search results - page 527 / 610 » Randomized Parallel Selection |
111
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
155
click to vote
WACV
2005
IEEE
15 years 7 months ago
2005
IEEE
Many existing systems for human body tracking are based on dynamic model-based tracking that is driven by local image features. Alternatively, within a view-based approach, tracki...
105
click to vote
SC
2005
ACM
15 years 7 months ago
2005
ACM
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. H...
114
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Scientists are increasingly using large distributed systems built from commodity off-the-shelf components to perform scientific computation. Grid computing has expanded the scale ...
131
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Dynamic instruction scheduling logic is one of the most critical and cycle-limiting structures in modern superscalar processors, and it is not easily pipelined without significant ...