2976 search results - page 134 / 596 » On the bounded integer programming |
125
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
The C programming language is at least as well known for its absence of spatial memory safety guarantees (i.e., lack of bounds checking) as it is for its high performance. C'...
138
Voted
POPL
2000
ACM
15 years 6 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
114
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
135
Voted
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
102
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...