3836 search results - page 415 / 768 » Optimizing the Use of High Performance Software Libraries |
159
click to vote
COMPSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
179
click to vote
HIPEAC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. High end routers are targeted at providing worst case throughput guarantees over latency. Caches on the other hand are meant to help latency not throughput in a tradition...
196
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
215
click to vote
CGO
2008
IEEE
16 years 1 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
176
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...