1379 search results - page 115 / 276 » codes 2009 |
161
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
119
click to vote
CGO
2009
IEEE
15 years 11 months ago
2009
IEEE
Compilers employ many aggressive code transformations to achieve highly optimized code. However, because of complex target architectures and unpredictable optimization interaction...
130
click to vote
ICML
2009
IEEE
15 years 11 months ago
2009
IEEE
Physics-based simulation codes are widely used in science and engineering to model complex systems that would be infeasible to study otherwise. Such codes provide the highest-fid...
163
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
142
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Single-carrier transmissions with frequency-domainequalization have gained much interest due to their comparable complexity and performance to OFDM, which conversely suffers from ...