Specification and refinement of finite dataflow networks: a relational approach
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
München
1994
|
| Series: | Technische Universität <München>: TUM-I
9412 |
| Subjects: | |
| Abstract: | 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." |
| Physical Description: | 46 S. graph. Darst. |
Staff View
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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006605742 | |
Record in the Search Index
| DE-BY-TUM_call_number | 0111 2001 B 6080-1994,12 |
|---|---|
| DE-BY-TUM_katkey | 1457387 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010620316 |
| _version_ | 1821932844411256834 |
| 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>02342nam 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="943" ind1="1" 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-12-20T09:45:23Z |
| 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 |
| 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 |
Order paper/chapter scan
Branch Library Mathematics & Informatics, Reports
| Call Number: |
0111 2001 B 6080-1994,12
Floor plan |
|---|---|
| Copy 1 | Available for loan On Shelf |