3256 search results - page 116 / 652 » Mixin-Based Programming in C |
105
Voted
SIAMJO
2008
15 years 3 months ago
2008
Many optimization problems are naturally delivered in an uncertain framework, and one would like to exercise prudence against the uncertainty elements present in the problem. In pr...
123
Voted
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
145
click to vote
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
118
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
116
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...