The proceedings contains 25 papers from the conference on Joint conference on languages, compilers and tools for embedded systems & Software and compilers for embeddedsystems. Topics discussed include: energy-con...
详细信息
ISBN:
(纸本)1581135270
The proceedings contains 25 papers from the conference on Joint conference on languages, compilers and tools for embedded systems & Software and compilers for embeddedsystems. Topics discussed include: energy-conscious compilation based on voltage scaling;design space optimization of embedded memory systems via data remapping;generic control flow reconstruction from assembly code;on systematic design of globally consistent executable assertions in embedded software;inter-task register-allocation for static operating systems;and compiler-directed cache polymorphism.
The proceedings contains 29 papers. Topics discussed include compiler optimizations, efficient java systems, memory management, scheduling for embeddedsystems, modeling and analysis of embeddedsystems, software synt...
详细信息
The proceedings contains 29 papers. Topics discussed include compiler optimizations, efficient java systems, memory management, scheduling for embeddedsystems, modeling and analysis of embeddedsystems, software synthesis tools and methods, hardware/software partitioning and reconfigureability, partitioning and memory optimizations, efficiency of compressed codes and energy management.
The proceedings contain 12 papers. The topics discussed include: optimizing for reduced code space using genetic algorithms;effective exploitation of a zero overhead loop buffer;minimizing cost of local variables acce...
ISBN:
(纸本)1581131364
The proceedings contain 12 papers. The topics discussed include: optimizing for reduced code space using genetic algorithms;effective exploitation of a zero overhead loop buffer;minimizing cost of local variables access for DSP-processors;pipeline behavior prediction for superscalar processors by abstract interpretation;live memory analysis for garbage collection in embeddedsystems;scheduling garbage collector for embedded real-time systems;table-based QoS control for embedded real-time systems;performance re-engineering of embedded real-time systems;a software synthesis tool for distributed embedded system design;and why SpecInt95 should not be used to benchmark embeddedsystemstools.
This Volume 38 Number 7 of the conference proceedings contains 29 papers. Topics discussed include compiler optimization, efficient java systems, memory management, scheduling for embeddedsystems, modeling and analys...
详细信息
This Volume 38 Number 7 of the conference proceedings contains 29 papers. Topics discussed include compiler optimization, efficient java systems, memory management, scheduling for embeddedsystems, modeling and analysis of embeddedsystems, software synthesis tools and methods, hardware/software partitioning and reconfigurability, partitioning and memory optimizations, efficiency of compressed code and energy management.
The proceedings contain 17 papers. The topics discussed include: flexible task graphs: a unified restricted thread programming model for java;enhanced hot spot detection heuristics for embedded java just-in-time compi...
ISBN:
(纸本)9781605581040
The proceedings contain 17 papers. The topics discussed include: flexible task graphs: a unified restricted thread programming model for java;enhanced hot spot detection heuristics for embedded java just-in-time compilers;impact of JVM superoperators on energy consumption in resource-constrained embeddedsystems;compiler driven data layout optimization for regular/irregular array access patterns;relative competitive analysis of cache replacement policies;robust and sustainable schedulability analysis of embedded software;improving performance and reducing energy-delay with adaptive resource resizing for out-of-order embedded processors;a domain specific interconnect for reconfigurable computing;a type system for the automatic distribution of higher-order synchronous dataflow programs;clock-directed modular code generation for synchronous data-flow languages;and design and evaluation of a compiler for embedded stream programs.
The proceedings contain 25 papers. The topics discussed include: energy-efficient policies for embedded clusters;composable code generation for distributed giotto;preventing interrupt overload;on the design of the loc...
详细信息
The proceedings contain 25 papers. The topics discussed include: energy-efficient policies for embedded clusters;composable code generation for distributed giotto;preventing interrupt overload;on the design of the local variable cache in a hardware translation-based Java virtual machine;cache aware optimization of stream programs;complementing software pipelining with software thread integration;scalable precision cache analysis for preemptive scheduling;a sample-based cache mapping scheme;static determination of allocation rates to support real-time garbage collection;compiling for memory emergency;upper bound for defragmenting buddy heaps;and an energy efficient garbage collector for Java embedded devices.
The proceedings contain 14 papers. The topics discussed include: facilitating the bootstrapping of a new ISA;synchronization-aware NAS for an efficient collaborative inference on mobile platforms;MinUn: accurate ML in...
ISBN:
(纸本)9798400701740
The proceedings contain 14 papers. The topics discussed include: facilitating the bootstrapping of a new ISA;synchronization-aware NAS for an efficient collaborative inference on mobile platforms;MinUn: accurate ML inference on microcontrollers;optimizing function layout for mobile applications;thread-level attack-surface reduction;sequential scheduling of dataflow graphs for memory peak minimization;PinIt: influencing OS scheduling via compiler-induced affinities;Rep-RAID: an integrated approach to optimizing data replication and garbage collection in RAID-enabled SSDs;LUNAR: a native table engine for embedded devices;and towards automated identification of layering violations in embedded applications (WIP).
The proceedings contain 15 papers. The topics discussed include: static timing analysis of real-time systems;software synthesis for real-time information processing systems;Verus: a tool for quantitative analysis of f...
The proceedings contain 15 papers. The topics discussed include: static timing analysis of real-time systems;software synthesis for real-time information processing systems;Verus: a tool for quantitative analysis of finite-state real-time systems;re-usable software design for programmable logic controllers;RTsynchronizer: language support for real-time specifications in distributed systems;language constructs and transformation for hard real-time systems;worst-case execution time analysis on modern processors;compiler support for software-based cache partitioning;the cluster compiler- a tool for the design of time-triggered real-time systems;appropriate interfaces between design tools, languages, compilers and runtimes in real-time systems;WindView: a tool for understanding real-time embedded software through system vizualization;performance analysis of embedded software using implicit path enumeration;supporting user-friendly analysis of timing constraints;automatic generation of scheduling and communication code in real-time parallel programs;and the control shell component-based real-time programming system, and its application to the Marsokhod Martian rover.
The proceedings contain 22 papers. The topics discussed include:minimizing downtime in seamless migrations of mobile applications;storing a persistent transactional object heap on flash memory;deriving abstract transf...
详细信息
ISBN:
(纸本)159593362X
The proceedings contain 22 papers. The topics discussed include:minimizing downtime in seamless migrations of mobile applications;storing a persistent transactional object heap on flash memory;deriving abstract transfer functions for analyzing embedded software;pluggable abstract domains for analyzing embedded software;field-sensitive value analysis of embedded C programs with union types;reducing the cost of conditional transfers of control by using comparison specifications;effective thread management on network processors with compiler analysis;in search of near-optimal optimization phase orderings;an EDF schedulability test for periodic tasks on reconfigurable hardware devices;faster WCET flow analysis by program slicing;synthesizing safe state machines from Esterel;efficient code generation from SHIM models;generating optimized code from SCR specifications;and effective compiler generation by architecture description.
The proceedings contain 16 papers. The topics discussed include: rethinking java call stack design for tiny embedded devices;lightweight generics in embeddedsystems through static analysis;efficiently parallelizing i...
ISBN:
(纸本)9781450312127
The proceedings contain 16 papers. The topics discussed include: rethinking java call stack design for tiny embedded devices;lightweight generics in embeddedsystems through static analysis;efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation;WCET-aware re-scheduling register allocation for real-time embeddedsystems with clustered VLIW architecture;a modular memory optimization for synchronous data-flow languages;mapping a data-flow programming model onto heterogeneous platforms;FORMLESS: scalable utilization of embedded manycores in streaming applications;profile-guided deployment of stream programs on multicores;improving dynamic prediction accuracy through multi-level phase analysis;efficient soft error protection for commodity embedded microprocessors using profile information;and an operational semantics for Simulink's simulation engine.
暂无评论