PPPJ '15 : proceedings of the 2015 International Conference on Principles and Practices of Programming on the Java Platform : Virtual Machines, Languages, and Tools : Melbourne, Florida, September 8-10, 2015 / / general chair, Ryan Stansifer ; program chair, Andreas Krall |
Pubbl/distr/stampa | New York : , : ACM, , 2015 |
Descrizione fisica | 1 online resource (190 pages) |
Disciplina | 005.133 |
Collana | ACM International Conference Proceedings Series |
Soggetto topico | Java (Computer program language) |
ISBN | 1-4503-3712-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti |
Principles and Practices of Programming on the Java 2015
Proceedings of the Principles and Practices of Programming on the Java Platform |
Record Nr. | UNINA-9910376534903321 |
New York : , : ACM, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, Vienna, Austria, 15-17 September 2010 |
Autore | Krall Andreas |
Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2010 |
Descrizione fisica | 1 online resource (173 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 | PPPJ '10 Principles and Practice of Programming in Java, Vienna, Austria - September 15 - 17, 2010 |
Record Nr. | UNINA-9910376011903321 |
Krall Andreas | ||
[Place of publication not identified], : ACM, 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Software and Compilers for Embedded Systems [[electronic resource] ] : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings / / edited by Andreas Krall |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (X, 406 p.) |
Disciplina | 005.453 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Operating systems (Computers)
Programming languages (Electronic computers) Computer communication systems Special purpose computers Computer programming Software engineering Operating Systems Programming Languages, Compilers, Interpreters Computer Communication Networks Special Purpose and Application-Based Systems Programming Techniques Software Engineering |
ISBN | 3-540-39920-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- The Transmeta Crusoe: VLIW Embedded in CISC -- Code Size Reduction -- Limited Address Range Architecture for Reducing Code Size in Embedded Processors -- Predicated Instructions for Code Compaction -- Code Generation for a Dual Instruction Set Processor Based on Selective Code Transformation -- Code Selection -- Code Instruction Selection Based on SSA-Graphs -- A Code Selection Method for SIMD Processors with PACK Instructions -- Reconstructing Control Flow from Predicated Assembly Code -- Loop Optimizations -- Control Flow Analysis for Recursion Removal -- An Unfolding-Based Loop Optimization Technique -- Tailoring Software Pipelining for Effective Exploitation of Zero Overhead Loop Buffer -- Automatic Retargeting -- Case Studies on Automatic Extraction of Target-Specific Architectural Parameters in Complex Code Generation -- Extraction of Efficient Instruction Schedulers from Cycle-True Processor Models -- System Design -- A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs -- A Case Study on a Component-Based System and Its Configuration -- Composable Code Generation for Model-Based Development -- Code Generation for Packet Header Intrusion Analysis on the IXP1200 Network Processor -- Register Allocation -- Retargetable Graph-Coloring Register Allocation for Irregular Architectures -- Fine-Grain Register Allocation Based on a Global Spill Costs Analysis -- Offset Assignment -- Unified Instruction Reordering and Algebraic Transformations for Minimum Cost Offset Assignment -- Improving Offset Assignment through Simultaneous Variable Coalescing -- Analysis and Profiling -- Transformation of Meta-Information by Abstract Co-interpretation -- Performance Analysis for Identification of (Sub-)Task-Level Parallelism in Java -- Towards Superinstructions for Java Interpreters -- Memory and Cache Optimizations -- Partitioning for DSP Software Synthesis -- Efficient Variable Allocation to Dual Memory Banks of DSPs -- Cache Behavior Modeling of Codes with Data-Dependent Conditionals -- FICO: A Fast Instruction Cache Optimizer. |
Record Nr. | UNISA-996465794903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Software and Compilers for Embedded Systems : 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings / / edited by Andreas Krall |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (X, 406 p.) |
Disciplina | 005.453 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Operating systems (Computers)
Programming languages (Electronic computers) Computer communication systems Special purpose computers Computer programming Software engineering Operating Systems Programming Languages, Compilers, Interpreters Computer Communication Networks Special Purpose and Application-Based Systems Programming Techniques Software Engineering |
ISBN | 3-540-39920-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talk -- The Transmeta Crusoe: VLIW Embedded in CISC -- Code Size Reduction -- Limited Address Range Architecture for Reducing Code Size in Embedded Processors -- Predicated Instructions for Code Compaction -- Code Generation for a Dual Instruction Set Processor Based on Selective Code Transformation -- Code Selection -- Code Instruction Selection Based on SSA-Graphs -- A Code Selection Method for SIMD Processors with PACK Instructions -- Reconstructing Control Flow from Predicated Assembly Code -- Loop Optimizations -- Control Flow Analysis for Recursion Removal -- An Unfolding-Based Loop Optimization Technique -- Tailoring Software Pipelining for Effective Exploitation of Zero Overhead Loop Buffer -- Automatic Retargeting -- Case Studies on Automatic Extraction of Target-Specific Architectural Parameters in Complex Code Generation -- Extraction of Efficient Instruction Schedulers from Cycle-True Processor Models -- System Design -- A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs -- A Case Study on a Component-Based System and Its Configuration -- Composable Code Generation for Model-Based Development -- Code Generation for Packet Header Intrusion Analysis on the IXP1200 Network Processor -- Register Allocation -- Retargetable Graph-Coloring Register Allocation for Irregular Architectures -- Fine-Grain Register Allocation Based on a Global Spill Costs Analysis -- Offset Assignment -- Unified Instruction Reordering and Algebraic Transformations for Minimum Cost Offset Assignment -- Improving Offset Assignment through Simultaneous Variable Coalescing -- Analysis and Profiling -- Transformation of Meta-Information by Abstract Co-interpretation -- Performance Analysis for Identification of (Sub-)Task-Level Parallelism in Java -- Towards Superinstructions for Java Interpreters -- Memory and Cache Optimizations -- Partitioning for DSP Software Synthesis -- Efficient Variable Allocation to Dual Memory Banks of DSPs -- Cache Behavior Modeling of Codes with Data-Dependent Conditionals -- FICO: A Fast Instruction Cache Optimizer. |
Record Nr. | UNINA-9910144045803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|