Flow Facts für WCET-optimierende Compiler: Modellierung und Transformation
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Saarbrücken
VDM Verlag Dr. Müller
2007
|
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 119 - 121 |
| Beschreibung: | V, 124 S. graph. Darst. |
| ISBN: | 9783836448130 3836448130 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035149053 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 081110s2007 gw d||| |||| 00||| ger d | ||
| 015 | |a 07,N51,0036 |2 dnb | ||
| 015 | |a 08,A35,0062 |2 dnb | ||
| 016 | 7 | |a 986496723 |2 DE-101 | |
| 020 | |a 9783836448130 |c kart. : EUR 49.00, sfr 83.00 |9 978-3-8364-4813-0 | ||
| 020 | |a 3836448130 |c kart. : EUR 49.00, sfr 83.00 |9 3-8364-4813-0 | ||
| 024 | 3 | |a 9783836448130 | |
| 035 | |a (OCoLC)244289561 | ||
| 035 | |a (DE-599)DNB986496723 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-SL | ||
| 049 | |a DE-703 | ||
| 082 | 0 | |a 005.453 |2 22/ger | |
| 084 | |a ST 255 |0 (DE-625)143629: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Schulte, Daniel |e Verfasser |0 (DE-588)120132591 |4 aut | |
| 245 | 1 | 0 | |a Flow Facts für WCET-optimierende Compiler |b Modellierung und Transformation |c Daniel Schulte |
| 264 | 1 | |a Saarbrücken |b VDM Verlag Dr. Müller |c 2007 | |
| 300 | |a V, 124 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 119 - 121 | ||
| 650 | 0 | 7 | |a Compiler |0 (DE-588)4148248-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Worst-Case-Laufzeit |0 (DE-588)4732657-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statistische Analyse |0 (DE-588)4116599-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kontrollfluss |0 (DE-588)4131769-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | 1 | |a Compiler |0 (DE-588)4148248-7 |D s |
| 689 | 0 | 2 | |a Worst-Case-Laufzeit |0 (DE-588)4732657-8 |D s |
| 689 | 0 | 3 | |a Kontrollfluss |0 (DE-588)4131769-5 |D s |
| 689 | 0 | 4 | |a Statistische Analyse |0 (DE-588)4116599-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3029080&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016956320&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-016956320 | |
Datensatz im Suchindex
| _version_ | 1805091408402448384 |
|---|---|
| adam_text |
I N HA ITSVERZEICH N IS 1 EINFUEHRUNG 1 1.1 MOTIVATION 1 1.2 ZIEL DIESER
ARBEIT 2 1.3 AUFBAU DES BUCHES 3 2 WCET-ANALYSE 5 2.1 KONTROLLFLUSS UND
WCET 5 2.2 BERECHNUNG DER WCET 7 2.2.1 ANFORDERUNGEN AN DIE
APPROXIMATION 8 2.2.2 TECHNIKEN ZUR APPROXIMATION 8 2.3 TOOL ZUR
BERECHNUNG DER WCETEST 9 2.3.1 ANALYSE DURCH AIT 10 2.3.2 ANNOTATIONEN
FUER AIT 11 2.3.3 BERECHNUNGSMODELL VON AIT 11 2.4 INFORMATIONEN ZUR
WCET-APPROXIMATION 12 3 WCET-OPTIMIERENDE COMPILER 15 3.1 WCC 15 3.1.1
ICD-C 16 3.1.2 ICD-LLIR 19 3.1.3 LLIR CODE SELECTOR 21 3.1.4 EINBINDUNG
DER WCET-ANALYSE 21 3.2 PROBLEMSTELLUNG 22 3.3 LOESUNGSANSATZ 23 4
MODELLIERUNG VON FLOW FACTS 27 4.1 ANNOTATIONEN ZUR WCETEST-BERECHNUNG
27 4.2 DEFINITION VON FLOW FACTS 28 4.3 FLOW FACTS IN DER LITERATUR 28
4.4 DESIGNANFORDERUNGEN 30 4.5 DESIGN DER FLOW FACTS 31 4.5.1
HILFSANNOTATIONEN 34 4.5.2 FLOWRESTRICTIONS 35 4.5.3 LOOPBOUNDS 38 4.6
DATENSTRUKTUR 41 5 TRANSFORMATION VON FLOW FACTS 45 5.1 TRANSFORMATIONEN
IN DER LITERATUR 46 GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/986496723 DIGITALISIERT DURCH |
| adam_txt |
I N HA ITSVERZEICH N IS 1 EINFUEHRUNG 1 1.1 MOTIVATION 1 1.2 ZIEL DIESER
ARBEIT 2 1.3 AUFBAU DES BUCHES 3 2 WCET-ANALYSE 5 2.1 KONTROLLFLUSS UND
WCET 5 2.2 BERECHNUNG DER WCET 7 2.2.1 ANFORDERUNGEN AN DIE
APPROXIMATION 8 2.2.2 TECHNIKEN ZUR APPROXIMATION 8 2.3 TOOL ZUR
BERECHNUNG DER WCETEST 9 2.3.1 ANALYSE DURCH AIT 10 2.3.2 ANNOTATIONEN
FUER AIT 11 2.3.3 BERECHNUNGSMODELL VON AIT 11 2.4 INFORMATIONEN ZUR
WCET-APPROXIMATION 12 3 WCET-OPTIMIERENDE COMPILER 15 3.1 WCC 15 3.1.1
ICD-C 16 3.1.2 ICD-LLIR 19 3.1.3 LLIR CODE SELECTOR 21 3.1.4 EINBINDUNG
DER WCET-ANALYSE 21 3.2 PROBLEMSTELLUNG 22 3.3 LOESUNGSANSATZ 23 4
MODELLIERUNG VON FLOW FACTS 27 4.1 ANNOTATIONEN ZUR WCETEST-BERECHNUNG
27 4.2 DEFINITION VON FLOW FACTS 28 4.3 FLOW FACTS IN DER LITERATUR 28
4.4 DESIGNANFORDERUNGEN 30 4.5 DESIGN DER FLOW FACTS 31 4.5.1
HILFSANNOTATIONEN 34 4.5.2 FLOWRESTRICTIONS 35 4.5.3 LOOPBOUNDS 38 4.6
DATENSTRUKTUR 41 5 TRANSFORMATION VON FLOW FACTS 45 5.1 TRANSFORMATIONEN
IN DER LITERATUR 46 GESCANNT DURCH BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/986496723 DIGITALISIERT DURCH |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Schulte, Daniel |
| author_GND | (DE-588)120132591 |
| author_facet | Schulte, Daniel |
| author_role | aut |
| author_sort | Schulte, Daniel |
| author_variant | d s ds |
| building | Verbundindex |
| bvnumber | BV035149053 |
| classification_rvk | ST 255 |
| ctrlnum | (OCoLC)244289561 (DE-599)DNB986496723 |
| dewey-full | 005.453 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.453 |
| dewey-search | 005.453 |
| dewey-sort | 15.453 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV035149053</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">081110s2007 gw d||| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N51,0036</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">08,A35,0062</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">986496723</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783836448130</subfield><subfield code="c">kart. : EUR 49.00, sfr 83.00</subfield><subfield code="9">978-3-8364-4813-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3836448130</subfield><subfield code="c">kart. : EUR 49.00, sfr 83.00</subfield><subfield code="9">3-8364-4813-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783836448130</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)244289561</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB986496723</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-SL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.453</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 255</subfield><subfield code="0">(DE-625)143629:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schulte, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120132591</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Flow Facts für WCET-optimierende Compiler</subfield><subfield code="b">Modellierung und Transformation</subfield><subfield code="c">Daniel Schulte</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken</subfield><subfield code="b">VDM Verlag Dr. Müller</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">V, 124 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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 119 - 121</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Worst-Case-Laufzeit</subfield><subfield code="0">(DE-588)4732657-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Compiler</subfield><subfield code="0">(DE-588)4148248-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Worst-Case-Laufzeit</subfield><subfield code="0">(DE-588)4732657-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Statistische Analyse</subfield><subfield code="0">(DE-588)4116599-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3029080&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016956320&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016956320</subfield></datafield></record></collection> |
| id | DE-604.BV035149053 |
| illustrated | Illustrated |
| index_date | 2024-07-02T22:45:57Z |
| indexdate | 2024-07-20T09:55:13Z |
| institution | BVB |
| isbn | 9783836448130 3836448130 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016956320 |
| oclc_num | 244289561 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | V, 124 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | VDM Verlag Dr. Müller |
| record_format | marc |
| spelling | Schulte, Daniel Verfasser (DE-588)120132591 aut Flow Facts für WCET-optimierende Compiler Modellierung und Transformation Daniel Schulte Saarbrücken VDM Verlag Dr. Müller 2007 V, 124 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 119 - 121 Compiler (DE-588)4148248-7 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Worst-Case-Laufzeit (DE-588)4732657-8 gnd rswk-swf Statistische Analyse (DE-588)4116599-8 gnd rswk-swf Kontrollfluss (DE-588)4131769-5 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 s Compiler (DE-588)4148248-7 s Worst-Case-Laufzeit (DE-588)4732657-8 s Kontrollfluss (DE-588)4131769-5 s Statistische Analyse (DE-588)4116599-8 s DE-604 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3029080&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016956320&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schulte, Daniel Flow Facts für WCET-optimierende Compiler Modellierung und Transformation Compiler (DE-588)4148248-7 gnd Echtzeitsystem (DE-588)4131397-5 gnd Worst-Case-Laufzeit (DE-588)4732657-8 gnd Statistische Analyse (DE-588)4116599-8 gnd Kontrollfluss (DE-588)4131769-5 gnd |
| subject_GND | (DE-588)4148248-7 (DE-588)4131397-5 (DE-588)4732657-8 (DE-588)4116599-8 (DE-588)4131769-5 |
| title | Flow Facts für WCET-optimierende Compiler Modellierung und Transformation |
| title_auth | Flow Facts für WCET-optimierende Compiler Modellierung und Transformation |
| title_exact_search | Flow Facts für WCET-optimierende Compiler Modellierung und Transformation |
| title_exact_search_txtP | Flow Facts für WCET-optimierende Compiler Modellierung und Transformation |
| title_full | Flow Facts für WCET-optimierende Compiler Modellierung und Transformation Daniel Schulte |
| title_fullStr | Flow Facts für WCET-optimierende Compiler Modellierung und Transformation Daniel Schulte |
| title_full_unstemmed | Flow Facts für WCET-optimierende Compiler Modellierung und Transformation Daniel Schulte |
| title_short | Flow Facts für WCET-optimierende Compiler |
| title_sort | flow facts fur wcet optimierende compiler modellierung und transformation |
| title_sub | Modellierung und Transformation |
| topic | Compiler (DE-588)4148248-7 gnd Echtzeitsystem (DE-588)4131397-5 gnd Worst-Case-Laufzeit (DE-588)4732657-8 gnd Statistische Analyse (DE-588)4116599-8 gnd Kontrollfluss (DE-588)4131769-5 gnd |
| topic_facet | Compiler Echtzeitsystem Worst-Case-Laufzeit Statistische Analyse Kontrollfluss |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3029080&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016956320&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schultedaniel flowfactsfurwcetoptimierendecompilermodellierungundtransformation |