3122 search results - page 161 / 625 » A Theory of Network Equivalence |
169
Voted
FSTTCS
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
184
Voted
ICARCV
2002
IEEE
16 years 1 days ago
2002
IEEE
Integral quadratic constraints (IQC) arise in many optimal and/or robust control problems. The IQC approach can be viewed as a generalization of the classical multiplier approach ...
181
Voted
TPHOL
2002
IEEE
16 years 14 hour ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
191
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
254
Voted
AISC
2010
Springer
15 years 11 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...