Sciweavers

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