484 search results - page 58 / 97 » Caching function calls using precise dependencies |
DASFAA
2010
IEEE
14 years 4 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...
POPL
2006
ACM
14 years 10 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, ...
ALMOB
2007
13 years 10 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...
CHES
2008
Springer
13 years 11 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 ...
ESOP
2006
Springer
14 years 1 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...