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.
ASPLOS XVIII : Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems : March 16-20, 2013, Houston, Texas, USA
| ASPLOS XVIII : Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems : March 16-20, 2013, Houston, Texas, USA |
| Autore | Sarkar Vivek |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (562 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1870-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Architectural Support for Programming Languages and Operating Systems XVIII : Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems : March 16-20, 2013, Houston, Texas, USA
Proceedings of the eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS '13 Architectural Support for Programming Languages and Operating Systems, Houston, TX, USA - March 16 - 20, 2013 |
| Record Nr. | UNINA-9910375889103321 |
Sarkar Vivek
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Compiler Construction [[electronic resource] ] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / / edited by Rastislav Bodik
| Compiler Construction [[electronic resource] ] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / / edited by Rastislav Bodik |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 308 p.) |
| Disciplina | 005.4/53 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Computer science Machine theory Software engineering Artificial intelligence Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- When Abstraction Fails -- Compilation -- Source-Level Debugging for Multiple Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class Templates -- XML Goes Native: Run-Time Representations for Xtatic -- Parallelism -- Boosting the Performance of Multimedia Applications Using SIMD Instructions -- Task Partitioning for Multi-core Network Processors -- Experiences with Enumeration of Integer Projections of Parametric Polytopes -- Generalized Index-Set Splitting -- Memory Management -- Age-Oriented Concurrent Garbage Collection -- Optimizing C Multithreaded Memory Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations -- Data Slicing: Separating the Heap into Independent Regions -- A Compiler-Based Approach to Data Security -- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules -- Verification of Source Code Transformations by Program Equivalence Checking -- Tool Demonstrations -- Hob: A Tool for Verifying Data Structure Consistency -- Jazz: A Tool for Demand-Driven Structural Testing -- Tiger – An Interpreter Generation Tool -- CodeSurfer/x86—A Platform for Analyzing x86 Executables -- Pointer Analysis -- A Study of Type Analysis for Speculative Method Inlining in a JIT Environment -- Completeness Analysis for Incomplete Object-Oriented Programs -- Using Inter-Procedural Side-Effect Information in JIT Optimizations. |
| Record Nr. | UNINA-9910484504503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Compiler Construction [[electronic resource] ] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / / edited by Rastislav Bodik
| Compiler Construction [[electronic resource] ] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / / edited by Rastislav Bodik |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 308 p.) |
| Disciplina | 005.4/53 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Compilers (Computer programs)
Computer science Machine theory Software engineering Artificial intelligence Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- When Abstraction Fails -- Compilation -- Source-Level Debugging for Multiple Languages with Modest Programming Effort -- Compilation of Generic Regular Path Expressions Using C++ Class Templates -- XML Goes Native: Run-Time Representations for Xtatic -- Parallelism -- Boosting the Performance of Multimedia Applications Using SIMD Instructions -- Task Partitioning for Multi-core Network Processors -- Experiences with Enumeration of Integer Projections of Parametric Polytopes -- Generalized Index-Set Splitting -- Memory Management -- Age-Oriented Concurrent Garbage Collection -- Optimizing C Multithreaded Memory Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations -- Data Slicing: Separating the Heap into Independent Regions -- A Compiler-Based Approach to Data Security -- Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules -- Verification of Source Code Transformations by Program Equivalence Checking -- Tool Demonstrations -- Hob: A Tool for Verifying Data Structure Consistency -- Jazz: A Tool for Demand-Driven Structural Testing -- Tiger – An Interpreter Generation Tool -- CodeSurfer/x86—A Platform for Analyzing x86 Executables -- Pointer Analysis -- A Study of Type Analysis for Speculative Method Inlining in a JIT Environment -- Completeness Analysis for Incomplete Object-Oriented Programs -- Using Inter-Procedural Side-Effect Information in JIT Optimizations. |
| Record Nr. | UNISA-996465700603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
POPL '16 : proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA / / edited by Rastislav Bodik and Rupak Majumdar ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACT
| POPL '16 : proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA / / edited by Rastislav Bodik and Rupak Majumdar ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACT |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (815 pages) |
| Disciplina | 005.13 |
| Soggetto topico | Programming languages (Electronic computers) |
| ISBN | 1-4503-3549-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Principles of Programming Languages '16 : proceedings of the 43rd annual Association for Computing Machinery Special Interest Group on Programming Languages-Special Interest Group on Algorithms and Computation Theory Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, Florida, United States of America
Principles of Programming Languages 2016 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Proceedings of the 43rd annual Association for Computing Machinery Special Interest Group on Programming Languages-Special Interest Group on Algorithms and Computation Theory Symposium on Principles of Programming Languages |
| Record Nr. | UNINA-9910376535303321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems
| Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems |
| Autore | Bodik Rastislav |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2001 |
| Descrizione fisica | 1 online resource (250 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2001 Association for Computing Machinery Special Interest Group on Programming Languages Workshop on Optimization of Middleware and Distributed Systems
OM '01 Workshop on Optimization of Middleware and Distributed Systems (co-located with ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation - PLDI), Snowbird, UT, USA - June 18, 2001 |
| Record Nr. | UNINA-9910376228703321 |
|
Bodik Rastislav
|
||
| [Place of publication not identified], : ACM, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||