4586 search results - page 295 / 918 » Computing stable models in parallel |
144
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
136
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
163
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...
121
click to vote
JSSPP
2005
Springer
15 years 10 months ago
2005
Springer
Using historical information to predict future runs of parallel jobs has shown to be valuable in job scheduling. Trends toward more flexible jobscheduling techniques such as adapt...
148
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
In this paper we aim at reconstructing 3D scenes from images
with unknown focal lengths downloaded from photosharing
websites such as Flickr. First we provide a minimal
solution...