3056 search results - page 556 / 612 » Compiling Embedded Languages |
119
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
128
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
We present Lazy Binary Splitting (LBS), a user-level scheduler of nested parallelism for shared-memory multiprocessors that builds on existing Eager Binary Splitting work-stealing...
141
click to vote
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
102
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Aggressive technology scaling provides designers with an ever increasing budget of cheaper and faster transistors. Unfortunately, this trend is accompanied by a decline in individ...
112
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...