164 search results - page 14 / 33 » Stratified type inference for generalized algebraic data typ... |
NDSS
2006
IEEE
14 years 2 months ago
2006
IEEE
The custom, ad hoc nature of web applications makes learning-based anomaly detection systems a suitable approach to provide early warning about the exploitation of novel vulnerabi...
APLAS
2004
ACM
14 years 2 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
DOLAP
2005
ACM
13 years 10 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
ICS
2010
Tsinghua U.
13 years 11 months ago
2010
Tsinghua U.
Existing supercomputers have hundreds of thousands of processor cores, and future systems may have hundreds of millions. Developers need detailed performance measurements to tune ...
AIME
2001
Springer
14 years 1 months ago
2001
Springer
Medical information systems and standards are increasingly based on principled models of at least three distinct sorts of information – patient data, concepts (terminology), and ...