9067 search results - page 1571 / 1814 » Adaptive Model Checking |
219
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
177
Voted
SPAA
1995
ACM
15 years 10 months ago
1995
ACM
We study the problem of sorting on a parallel computer with limited communication bandwidth. By using the PRAM(m) model, where p processors communicate through a globally shared me...
190
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Recently, the number of cores on general-purpose processors has been increasing rapidly. Using conventional programming models, it is challenging to effectively exploit these core...
190
click to vote
DAGSTUHL
2010
15 years 8 months ago
2010
The segmentation of the myocardium based on the 17-segment model as recommended by the American Heart Association is widely used in medical practice. The patient-specific coronary...
175
click to vote
MIE
2008
15 years 8 months ago
2008
Many attempts have been made in the QA domain but no system applicable to the field of health is currently available on the Internet. This paper describes a bilingual French/Engli...