16190 search results - page 169 / 3238 » Applicative programming with effects |
181
Voted
SIGMETRICS
2010
ACM
14 years 10 months ago
2010
ACM
The prevalence of multicore architectures has made the performance analysis of multithreaded applications an intriguing area of inquiry. An understanding of locality effects and c...
167
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...
125
click to vote
IWFM
1998
15 years 4 months ago
1998
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
136
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
158
click to vote
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
Online program monitoring is an effective technique for detecting bugs and security attacks in running applications. Extending these tools to monitor parallel programs is challeng...