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.
CSERC '16 : proceedings CSERC 2016 : Computer Science Education Research Conference : July 5 and 6, 2016, Pretoria, South Africa / / Vreda Pieterse, M. C. J. D. van Eekelen
| CSERC '16 : proceedings CSERC 2016 : Computer Science Education Research Conference : July 5 and 6, 2016, Pretoria, South Africa / / Vreda Pieterse, M. C. J. D. van Eekelen |
| Autore | Pieterse Vreda |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (52 pages) |
| Disciplina | 004 |
| Soggetto topico | Computer science |
| ISBN | 1-4503-4492-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910376426703321 |
Pieterse Vreda
|
||
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / / edited by Marko van Eekelen, Ugo Dal Lago
| Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / / edited by Marko van Eekelen, Ugo Dal Lago |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 127 p. 30 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Computer system failures Mathematical statistics Computer logic Software engineering Computer simulation Information Systems Applications (incl. Internet) System Performance and Evaluation Probability and Statistics in Computer Science Logics and Meanings of Programs Software Engineering Simulation and Modeling |
| ISBN | 3-319-46559-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | May-Happen-in-Parallel Analysis with Condition Synchronization -- Using dependent types to dene energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types -- Probabilistic Resource Analysis by Program Transformation -- Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR -- Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. . |
| Record Nr. | UNISA-996465380603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / / edited by Marko van Eekelen, Ugo Dal Lago
| Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / / edited by Marko van Eekelen, Ugo Dal Lago |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (IX, 127 p. 30 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Application software
Computer system failures Mathematical statistics Computer logic Software engineering Computer simulation Information Systems Applications (incl. Internet) System Performance and Evaluation Probability and Statistics in Computer Science Logics and Meanings of Programs Software Engineering Simulation and Modeling |
| ISBN | 3-319-46559-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | May-Happen-in-Parallel Analysis with Condition Synchronization -- Using dependent types to dene energy augmented semantics of programs -- Call-by-value, Elementary Time and Intersection Types -- Probabilistic Resource Analysis by Program Transformation -- Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR -- Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. . |
| Record Nr. | UNINA-9910483156003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska
| Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (VII, 143 p. 30 illus.) |
| Disciplina | 004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Algorithms Computer logic Software engineering Programming languages (Electronic computers) Computers System Performance and Evaluation Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-32495-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. |
| Record Nr. | UNISA-996465311203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers / / edited by Marko van Eekelen, Olha Shkaravska
| Foundational and Practical Aspects of Resource Analysis : First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers / / edited by Marko van Eekelen, Olha Shkaravska |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (170 p. 35 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Algorithms Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Algorithm Analysis and Problem Complexity Programming Techniques |
| ISBN |
1-280-38850-1
9786613566423 3-642-15331-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465966903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / / edited by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
| Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings / / edited by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XI, 383 p.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Compilers (Computer programs) Artificial intelligence Computer programming Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence Programming Techniques |
| ISBN | 3-642-22863-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards verification of product lines (abstract) / Don Batory -- Advances in the formalization of the odd order theorem / Georges Gonthier -- Logical formalisation and analysis of the Mifare classic card in PVS / Bart Jacobs, Ronny Wichers Schreur. |
| Record Nr. | UNISA-996466054603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings, CSERC '11 : Computer Science Education Research Conference : Heerlen, the Netherlands, April 7 and 8, 2011
| Proceedings, CSERC '11 : Computer Science Education Research Conference : Heerlen, the Netherlands, April 7 and 8, 2011 |
| Autore | van der Veer Gerrit |
| Pubbl/distr/stampa | [Place of publication not identified], : Open Universiteit, 2011 |
| Descrizione fisica | 1 online resource (90 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings, Computer Science Education Research Conference '11
Computer Science Education Research Conference CSERC '11 Computer Science Education Research Conference, Heerlen, Netherlands - April 07 - 08, 2011 |
| Record Nr. | UNINA-9910376108803321 |
|
van der Veer Gerrit
|
||
| [Place of publication not identified], : Open Universiteit, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trends in functional programming . Volume 6 / / edited by Marko van Eekelen
| Trends in functional programming . Volume 6 / / edited by Marko van Eekelen |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Bristol ; ; Portland, Ore., : Intellect, 2007 |
| Descrizione fisica | 1 online resource (240 p.) |
| Disciplina | 005.1/1 |
| Altri autori (Persone) | EekelenM. C. J. D. van |
| Collana | Trends in functional programming |
| Soggetto topico |
Functional programming (Computer science)
Computer programming |
| ISBN |
1-281-18742-9
9786611187422 1-84150-990-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Preliminary Pages; Contents; Best Student Paper: A New Approach to One-Pass Transformations; A Static Checker for Safe Pattern Matching in Haskell; Software Metrics: Measuring Haskell; Type-Specialized Serialization with Sharing; Logical Relations for Call-by-value Delimited Continuations; Epigram Reloaded: A Standalone Typechecker for ETT; Formalisation of Haskell Refactorings; Systematic Search for Lambda Expressions; First-Class Open and Closed Code Fragments; Comonadic Functional Attribute Evaluation; Generic Generation of the Elements of Data Types
Extensible Record with Scoped LabelsProject Start Paper: The Embounded Project; Project Evaluation Paper: Mobile Resource Guarantees; Back Cover |
| Record Nr. | UNINA-9910339052603321 |
| Bristol ; ; Portland, Ore., : Intellect, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||