122 search results - page 16 / 25 » Computing Properties of Numerical Imperative Programs by Sym... |
177
click to vote
ICALP
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
236
click to vote
CP
2003
Springer
16 years 6 days ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...
228
click to vote
FOSSACS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
167
click to vote
SC
2003
ACM
16 years 7 days ago
2003
ACM
SCALLOP is a highly scalable solver and library for elliptic partial differential equations on regular block-structured domains. SCALLOP avoids high communication overheads algor...
215
click to vote
IWQOS
2004
Springer
16 years 10 days ago
2004
Springer
— Traditional SLAs, defined by average delay or packet loss, often camouflage the instantaneous performance perceived by end-users. We define a set of metrics for service avai...