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.
Software and Compilers for Embedded Systems [[electronic resource] ] : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings / / edited by Henk Schepers
| Software and Compilers for Embedded Systems [[electronic resource] ] : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings / / edited by Henk Schepers |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 266 p.) |
| Disciplina | 004.16 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Operating systems (Computers) Programming languages (Electronic computers) Software engineering Computer programming Computer communication systems Computer Engineering Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Computer Communication Networks |
| ISBN | 3-540-30113-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- The New Economics of Embedded Systems -- Application Specific (Co)Design -- A Framework for Architectural Description of Embedded System -- Automatically Customising VLIW Architectures with Coarse Grained Application-Specific Functional Units -- ASIP Architecture Exploration for Efficient Ipsec Encryption: A Case Study -- System and Application Synthesis -- Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition -- An Integer Linear Programming Approach to Classify the Communication in Process Networks -- Predictable Embedded Multiprocessor System Design -- Data Flow Analysis -- Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis -- Fast Points-to Analysis for Languages with Structured Types -- Data Partitioning -- An Automated C++ Code and Data Partitioning Framework for Data Management of Data-Intensive Applications -- Combined Data Partitioning and Loop Nest Splitting for Energy Consumption Minimization -- On the Phase Coupling Problem Between Data Memory Layout Generation and Address Pointer Assignment -- Task Scheduling -- Dynamic Mapping and Ordering Tasks of Embedded Real-Time Systems on Multiprocessor Platforms -- Integrated Intra- and Inter-task Cache Analysis for Preemptive Multi-tasking Real-Time Systems -- A Fuzzy Adaptive Algorithm for Fine Grained Cache Paging -- Code Generation -- DSP Code Generation with Optimized Data Word-Length Selection -- Instruction Selection for Compilers That Target Architectures with Echo Instructions -- A Flexible Tradeoff Between Code Size and WCET Using a Dual Instruction Set Processor. |
| Record Nr. | UNISA-996465489403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software and Compilers for Embedded Systems : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings / / edited by Henk Schepers
| Software and Compilers for Embedded Systems : 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings / / edited by Henk Schepers |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 266 p.) |
| Disciplina | 004.16 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Operating systems (Computers) Programming languages (Electronic computers) Software engineering Computer programming Computer communication systems Computer Engineering Operating Systems Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques Computer Communication Networks |
| ISBN | 3-540-30113-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- The New Economics of Embedded Systems -- Application Specific (Co)Design -- A Framework for Architectural Description of Embedded System -- Automatically Customising VLIW Architectures with Coarse Grained Application-Specific Functional Units -- ASIP Architecture Exploration for Efficient Ipsec Encryption: A Case Study -- System and Application Synthesis -- Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition -- An Integer Linear Programming Approach to Classify the Communication in Process Networks -- Predictable Embedded Multiprocessor System Design -- Data Flow Analysis -- Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis -- Fast Points-to Analysis for Languages with Structured Types -- Data Partitioning -- An Automated C++ Code and Data Partitioning Framework for Data Management of Data-Intensive Applications -- Combined Data Partitioning and Loop Nest Splitting for Energy Consumption Minimization -- On the Phase Coupling Problem Between Data Memory Layout Generation and Address Pointer Assignment -- Task Scheduling -- Dynamic Mapping and Ordering Tasks of Embedded Real-Time Systems on Multiprocessor Platforms -- Integrated Intra- and Inter-task Cache Analysis for Preemptive Multi-tasking Real-Time Systems -- A Fuzzy Adaptive Algorithm for Fine Grained Cache Paging -- Code Generation -- DSP Code Generation with Optimized Data Word-Length Selection -- Instruction Selection for Compilers That Target Architectures with Echo Instructions -- A Flexible Tradeoff Between Code Size and WCET Using a Dual Instruction Set Processor. |
| Record Nr. | UNINA-9910144157303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||