10870 search results - page 1939 / 2174 » Model Checking Programs |
198
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
— The size of data sets being collected and analyzed in the industry for business intelligence is growing rapidly, making traditional warehousing solutions prohibitively expensiv...
221
click to vote
BIBM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Unacceptable execution time of Non-rigid registration (NRR) often presents a major obstacle to its routine clinical use. Parallel computing is an effective way to accele...
180
click to vote
CC
2009
Springer
16 years 1 months ago
2009
Springer
Software systems typically exploit only a small fraction of the realizable performance from the underlying microprocessors. While there has been much work on hardware-aware optimiz...
194
click to vote
IEEEPACT
2009
IEEE
16 years 1 months ago
2009
IEEE
Increasing demand for performance and efficiency has driven the computer industry toward multicore systems. These systems have become the industry standard in almost all segments...
155
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Transactional Memory aims to provide a programming model that makes parallel programming easier. Hardware implementations of transactional memory (HTM) suffer from fewer overhead...