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.
Compiler Construction [[electronic resource] ] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / / edited by Rajiv Gupta
| Compiler Construction [[electronic resource] ] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings / / edited by Rajiv Gupta |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 326 p. 119 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Compilers (Computer programs) Computer programming Machine theory Software Engineering Computer Communication Networks Compilers and Interpreters Programming Techniques Formal Languages and Automata Theory |
| ISBN |
1-280-38583-9
9786613563750 3-642-11970-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. |
| Record Nr. | UNISA-996465340003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Compiler construction : 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / / Rajiv Gupta (ed.)
| Compiler construction : 19th international conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / / Rajiv Gupta (ed.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2010 |
| Descrizione fisica | 1 online resource (XII, 326 p. 119 illus.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | GuptaRajiv |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Compilers (Computer programs)
Systems software |
| ISBN |
1-280-38583-9
9786613563750 3-642-11970-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Programming Clouds -- Optimization Techniques -- Mining Opportunities for Code Improvement in a Just-In-Time Compiler -- Unrestricted Code Motion: A Program Representation and Transformation Algorithms Based on Future Values -- Optimizing Matlab through Just-In-Time Specialization -- RATA: Rapid Atomic Type Analysis by Abstract Interpretation – Application to JavaScript Optimization -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local Transformations on Relaxed Memory Models -- Program Analysis -- Practical Extensions to the IFDS Algorithm -- Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs -- Register Allocation -- Punctual Coalescing -- Strategies for Predicate-Aware Register Allocation -- Preference-Guided Register Assignment -- High-Performance Systems -- Validating Register Allocation and Spilling -- Automatic C-to-CUDA Code Generation for Affine Programs -- Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors? -- The Polyhedral Model Is More Widely Applicable Than You Think -- The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations. |
| Record Nr. | UNINA-9910483595703321 |
| Berlin ; ; New York, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Federated Computing Research Conference / / conference chairs Rajiv Gupta ; sponsors, Association for Computing Machinery [and eight others]
| Federated Computing Research Conference / / conference chairs Rajiv Gupta ; sponsors, Association for Computing Machinery [and eight others] |
| Pubbl/distr/stampa | New York : , : ACM, , 2015 |
| Descrizione fisica | 1 online resource (65 pages) |
| Disciplina | 004 |
| Soggetto topico |
Computer science
Computer programming Computer architecture |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4503-3966-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
FCRC '15 : 2015 Federated Computing Research Conference : Portland, OR, USA, June 12-20, 2015
Federated Computing Research Conference 2015 |
| Record Nr. | UNINA-9910376362703321 |
| New York : , : ACM, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 25th ACM SIGPLAN symposium on principles and practice of parallel programming / / Rajiv Gupta, Xipeng Shen, [editors]
| Proceedings of the 25th ACM SIGPLAN symposium on principles and practice of parallel programming / / Rajiv Gupta, Xipeng Shen, [editors] |
| Pubbl/distr/stampa | New York, New York : , : Association for Computing Machinery, , 2020 |
| Descrizione fisica | 1 online resource |
| Disciplina | 001.642 |
| Soggetto topico | Computer programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910412071403321 |
| New York, New York : , : Association for Computing Machinery, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction / / editors, Aaron Smith, Delphine Demange, Rajiv Gupta
| Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction / / editors, Aaron Smith, Delphine Demange, Rajiv Gupta |
| Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2021 |
| Descrizione fisica | 1 online resource (xi, 165 pages) : illustrations (some color) |
| Disciplina | 005.453 |
| Collana | ACM Conferences |
| Soggetto topico | Compilers (Computer programs) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910510435403321 |
| New York : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation
| Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation |
| Autore | Cytron Ron |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2003 |
| Descrizione fisica | 1 online resource (350 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 Association for Computing Machinery Special Interest Group on Programming Languages 2003 Conference on Programming Language Design and Implementation
PLDI '03 ACM SIGPLAN Conference on Programming Language Design and Implementation (co-located with FCRC 2003 Conference), San Diego, CA, USA - June 08 - 11, 2003 |
| Record Nr. | UNINA-9910375826703321 |
Cytron Ron
|
||
| [Place of publication not identified], : ACM, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||