Sciweavers

10666 search results - page 171 / 2134
» Quantum programming languages
Sort
View
99
Voted
PLDI
2009
ACM
15 years 9 months ago
Lightweight annotations for controlling sharing in concurrent data structures
Zachary R. Anderson, David Gay, Mayur Naik
102
Voted
PLDI
2009
ACM
15 years 9 months ago
Measuring channel capacity to distinguish undue influence
James Newsome, Stephen McCamant, Dawn Song
108
Voted
IWOMP
2009
Springer
15 years 9 months ago
Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore
Chunhua Liao, Daniel J. Quinlan, Jeremiah Willcock...
91
Voted
PPDP
2009
Springer
15 years 9 months ago
On the expressive power of priorities in CHR
Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Me...
94
Voted
APLAS
2009
ACM
15 years 9 months ago
Weak updates and separation logic
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai