Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Lehrstuhl Informatik 2 Zeit: Montag, 27. Juni 2011, 10.00 Uhr

Summary: Lehrstuhl Informatik 2
Zeit: Montag, 27. Juni 2011, 10.00 Uhr
Ort: AH 6, Ahornstr. 55
Referent: Prof. Dr. Javier Esparza,
TU München
Titel: Solving fixed-point equations on semirings
Many problems in Computer Science, Physics, and Mathematics reduce to solving a
system of fixed-point equations. Examples include the computation of thermal equilib-
ria, shortest paths, dataflow invariants, critical radius of fisionable materials, multiset
languages, stationary distributions, population levels, termination probabilities, and
expected memory consumption. The equations are interpreted on a large variety of
domains, including integers, reals, intervals, languages, and multisets, but all of them
share a common algebraic structure: they are semirings with some continuity proper-
Computer Science has not produced much theory on *generic* solution methods,
i.e., methods that work for *any* of these semirings. The ones around are based on
Knaster-Tarski's and Kleene's theorems, but, unfortunately, they rarely terminate for
infinite domains, and in metric interpretations their convergence order is very slow. In


Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)


Collections: Computer Technologies and Information Sciences