22018 search results - page 4252 / 4404 » or 2004 |
187
click to vote
CASES
2004
ACM
15 years 10 months ago
2004
ACM
The tremendous growth of system memories has increased the capacities and capabilities of memory-resident embedded databases, yet current embedded databases need to be tuned in or...
206
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
173
click to vote
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
195
click to vote
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
Coronary angiography has become an important tool in modern medicine by providing an additional modality for heart disease diagnostics. Even though the recorded images (or image s...
213
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Next generation applications and architectures (for example, Grids) are driving radical changes in the nature of traffic, service models, technology, and cost, creating opportunit...