3836 search results - page 367 / 768 » Optimizing the Use of High Performance Software Libraries |
208
click to vote
SPAA
2006
ACM
16 years 21 days ago
2006
ACM
LOFAR is the first of a new generation of radio telescopes, that combines the signals from many thousands of simple, fixed antennas, rather than from expensive dishes. Its revol...
181
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
178
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
Two of the attractions of search-based software engineering (SBSE) derive from the nature of the fitness functions used to guide the search. These have proved to be highly robust...
195
click to vote
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
We previously presented a fault localization technique called Value Replacement that repeatedly alters the state of an executing program to locate a faulty statement [9]. The tech...
225
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...