van Eekelen / Shkaravska | Foundational and Practical Aspects of Resource Analysis | E-Book | sack.de
E-Book

E-Book, Englisch, Band 6324, 170 Seiten, eBook

Reihe: Lecture Notes in Computer Science

van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis

First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
Erscheinungsjahr 2010
ISBN: 978-3-642-15331-0
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers

E-Book, Englisch, Band 6324, 170 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-642-15331-0
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

van Eekelen, Marko
Shkaravska, Olha

Weitere Infos & Material

FOPARA 2009.- Comparing Cost Functions in Resource Analysis.- Improvements to a Resource Analysis for Hume.- A Space Consumption Analysis by Abstract Interpretation.- Global and Local Space Properties of Stream Programs.- Characterising Effective Resource Analyses for Parallel and Distributed Coordination.- Static Complexity Analysis of Higher Order Programs.- Derivational Complexity Is an Invariant Cost Model.- A Local Criterion for Polynomial-Time Stratified Computations.- Non-deterministic Boolean Proof Nets.- Polynomial Time Computation in the Context of Recursive Analysis.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.