3001 search results - page 108 / 601 » Recursive type generativity |
104
click to vote
CGF
2005
15 years 2 months ago
2005
We introduce a technique to rapidly generate summed-area tables using graphics hardware. Summed area tables, originally introduced by Crow, provide a way to filter arbitrarily lar...
117
Voted
CRYPTO
2004
Springer
15 years 8 months ago
2004
Springer
We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correla...
134
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
119
Voted
PLDI
1998
ACM
15 years 6 months ago
1998
ACM
This paper presents a typed programming language and compiler for run-time code generation. The language, called ML2, extends ML with modal operators in the style of the Mini-ML2 ...
145
Voted
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...