3836 search results - page 255 / 768 » Optimizing the Use of High Performance Software Libraries |
125
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
Re-occurrence of the same problem is very common in many large software products. By matching the symptoms of a new problem to those in a database of known problems, automated dia...
156
click to vote
TASE
2007
IEEE
15 years 11 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
122
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
139
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
136
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...