3056 search results - page 352 / 612 » Compiling Embedded Languages |
137
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
146
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
102
click to vote
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
115
click to vote
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
128
click to vote
SCAM
2008
IEEE
15 years 8 months ago
2008
IEEE
Points-to analysis is a fundamental analysis technique whose results are useful in compiler optimization and software engineering tools. Although many points-to analysis algorithm...