Custom cover image
Custom cover image

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

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 6324Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: Online-Ressource (170p. 35 illus, digital)ISBN:
  • 9783642153310
Subject(s): Genre/Form: Additional physical formats: 9783642153303 | Buchausg. u.d.T.: Foundational and practical aspects of resource analysis. Berlin : Springer, 2010. VIII, 162 S.DDC classification:
  • 004.0151
  • 005.131
  • 005.1
  • 004
  • 004
MSC: MSC: *68-06 | 68Nxx | 68Qxx | 00B25LOC classification:
  • QA76.758
  • QA76.76.D47
DOI: DOI: 10.1007/978-3-642-15331-0Online resources: Summary: 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.PPN: PPN: 1650229062Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB | ZDB-2-LNC
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT