Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers de Marko van Eekelen

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers: Lecture Notes in Computer Science, cartea 6324

Editat de Marko van Eekelen, Olha Shkaravska

en Limba Engleză Paperback – 9 sep 2010

Din seria Lecture Notes in Computer Science

Preț: 320^.53 lei

Preț vechi: 400^.67 lei
-20% Nou

Puncte Express: 481

:
61^.34€ • 63^.72$ • 50^.95£

Carte disponibilă

Livrare economică 13-27 ianuarie 25

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642153303
ISBN-10: 3642153305
Pagini: 170
Ilustrații: 170 p. 35 illus.
Greutate: 0.27 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.