967 search results - page 130 / 194 » Probabilistic Predicative Programming |
116
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
108
click to vote
USS
2004
15 years 3 months ago
2004
It is well known that it is insecure to use the access(2) system call in a setuid program to test for the ability of the program's executor to access a file before opening sa...
154
click to vote
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
124
click to vote
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
The "nearest neighbor" relation, or more generally the "k nearest neighbors" relation, defined for a set of points in a metric space, has found many uses in co...
155
Voted
ICALP
2011
Springer
14 years 6 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...