1145 search results - page 176 / 229 » The Correctness of an Optimized Code Generation |
155
click to vote
PLDI
1995
ACM
15 years 3 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
176
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
In this paper, we present Spade - the System S declarative stream processing engine. System S is a large-scale, distributed data stream processing middleware under development at ...
117
click to vote
SIGMOD
2004
ACM
15 years 12 months ago
2004
ACM
Existing SQL aggregate functions present important limitations to compute percentages. This article proposes two SQL aggregate functions to compute percentages addressing such lim...
106
click to vote
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
In this paper we describe a software pipelining framework, CALiBeR (Cluster Aware Load Balancing Retiming Algorithm), suitable for compilers targeting clustered embedded VLIW proc...
CTRSA
2007
Springer
15 years 6 months ago
2007
Springer
We mathematically explore a model for the shortness and security for passwords that are stored in hashed form. The model is implicitly in the NIST publication [8] and is based on c...