Specification and refinement of finite dataflow networks: a relational approach
Abstract: "We specify the black box behavior of dataflow components by characterizing the relation between the input and the output histories. We distinguish between three main classes of such specifications, namely time independent specifications, weakly time dependent specifications and stron...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
München
1994
|
| Schriftenreihe: | Technische Universität <München>: TUM-I
9412 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We specify the black box behavior of dataflow components by characterizing the relation between the input and the output histories. We distinguish between three main classes of such specifications, namely time independent specifications, weakly time dependent specifications and strongly time dependent specifications. Dataflow components are semantically modeled by sets of timed stream processing functions. Specifications describe such sets by logical formulas. We emphasize the treatment of the well-known fair merge problem and the Brock/Ackermann anomaly. We give refinement rules which allow specifications to be decomposed into networks of specifications." |
| Beschreibung: | 46 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009967251 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 941219s1994 gw d||| t||| 00||| eng d | ||
| 016 | 7 | |a 942878205 |2 DE-101 | |
| 035 | |a (OCoLC)64519760 | ||
| 035 | |a (DE-599)BVBBV009967251 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91G | ||
| 088 | |a TUM I 9412 | ||
| 100 | 1 | |a Broy, Manfred |d 1949- |e Verfasser |0 (DE-588)109602137 |4 aut | |
| 245 | 1 | 0 | |a Specification and refinement of finite dataflow networks |b a relational approach |c Manfred Broy ; Ketil Stølen |
| 264 | 1 | |a München |c 1994 | |
| 300 | |a 46 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9412 | |
| 490 | 1 | |a Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |v 1994,7 | |
| 520 | 3 | |a Abstract: "We specify the black box behavior of dataflow components by characterizing the relation between the input and the output histories. We distinguish between three main classes of such specifications, namely time independent specifications, weakly time dependent specifications and strongly time dependent specifications. Dataflow components are semantically modeled by sets of timed stream processing functions. Specifications describe such sets by logical formulas. We emphasize the treatment of the well-known fair merge problem and the Brock/Ackermann anomaly. We give refinement rules which allow specifications to be decomposed into networks of specifications." | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Data flow computing | |
| 650 | 4 | |a Discrete-time systems | |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4155043-2 |a Forschungsbericht |2 gnd-content | |
| 689 | 0 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Stølen, Ketil |e Verfasser |4 aut | |
| 810 | 2 | |a A |t Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht |v 1994,7 |w (DE-604)BV004627888 |9 1994,7 | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9412 |w (DE-604)BV006185376 |9 9412 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006605742 | ||
Datensatz im Suchindex
| _version_ | 1804124339901038592 |
|---|---|
| any_adam_object | |
| author | Broy, Manfred 1949- Stølen, Ketil |
| author_GND | (DE-588)109602137 |
| author_facet | Broy, Manfred 1949- Stølen, Ketil |
| author_role | aut aut |
| author_sort | Broy, Manfred 1949- |
| author_variant | m b mb k s ks |
| building | Verbundindex |
| bvnumber | BV009967251 |
| ctrlnum | (OCoLC)64519760 (DE-599)BVBBV009967251 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02341nam a2200433 cb4500</leader><controlfield tag="001">BV009967251</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941219s1994 gw d||| t||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942878205</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)64519760</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009967251</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9412</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109602137</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification and refinement of finite dataflow networks</subfield><subfield code="b">a relational approach</subfield><subfield code="c">Manfred Broy ; Ketil Stølen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">46 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9412</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A</subfield><subfield code="v">1994,7</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We specify the black box behavior of dataflow components by characterizing the relation between the input and the output histories. We distinguish between three main classes of such specifications, namely time independent specifications, weakly time dependent specifications and strongly time dependent specifications. Dataflow components are semantically modeled by sets of timed stream processing functions. Specifications describe such sets by logical formulas. We emphasize the treatment of the well-known fair merge problem and the Brock/Ackermann anomaly. We give refinement rules which allow specifications to be decomposed into networks of specifications."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data flow computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete-time systems</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4155043-2</subfield><subfield code="a">Forschungsbericht</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stølen, Ketil</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">A</subfield><subfield code="t">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht</subfield><subfield code="v">1994,7</subfield><subfield code="w">(DE-604)BV004627888</subfield><subfield code="9">1994,7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9412</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9412</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006605742</subfield></datafield></record></collection> |
| genre | (DE-588)4155043-2 Forschungsbericht gnd-content |
| genre_facet | Forschungsbericht |
| id | DE-604.BV009967251 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:44:06Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006605742 |
| oclc_num | 64519760 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-91G DE-BY-TUM |
| physical | 46 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |
| spelling | Broy, Manfred 1949- Verfasser (DE-588)109602137 aut Specification and refinement of finite dataflow networks a relational approach Manfred Broy ; Ketil Stølen München 1994 46 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9412 Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A 1994,7 Abstract: "We specify the black box behavior of dataflow components by characterizing the relation between the input and the output histories. We distinguish between three main classes of such specifications, namely time independent specifications, weakly time dependent specifications and strongly time dependent specifications. Dataflow components are semantically modeled by sets of timed stream processing functions. Specifications describe such sets by logical formulas. We emphasize the treatment of the well-known fair merge problem and the Brock/Ackermann anomaly. We give refinement rules which allow specifications to be decomposed into networks of specifications." Computer programming Data flow computing Discrete-time systems Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content Parallelverarbeitung (DE-588)4075860-6 s DE-604 Stølen, Ketil Verfasser aut A Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht 1994,7 (DE-604)BV004627888 1994,7 Technische Universität <München>: TUM-I 9412 (DE-604)BV006185376 9412 |
| spellingShingle | Broy, Manfred 1949- Stølen, Ketil Specification and refinement of finite dataflow networks a relational approach Technische Universität <München>: TUM-I Computer programming Data flow computing Discrete-time systems Parallelverarbeitung (DE-588)4075860-6 gnd |
| subject_GND | (DE-588)4075860-6 (DE-588)4155043-2 |
| title | Specification and refinement of finite dataflow networks a relational approach |
| title_auth | Specification and refinement of finite dataflow networks a relational approach |
| title_exact_search | Specification and refinement of finite dataflow networks a relational approach |
| title_full | Specification and refinement of finite dataflow networks a relational approach Manfred Broy ; Ketil Stølen |
| title_fullStr | Specification and refinement of finite dataflow networks a relational approach Manfred Broy ; Ketil Stølen |
| title_full_unstemmed | Specification and refinement of finite dataflow networks a relational approach Manfred Broy ; Ketil Stølen |
| title_short | Specification and refinement of finite dataflow networks |
| title_sort | specification and refinement of finite dataflow networks a relational approach |
| title_sub | a relational approach |
| topic | Computer programming Data flow computing Discrete-time systems Parallelverarbeitung (DE-588)4075860-6 gnd |
| topic_facet | Computer programming Data flow computing Discrete-time systems Parallelverarbeitung Forschungsbericht |
| volume_link | (DE-604)BV004627888 (DE-604)BV006185376 |
| work_keys_str_mv | AT broymanfred specificationandrefinementoffinitedataflownetworksarelationalapproach AT stølenketil specificationandrefinementoffinitedataflownetworksarelationalapproach |