Foundational and Practical Aspects of Resource Analysis

Ricardo Peña

ISBN 10: 3642324940 / ISBN 13: 9783642324949

Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2012, 2012

Riguardo questo articolo

Neuware -This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 156 pp. Englisch.

Codice articolo 9783642324949

Dati bibliografici

• Titolo: Foundational and Practical Aspects of Resource Analysis
• Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2012
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 3642324940
• ISBN 13: 9783642324949
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 9 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 9 millimetri di profondità
• Peso: 248 grammi

Descrizione articolo

Riassunto

This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis.