4211 search results - page 357 / 843 » Types as Abstract Interpretations |
194
click to vote
EMSOFT
2007
Springer
16 years 29 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...
188
Voted
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
178
click to vote
HOTOS
1997
IEEE
15 years 11 months ago
1997
IEEE
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
170
click to vote
MICRO
2008
IEEE
15 years 6 months ago
2008
IEEE
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...
176
click to vote
INEX
2005
Springer
16 years 8 days ago
2005
Springer
In this article the activities of the INEX 2005 Multimedia track are reported. We succesfully realized our objective, to provide an evaluation platform for the evaluation of retrie...