3007 search results - page 392 / 602 » Linear Functional Fixed-points |
106
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
This paper shows how the steady-state availability and failure frequency can be calculated in a single pass for very large systems, when the availability is expressed as a product...
117
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
120
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in t...
154
click to vote
ENTCS
2006
15 years 3 months ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
129
click to vote
EOR
2006
15 years 3 months ago
2006
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...