Interactive Computation. The New Paradigm

0042348 - ÚI 2007 RIV DE eng M - Část monografie knihy
van Leeuwen, J. - Wiedermann, Jiří
A Theory of Interactive Computation.
[Teorie interaktivních výpočtů.]
Interactive Computation. The New Paradigm. Berlin: Springer-Verlag, 2006 - (Goldin, D.; Smolka, S.; Wegner, P.), s. 119-142. ISBN 3-540-34666-X
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: interaction * evolution * non-uniformity * automata
Kód oboru RIV: IN - Informatika

Many embedded systems behave very differently from classical machine models: they interact with an unpredictable environment, they are "always on", and they change over time. This leads to interesting question of what a computational theory of interactive, evolving programs should look like. We describe a simple model of interactive computing consisting of one component C and an environment E, interacting using single streams of input and output signals and with a number of realistic conditions in effect. The model enables us to study the computational implications of interaction.

Současné výpočetní systémy se chovají odlišně od klasických výpočetních systémů, nepředvídatelně interagují se svým okolím, fungují bez přerušení, a v průběhu času se mohou měnit. Tyto vlastnosti tvoří základ teorie interaktivních výpočtů.
Trvalý link: http://hdl.handle.net/11104/0135596