1628 search results - page 37 / 326 » Compiler Construction Using Scheme |
POPL
1996
ACM
15 years 4 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
106
click to vote
IWOMP
2010
Springer
15 years 4 months ago
2010
Springer
OpenMP is a popular and evolving programming model for shared-memory platforms. It relies on compilers to target modern hardware architectures for optimal performance. A variety of...
103
click to vote
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
Histograms and Wavelet synopses provide useful tools in query optimization and approximate query answering. Traditional histogram construction algorithms, such as V-Optimal, optim...
110
click to vote
ESORICS
2009
Springer
16 years 12 days ago
2009
Springer
By shifting the burden of proofs to the user, a proof-carrying authorization (PCA) system can automatically enforce complex access control policies. Unfortunately, managing those p...