A carregar...
A fixpoint semantics for "memory cells" in synchronous dataflows
We study an iteration operation modeling the repeated behavior of syn-chronous dataflows in which all partial results are issued and also memorized for the next computation step. The definition is by means of a fixpoint equation. We prove some equational properties of iteration, comparing them to th...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Alemão |
| Publicado em: |
Mirton Publishing House, Timisoara
2008-01-01
|
| Colecção: | Anale: Seria Informatică |
| Acesso em linha: | http://anale-informatica.tibiscus.ro/download/lucrari/6-1-04-Dima.pdf |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|