2000 search results - page 373 / 400 » Program Transformation and Proof Transformation |
117
Voted
WMPI
2004
ACM
15 years 8 months ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
153
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
106
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
We propose a new universal High-Level Information (HLI) format to effectively integrate front-end and back-end compilers by passing front-end information to the back-end compiler....
142
Voted
APPROX
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the fundamental problem of computing an arbitrary Nash equilibrium in bimatrix games. We start by proposing a novel characterization of the set of Nash equilibri...
134
Voted
DAGSTUHL
1996
15 years 4 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...