top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Creatore [FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]
Estensione 1 online resource (141 pages) : illustrations.
Disciplina 005.1/2
Accesso persona Peña, Ricardo, 1950-
Eekelen, M. C. J. D. van.
Shkaravska, Olha
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer system performance
Software engineering
Computer software
Logic design
System Performance and Evaluation
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
ISBN 9783642324956
3642324959
9783642324949
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Higher-Order Characterization of Probabilistic Polynomial Time / Ugo Dal Lago and Paolo Parisen Toldin -- Typing a Core Binary-Field Arithmetic in a Light Logic / Emanuele Cesena, Marco Pedicini and Luca Roversi -- Interpolation-Based Height Analysis for Improving a Recurrence Solver / Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña -- Interval-Based Resource Usage Verification: Formalization and Prototype / Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno and Manuel Hermenegildo -- Certifying and Reasoning on Cost Annotations of Functional Programs / Roberto M. Amadio and Yann Régis-Gianas -- On Abstractions for Timing Analysis in the \mathbbKK Framework / Mihail Asăvoae, Irina Măriuca Asăvoae and Dorel Lucanu -- Certifying Execution Time / Vítor Rodrigues, João Pedro Pedroso, Mário Florido and Simão Melo de Sousa -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems / Christoph A. Herrmann and Kevin Hammond.
Record Nr. NYU-004623658
[FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Creatore [FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]
Estensione 1 online resource (141 pages) : illustrations.
Accesso persona Peña, Ricardo, 1950-
Eekelen, M. C. J. D. van.
Shkaravska, Olha
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer system performance
Software engineering
Computer software
Logic design
System Performance and Evaluation
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
ISBN 9783642324956
3642324959
9783642324949
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Higher-Order Characterization of Probabilistic Polynomial Time / Ugo Dal Lago and Paolo Parisen Toldin -- Typing a Core Binary-Field Arithmetic in a Light Logic / Emanuele Cesena, Marco Pedicini and Luca Roversi -- Interpolation-Based Height Analysis for Improving a Recurrence Solver / Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña -- Interval-Based Resource Usage Verification: Formalization and Prototype / Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno and Manuel Hermenegildo -- Certifying and Reasoning on Cost Annotations of Functional Programs / Roberto M. Amadio and Yann Régis-Gianas -- On Abstractions for Timing Analysis in the \mathbbKK Framework / Mihail Asăvoae, Irina Măriuca Asăvoae and Dorel Lucanu -- Certifying Execution Time / Vítor Rodrigues, João Pedro Pedroso, Mário Florido and Simão Melo de Sousa -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems / Christoph A. Herrmann and Kevin Hammond.
Record Nr. UCHICAGO-11077092
[FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Foundational and practical aspects of resource analysis : second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised selected papers / Ricardo Peña, Marko van Eekelen, Olha Shkaravska (eds.).
Creatore [FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]
Estensione 1 online resource (141 pages) : illustrations.
Disciplina 005.1/2
Accesso persona Peña, Ricardo, 1950-
Eekelen, M. C. J. D. van.
Shkaravska, Olha
Soggetto non controllato Computer science
Computer system performance
Software engineering
Computer software
Logic design
System Performance and Evaluation
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Computation by Abstract Devices
ISBN 9783642324956
3642324959
9783642324949
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Higher-Order Characterization of Probabilistic Polynomial Time / Ugo Dal Lago and Paolo Parisen Toldin -- Typing a Core Binary-Field Arithmetic in a Light Logic / Emanuele Cesena, Marco Pedicini and Luca Roversi -- Interpolation-Based Height Analysis for Improving a Recurrence Solver / Manuel Montenegro, Olha Shkaravska, Marko van Eekelen and Ricardo Peña -- Interval-Based Resource Usage Verification: Formalization and Prototype / Pedro Lopez-Garcia, Luthfi Darmawan, Francisco Bueno and Manuel Hermenegildo -- Certifying and Reasoning on Cost Annotations of Functional Programs / Roberto M. Amadio and Yann Régis-Gianas -- On Abstractions for Timing Analysis in the \mathbbKK Framework / Mihail Asăvoae, Irina Măriuca Asăvoae and Dorel Lucanu -- Certifying Execution Time / Vítor Rodrigues, João Pedro Pedroso, Mário Florido and Simão Melo de Sousa -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems / Christoph A. Herrmann and Kevin Hammond.
Record Nr. STANFORD-a9668111
[FOPARA (Workshop) (2nd : 2011 : Madrid, Spain)]  
Materiale a stampa
Lo trovi qui: Stanford University