1379 search results - page 108 / 276 » codes 2009 |
135
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
The use of psychoacoustical masking models for audio coding applications has been wide spread over the past decades. In such applications, it is typically assumed that the origina...
117
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
151
click to vote
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Many-core processor architectures require scalable solutions that reflect the locality and power constraints of future generations of technology. This paper presents a CM...
137
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
139
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The development processes of open source software are different from traditional closed source development processes. Still, open source software is frequently of high quality. Th...