185 search results - page 9 / 37 » Experimental Study of Compiler Techniques for NUMA Machines |
170
click to vote
PPDP
2007
Springer
16 years 3 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
210
click to vote
CASES
2006
ACM
15 years 12 months ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
181
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...
184
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
In this paper we study the performance improvements and trade-offs derived from an optimized mapping approach applied on a parametric coarse grained reconfigurable array architect...
189
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...