13383 search results - page 389 / 2677 » Abstractions from proofs |
166
click to vote
ATVA
2004
Springer
16 years 7 days ago
2004
Springer
nded Abstract – Oleg Parshin∗ Abdur Rakib† Stephan Thesing∗ Reinhard Wilhelm∗ The precise determination of worst-case execution times (WCETs) for programs is mostly bein...
176
click to vote
CSL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
188
click to vote
GECCO
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
167
click to vote
MPC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
163
click to vote
PERVASIVE
2004
Springer
16 years 6 days ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...