Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Hochschulschrift/Dissertation Buch |
| Sprache: | Deutsch |
| Veröffentlicht: |
2006
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015056764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Umfang: | IX, 254 S. Ill., graph. Darst. 30 cm |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021875790 | ||
| 003 | DE-604 | ||
| 005 | 20061228 | ||
| 007 | t| | ||
| 008 | 061207s2006 gw ad|| m||| 00||| ger d | ||
| 015 | |a 06,H12,0028 |2 dnb | ||
| 016 | 7 | |a 981551025 |2 DE-101 | |
| 035 | |a (OCoLC)162323839 | ||
| 035 | |a (DE-599)BVBBV021875790 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-355 |a DE-29T |a DE-12 | ||
| 082 | 0 | |a 005.453 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Wagner, Jens |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse |c Jens Wagner |
| 264 | 1 | |c 2006 | |
| 300 | |a IX, 254 S. |b Ill., graph. Darst. |c 30 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Dortmund, Univ., Diss., 2006 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015056764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015056764 | |
Datensatz im Suchindex
| _version_ | 1819355182560968704 |
|---|---|
| adam_text | RETARGIERBARE AUSNUTZUNG VON SPEZIALOPERATIONEN FUER EINGEBETTETE SYSTEME
MIT HILFE BITGENAUER WERTFLUSSANALYSE DISSERTATION ZUR ERLANGUNG DES
GRADES EINES DOKTORS DER NATURWISSENSCHAFTEN DER UNIVERSITAET DORTMUND AM
FACHBEREICH INFORMATIK JENS WAGNER DORTMUND 2006 ULB DARMSTADT
1IINI1IIIII 16340413 INHALTSVERZEICHNIS 1 EINLEITUNG 1 1.1 MOTIVATION 1
1.2 INTEGRATION VON OPTIMIERUNGEN IN ENTWURFSWERKZEUGE 4 1.2.1
SOFTWAREENTWURFSPROZESS 4 1.2.2 COMPILER 7 1.2.3 RELATIVE ANORDNUNG VON
OPTIMIERUNGEN ZUM COMPILER . . 8 1.3 SPEZIALOPERATIONEN 10 1.4
ANWENDUNGSSCHWERPUNKTE 13 1.4.1 PROTOKOLLVERARBEITUNG 13 1.4.2
STEUERAUFGABEN 21 1.4.3 DIGITALE SIGNALVERARBEITUNG 26 1.4.4
KRYPTOGRAPHIE 31 1.5 PROBLEMSTELLUNG 32 1.6 BETRAEGE DER VORLIEGENDEN
ARBEIT 34 1.7 UEBERBLICK 37 2 TECHNIKEN ZUR AUSNUTZUNG
APPLIKATIONSSPEZIFISCHER OPERATIONEN UND DATENTYPEN IN HOCHSPRACHEN 39
VI INHALTSVERZEICHNIS 2.1 UEBERBLICK 39 2.2 KENNZEICHNUNG VON
SPEZIALOPERATIONEN IM QUELLTEXT 44 2.2.1 PROBLEMSPEZIFISCHE SPRACHEN 44
2.2.2 SPRACHERWEITERUNGEN 47 2.3 INLINE-ASSEMBLER 50 2.4 BESCHREIBUNG
VON SPEZIALOPERATIONEN IM QUELLTEXT 53 2.4.1 BESCHREIBUNG IN KOMPLEXEN
AUSDRUECKEN 53 2.4.2 KAPSELUNG IN FUNKTIONEN ODER MAKROIMPLEMENTIERUNGEN
55 2.5 UNTERSTUETZUNG SPEZIALISIERTER OPERATIONEN BEIM ENTWURF EINES
COMPILERS 59 2.5.1 CODEAUSWAHL 60 2.5.2 OPTIMIERUNGEN AUF BASIS VON
MASCHINENSPRACHE 76 2.5.3 REGISTERALLOKATION 78 2.5.4 UNTERSTUETZUNG
INDIREKTER ADRESSIERUNG 84 3 DATEN- UND WERTFLUSSANALYSE MIT HOHER
AUFLOESUNG 97 3.1 UEBERBLICK 97 3.2 DYNAMISCHE DATENFLUSSANALYSE 103 3.3
STATISCHE VERFAHREN 105 3.3.1 EINFUEHRUNG IN DIE BIDIREKTIONALER ANALYSE
105 3.3.2 INTERVALLVERFAHREN 108 3.3.3 BITPAKET-BASIERTE ANALYSE 112
3.3.4 EINZELBITVERFAHREN 114 3.3.5 ANWENDUNG VON EINZELBITVERFAHREN AUF
KOMPLEXE OPERA- TIONEN 129 INHALTSVERZEICHNIS VII 4 EINE RETARGIERBARE
UMGEBUNG FUER BITGENAUE ANALYSETECHNIKEN 133 4.1 STRUKTUR 133 4.2 DAS
FRONTEND 134 4.2.1 LANCE 135 4.2.2 ICD-C 136 4.3 DAS BACKEND 137 4.3.1
UEBERBLICK 137 4.3.2 INNERE STRUKTUR 139 4.3.3 KAPSELUNG
PROZESSORSPEZIFISCHER PARAMETER 147 4.4 BITGENAUE DATEN-UND
WERTFLUSSANALYSE (BDWFA) 151 4.4.1 UEBERBLICK 152 4.4.2 DARSTELLUNG DES
GRAPHEN 153 4.4.3 IMPLEMENTIERUNG DER KANTENINFORMATION 155 4.4.4
ABFRAGE DER KANTENINFORMATIONEN 158 4.4.5 VORWAERTSARITHMETIK 160 4.4.6
RUECKWAERTSARITHMETIK 166 4.4.7 SIMULATION DER OPERATIONEN IN 5 169 4.4.8
BERECHNUNG DER KANTENINFORMATIONEN DES GRAPHEN .... 173 4.4.9
TERMINATIONSVERHALTEN 178 4.4.10 BESCHLEUNIGUNG DER BERECHNUNG 182
4.4.11 GENAUIGKEIT 185 4.4.12 RETARGIERBARKEIT 185 4.4.13 GRAFISCHE
DARSTELLUNG DES WERTFLUSSES 187 5 AUSNUTZUNG IN OPTIMIERUNGEN 191 VIII
INHALTSVERZEICHNIS 5.1 OPTIMIERUNGEN AUF BASIS VON BAUMUEBERDECKUNG 194
5.2 SUCHE IN GRAPHEN 199 5.3 BASISOPTIMIERUNGEN 201 5.3.1 ENTFERNUNG
NICHT BENOETIGTEN CODES 201 5.3.2 EINFUEGE- UND EXTRAKTIONSOPERATIONEN 204
5.3.3 FALTEN VON KONSTANTEN 206 5.3.4 PROPAGIERUNG VON KONSTANTEN 208
5.3.5 PROPAGIERUNG VON KOPIEN 209 5.3.6 NULL OPERATIONEN ELIMINATION 210
5.3.7 TYPREDUKTION 211 5.3.8 UNTERSTUETZUNG VON ROTATIONSOPERATIONEN 213
5.3.9 ERGEBNISSE 214 5.4 KOMPLEXE OPERATIONEN 218 5.4.1 MISCHOPERATIONEN
218 5.4.2 ADDRESSBERECHNUNG FUER FFT 220 5.4.3 GRENZEN BEI DER ERKENNUNG
KOMPLEXER OPERATIONEN .... 223 5.5 RETARGIERBARE OPTIMIERUNGEN UND
WIEDERVERWENDBARKEIT VON ENTWICKLUNGSWERKZEUGEN 226 5.6 SONDERFALL DER
OPTIMIERUNG VON HOCHSPRACHENQUELLCODE 229 6 ZUSAMMENFASSUNG UND AUSBLICK
233 A 237 A. 1 ANTEIL DES AUTORS AN DEN IN DER VORLIEGENDEN ARBEIT
DARGELEGTEN ERGEBNISSEN 237 A.2 ANMERKUNGEN ZU NOTATION UND DARSTELLUNG
238
|
| any_adam_object | 1 |
| author | Wagner, Jens |
| author_facet | Wagner, Jens |
| author_role | aut |
| author_sort | Wagner, Jens |
| author_variant | j w jw |
| building | Verbundindex |
| bvnumber | BV021875790 |
| ctrlnum | (OCoLC)162323839 (DE-599)BVBBV021875790 |
| 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 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01256nam a2200337 c 4500</leader><controlfield tag="001">BV021875790</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061228 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">061207s2006 gw ad|| m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">06,H12,0028</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">981551025</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162323839</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021875790</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</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-12</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wagner, Jens</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse</subfield><subfield code="c">Jens Wagner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 254 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">30 cm</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="502" ind1=" " ind2=" "><subfield code="a">Dortmund, Univ., Diss., 2006</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=015056764&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-015056764</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021875790 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T12:43:22Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015056764 |
| oclc_num | 162323839 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-29T DE-12 |
| owner_facet | DE-355 DE-BY-UBR DE-29T DE-12 |
| physical | IX, 254 S. Ill., graph. Darst. 30 cm |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| record_format | marc |
| spellingShingle | Wagner, Jens Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse |
| subject_GND | (DE-588)4113937-9 |
| title | Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse |
| title_auth | Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse |
| title_exact_search | Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse |
| title_full | Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse Jens Wagner |
| title_fullStr | Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse Jens Wagner |
| title_full_unstemmed | Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse Jens Wagner |
| title_short | Retargierbare Ausnutzung von Spezialoperationen für eingebettete Systeme mit Hilfe bitgenauer Wertflussanalyse |
| title_sort | retargierbare ausnutzung von spezialoperationen fur eingebettete systeme mit hilfe bitgenauer wertflussanalyse |
| topic_facet | Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015056764&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT wagnerjens retargierbareausnutzungvonspezialoperationenfureingebettetesystememithilfebitgenauerwertflussanalyse |