5243 search results - page 994 / 1049 » Reasoning About Strategies |
167
click to vote
EMSOFT
2007
Springer
16 years 5 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
187
click to vote
FMICS
2007
Springer
16 years 5 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
174
click to vote
ICB
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Our goal is to extract consistent bits from the same fingerprint in a noisy environment. Such bits can then be used as a secret key in several cryptographic applications...
174
click to vote
OOPSLA
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
169
click to vote
PPDP
2007
Springer
16 years 4 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...