498 search results - page 89 / 100 » New Constructions for IPP Codes |
125
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
130
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
118
click to vote
PLDI
2006
ACM
15 years 7 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
101
click to vote
ECCV
2000
Springer
16 years 3 months ago
2000
Springer
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...
230
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...