1054 search results - page 40 / 211 » From a Verified Kernel towards Verified Systems |
130
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
82
Voted
EMNLP
2008
15 years 3 months ago
2008
In this paper we present a textual dialogue system that uses word associations retrieved from the Web to create propositions. We also show experiment results for the role of modal...
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
130
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
109
click to vote
RECOMB
2003
Springer
16 years 2 months ago
2003
Springer
We describe a novel method for detecting the domain structure of a protein from sequence information alone. The method is based on analyzing multiple sequence alignments that are ...