484 search results - page 58 / 97 » Caching function calls using precise dependencies |
124
click to vote
DASFAA
2010
IEEE
15 years 9 months ago
2010
IEEE
Scalable execution of continuous queries over massive data streams often requires splitting input streams into parallel sub-streams over which query operators are executed in paral...
214
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
130
Voted
ALMOB
2007
15 years 2 months ago
2007
Background: Some amino acid residues functionally interact with each other. This interaction will result in an evolutionary co-variation between these residues – coevolution. Ou...
159
click to vote
CHES
2008
Springer
15 years 4 months ago
2008
Springer
We propose a generic information-theoretic distinguisher for differential side-channel analysis. Our model of side-channel leakage is a refinement of the one given by Standaert et ...
124
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...