4987 search results - page 95 / 998 » Support Ordered Resolution |
EMSOFT
2004
Springer
15 years 3 months ago
2004
Springer
Mechatronic systems are embedded software systems with hard real-time requirements. Predictability is of paramount importance for these systems. Thus, their design has to take the...
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
ISCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
We present a first order analog-to-digital converter with time-variant window. If a DC input is applied, the converter outputs a binary sequence until the internal state enters i...
JAR
2007
14 years 9 months ago
2007
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...