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.
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 | |