Sciweavers

10575 search results - page 147 / 2115
» Programming Languages
Sort
View
PLDI
2009
ACM
15 years 11 months ago
Measuring channel capacity to distinguish undue influence
James Newsome, Stephen McCamant, Dawn Song
IWOMP
2009
Springer
15 years 11 months ago
Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore
Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...
PPDP
2009
Springer
15 years 11 months ago
On the expressive power of priorities in CHR
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Me...
APLAS
2009
ACM
15 years 11 months ago
Weak updates and separation logic
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai