1140 search results - page 39 / 228 » Generating compilers for generated datapaths |
138
click to vote
PPOPP
2010
ACM
16 years 3 days ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
170
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
143
click to vote
EACL
1989
ACL Anthology
15 years 4 months ago
1989
ACL Anthology
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...
176
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
138
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...