45 search results - page 6 / 9 » The Reliable Algorithmic Software Challenge RASC |
ICSE
2010
IEEE-ACM
15 years 1 days ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
MICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Continued technology scaling is resulting in systems with billions of devices. Unfortunately, these devices are prone to failures from various sources, resulting in even commodity...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
DAC
2010
ACM
15 years 1 months ago
2010
ACM
With the end of clock-frequency scaling, parallelism has emerged as the key driver of chip-performance growth. Yet, several factors undermine efficient simultaneous use of onchip ...