Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexität funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu übersetzen, dessen Lösung das Zeitverhalten des Programms angibt. Durch Einführung von bedingten Rekurrenzen und Rekurrenzfamilien ist es möglich, obere und untere Schranken für die Zeitkomplexität zu finden. Um die mittlere Zeitkomplexität zu bestimmen, müssen Wahrscheinlichkeiten dafür berechnet werden, daß im Programm vorkommende Bedingungen wahr bzw. falsch werden. Diese Wahrscheinlichkeiten werden anhand einer probabilistischen Semantik des Programms berechnet. Um möglichst genaue Schranken für die Zeitkomplexität zu erhalten, muß eine Abhängigkeitsanalyse durchgeführt werden. Dies ermöglicht eine genaue Analyse von Divide-and-Conquer-Programmen.
Aktualisiert: 2022-03-11
> findR *
Dieses Buch ist ein einführendes Lehrbuch in die Konzepte höherer Programmiersprachen. Die einzelnen Themen werden ausführlich behandelt - durch Übungsaufgaben am Ende eines jeden Kapitels kann der Wissensstand überprüft werden. Die Lösungen zu den Übungsaufgaben werden online bereitgestellt.
Aktualisiert: 2021-08-26
> findR *
Dieses Buch ist ein einführendes Lehrbuch in die Konzepte höherer Programmiersprachen. Die einzelnen Themen werden ausführlich behandelt - durch Übungsaufgaben am Ende eines jeden Kapitels kann der Wissensstand überprüft werden. Die Lösungen zu den Übungsaufgaben werden online bereitgestellt.
Aktualisiert: 2021-08-26
> findR *
Aktualisiert: 2023-03-14
> findR *
Aktualisiert: 2023-03-14
> findR *
Dieses Buch ist ein einführendes Lehrbuch in die Konzepte höherer Programmiersprachen. Die einzelnen Themen werden ausführlich behandelt - durch Übungsaufgaben am Ende eines jeden Kapitels kann der Wissensstand überprüft werden. Die Lösungen zu den Übungsaufgaben werden online bereitgestellt.
Aktualisiert: 2021-08-26
> findR *
Aktualisiert: 2023-04-04
> findR *
Aktualisiert: 2023-04-04
> findR *
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexität funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu übersetzen, dessen Lösung das Zeitverhalten des Programms angibt. Durch Einführung von bedingten Rekurrenzen und Rekurrenzfamilien ist es möglich, obere und untere Schranken für die Zeitkomplexität zu finden. Um die mittlere Zeitkomplexität zu bestimmen, müssen Wahrscheinlichkeiten dafür berechnet werden, daß im Programm vorkommende Bedingungen wahr bzw. falsch werden. Diese Wahrscheinlichkeiten werden anhand einer probabilistischen Semantik des Programms berechnet. Um möglichst genaue Schranken für die Zeitkomplexität zu erhalten, muß eine Abhängigkeitsanalyse durchgeführt werden. Dies ermöglicht eine genaue Analyse von Divide-and-Conquer-Programmen.
Aktualisiert: 2023-04-04
> findR *
MEHR ANZEIGEN
Bücher von Zimmermann, Wolf
Sie suchen ein Buch oder Publikation vonZimmermann, Wolf ? Bei Buch findr finden Sie alle Bücher Zimmermann, Wolf.
Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher
von Zimmermann, Wolf im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch oder die
Publiketion für Ihr Lesevergnügen oder Ihr Interessensgebiet. Stöbern Sie durch unser Angebot und finden Sie aus
unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und
populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zu Ihrem Thema einfach online und lassen Sie es sich
bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch
von Zimmermann, Wolf .
Zimmermann, Wolf - Große Auswahl an Publikationen bei Buch findr
Bei uns finden Sie Bücher aller beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher
von Zimmermann, Wolf die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten
vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher
verschiedenster Genres, Verlage, Schlagworte Genre bei Buchfindr:
Unser Repertoire umfasst Bücher von
- Zimmermann1, Olaf
- Zimmermanns, Camilla
- Zimmermanns, Klaus
- Zimmermanns, Sammy
- Zimmermanns, Thomas
- Zimmermeier, Markus
- Zimmermqann, Gerd
- Zimmern, H.
- Zimmern, Heinrich
- Zimmernann, Wolf D
Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie
unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien
zu finden. Neben Büchern von Zimmermann, Wolf und Büchern aus verschiedenen Kategorien finden Sie schnell und
einfach auch eine Auflistung thematisch passender Publikationen. Probieren Sie es aus, legen Sie jetzt los! Ihrem
Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die
bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen,
Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen
das Team von Buchfindr.
