2636 search results - page 259 / 528 » Linear Programming |
125
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
120
click to vote
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In the past, some researches suggested that engineers can use combined software reliability growth models (SRGMs) to obtain more accurate reliability prediction during testing. In...
136
click to vote
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
117
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
120
Voted
ISQED
2002
IEEE
15 years 8 months ago
2002
IEEE
— The inductive characteristics of several types of gridded power distribution networks are described in this paper. The inductance extraction program FastHenry is used to evalua...