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

Gespeichert in:

Personen und Körperschaften:	Eekelen, Marko C. van (HerausgeberIn), Shkaravska, Olha (HerausgeberIn)
Titel:	Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers/ edited by Marko Eekelen, Olha Shkaravska
Format:	E-Book Konferenzbericht
Sprache:	Englisch
veröffentlicht:	Berlin, Heidelberg Springer Berlin Heidelberg 2010
Gesamtaufnahme:	SpringerLink Lecture notes in computer science ; 6324
Schlagwörter:	Computer Communication Networks Computer software Logic design Computer Science Computer science Software engineering Compilers (Computer programs). Computer networks . Algorithms. Computer programming. Konferenzschrift > 2009 > Eindhoven
Buchausg. u.d.T.:	Foundational and practical aspects of resource analysis, Berlin : Springer, 2010, VIII, 162 S.
Quelle:	Verbunddaten SWB
Zugangsinformationen:	Elektronischer Volltext - Campuslizenz

Details
Zusammenfassung:	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.
Umfang:	Online-Ressource (170p. 35 illus, digital)
ISBN:	9783642153310
DOI:	10.1007/978-3-642-15331-0