|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 629 occurrences of 372 keywords
|
|
|
Results
Found 455 publication records. Showing 455 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Stephen Roderick Hines, Gary S. Tyson, David B. Whalley |
Addressing instruction fetch bottlenecks by using an instruction register file. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
L0/filter cache, instruction packing, instruction register file |
1 | Ke Ning, David R. Kaeli |
External memory page remapping for embedded multimedia systems. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
memory coloring, memory page remapping, embedded systems, memory controllers |
1 | Jonathan Engelsma |
Enabling seamless mobility: an enablers, experiences and tools perspective. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Yifan Zhu, Frank Mueller 0001 |
DVSleak: combining leakage reduction and voltage scaling in feedback EDF scheduling. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, dynamic voltage scaling, leakage, feedback control |
1 | Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati |
A type system for preventing data races and deadlocks in the java virtual machine language: 1. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
SafeJava, deadlocks, data races, ownership types |
1 | Nevine AbouGhazaleh, Alexandre Peixoto Ferreira, Cosmin Rusu, Ruibin Xu, Frank Liberato, Bruce R. Childers, Daniel Mossé, Rami G. Melhem |
Integrated CPU and l2 cache voltage scaling using machine learning. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
integrated DVS policy, machine learning, power management, multiple clock domains |
1 | Carl von Platen, Johan Eker |
Feedback linking: optimizing object code layout for updates. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
incremental software update, flash memory |
1 | Madhu Mutyam, Feihui Li, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin |
Compiler-directed thermal management for VLIW functional units. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
VLIW, thermal, IPC |
1 | Kun Zhang 0006, Santosh Pande |
Minimizing downtime in seamless migrations of mobile applications. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
seamless migration, mobile computing, compiler |
1 | Margaret Martonosi |
Embedded systems in the wild: ZebraNet software, hardware, and deployment experiences. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sanghyun Park, Aviral Shrivastava, Nikil D. Dutt, Alexandru Nicolau, Yunheung Paek, Eugene Earlie |
Bypass aware instruction scheduling for register file power reduction. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
architecture-sensitive compiler, bypass-sensitive, forwarding paths, operation table, processor bypasses, reservation table, power consumption, register file |
1 | Stephen A. Edwards, Olivier Tardieu |
Efficient code generation from SHIM models. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
computed gotos, the shim model, embedded systems, concurrency, code synthesis |
1 | Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Faster WCET flow analysis by program slicing. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
hard real time, worst-case execution time analysis |
1 | Leipo Yan, Thambipillai Srikanthan, Niu Gang |
Area and delay estimation for FPGA implementation of coarse-grained reconfigurable architectures. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
CGRA, VLIW, hardware/software partitioning, delay estimation, area estimation |
1 | John Regehr, Usit Duongsaa |
Deriving abstract transfer functions for analyzing embedded software. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, embedded software, transfer functions |
1 | Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner |
Effective compiler generation by architecture description. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
code generation, architecture description language, compiler generation |
1 | Prasad A. Kulkarni, David B. Whalley, Gary S. Tyson, Jack W. Davidson |
In search of near-optimal optimization phase orderings. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, exhaustive search, phase ordering |
1 | Xiaotong Zhuang, Santosh Pande |
Effective thread management on network processors with compiler analysis. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
real-time scheduling, compiler optimizations, network processors, CPU scheduling |
1 | Michal Spivak, Sivan Toledo |
Storing a persistent transactional object heap on flash memory. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
nor flash, persistent heaps, smart cards, transactions, flash, Java Card, persistent object stores |
1 | Nathan Cooprider, John Regehr |
Pluggable abstract domains for analyzing embedded software. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
abstract interpretation, embedded software, TinyOS |
1 | Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden |
Synthesizing safe state machines from Esterel. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel |
1 | Weihua Zhang, Xinglong Qian, Ye Wang, Binyu Zang, Chuanqi Zhu |
Optimizing compiler for shared-memory multiple SIMD architecture. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
multiple SIMD, optimization, locality, replication, shared memory |
1 | William C. Kreahling, Stephen Hines, David B. Whalley, Gary S. Tyson |
Reducing the cost of conditional transfers of control by using comparison specifications. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
optimization, compiler, comparison, branch |
1 | Mary Jane Irwin, Koen De Bosschere (eds.) |
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'06), Ottawa, Ontario, Canada, June 14-16, 2006 |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné |
Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
abstract interpretation, numerical analysis, points-to analysis, critical software |
1 | Klaus Danne, Marco Platzner |
An EDF schedulability test for periodic tasks on reconfigurable hardware devices. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
scheduling, FPGA, real-time, reconfigurable hardware, periodic tasks |
1 | Tom Rothamel, Yanhong A. Liu, Constance L. Heitmeyer, Elizabeth I. Leonard |
Generating optimized code from SCR specifications. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
optimization, formal specifications, code generation, requirements specifications, SCR, code synthesis |
1 | Raju Pandey, Jeffrey Wu |
BOTS: a constraint-based component system for synthesizing scalable software systems. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
wireless sensor networks, embedded systems, components, constraints, generative programming, runtime systems |
1 | Jian-Jia Chen, Tei-Wei Kuo |
Procrastination for leakage-aware rate-monotonic scheduling on a dynamic voltage scaling processor. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
leakage-aware scheduling, scheduling, dynamic voltage scaling, fixed-priority scheduling, energy-aware systems, rate-monotonic scheduling |
1 | Janis Sermulins, William Thies, Rodric M. Rabbah, Saman P. Amarasinghe |
Cache aware optimization of stream programs. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
cache, embedded, fusion, cache optimizations, synchronous dataflow, stream programing, StreamIt |
1 | Emilia Farcas, Claudiu Farcas, Wolfgang Pree, Josef Templ |
Transparent distribution of real-time components based on logical execution time. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
LET, MoDECS, TDL, logical execution time, timing definition language, embedded systems, real-time, distribution, transparent, component model |
1 | Tobias Mann, Morgan Deters, Rob LeGrand, Ron Cytron |
Static determination of allocation rates to support real-time garbage collection. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
allocation rate, static analysis, real-time garbage collection |
1 | Yunheung Paek, Rajiv Gupta 0001 (eds.) |
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05), Chicago, Illinois, USA, June 15-17, 2005 |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Björn Franke, Michael F. P. O'Boyle, John Thomson, Grigori Fursin |
Probabilistic source-level optimisation of embedded programs. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
source-level optimization, digital signal processing, iterative compilation, adaptive compilation, feedback-directed optimization |
1 | Philip Brisk, Jamie Macbeth 0001, Ani Nahapetian, Majid Sarrafzadeh |
A dictionary construction technique for code compression systems with echo instructions. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
(dictionary) compression, echo instructions, scheduling |
1 | Kun Zhang 0006, Santosh Pande |
Efficient application migration under compiler guidance. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
mobile computing, compiler, IEEE 802.11, application migration |
1 | Alexei Kudriavtsev, Peter M. Kogge |
Generation of permutations for SIMD processors. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
SIMD, permutations |
1 | Keith D. Cooper, Alexander Grosul, Timothy J. Harvey, Steven W. Reeves, Devika Subramanian, Linda Torczon, Todd Waterman |
ACME: adaptive compilation made efficient. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
adaptive compilation |
1 | David Gay, Philip Alexander Levis, David E. Culler |
Software design patterns for TinyOS. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
embedded systems, design patterns, TinyOS, nesC |
1 | Ruibin Xu, Dakai Zhu 0001, Cosmin Rusu, Rami G. Melhem, Daniel Mossé |
Energy-efficient policies for embedded clusters. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
distributed systems, load balancing, cluster computing, dynamic voltage scaling, space applications |
1 | Yudong Tan, Vincent John Mooney III |
WCRT analysis for a uniprocessor with a unified prioritized cache. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
real-time system, timing analysis, cache design |
1 | Mahmut T. Kandemir, Guangyu Chen, Ismail Kadayif |
Compiling for memory emergency. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
memory emergency, embedded software |
1 | Rong Xu, Zhiyuan Li 0001 |
A sample-based cache mapping scheme. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
cache bypass, cache mapping, mini cache, trace sampling, profiling, handheld devices |
1 | David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev |
Syncopation: generational real-time garbage collection in the metronome. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
scheduling, real-time, garbage collection, allocation |
1 | Hitoshi Oi |
On the design of the local variable cache in a hardware translation-based java virtual machine. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
hardware-translation, memory hierarchy, java virtual machine |
1 | John Regehr, Usit Duongsaa |
Preventing interrupt overload. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
scheduling, embedded, interrupts, overload |
1 | Won So, Alexander G. Dean |
Complementing software pipelining with software thread integration. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
TI C6000, DSP, software pipelining, VLIW, stream programming, coarse-grain parallelism, software thread integration |
1 | Peter G. Sassone, D. Scott Wills, Gabriel H. Loh |
Static strands: safely collapsing dependence chains for increasing embedded power efficiency. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
dependency collapsing, architecture, embedded, energy, sequentiality |
1 | Dominique Chanet, Bjorn De Sutter, Bruno De Bus, Ludo Van Put, Koen De Bosschere |
System-wide compaction and specialization of the linux kernel. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
operating system, compaction, specialization, system calls, linux kernel |
1 | Ben L. Titzer, Jens Palsberg |
Nonintrusive precision instrumentation of microcontroller software. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
cycle-accurate, instruction-level simulation, sensor networks, monitoring, debugging, profiling, instrumentation, parallel simulation |
1 | Jan Staschulat, Rolf Ernst |
Scalable precision cache analysis for preemptive scheduling. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
scheduling, embedded systems, cache, worst case execution time analysis |
1 | Paul A. Griffin, Witawas Srisa-an, J. Morris Chang |
An energy efficient garbage collector for java embedded devices. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
java mobile computing, embedded systems, virtual machines, garbage collection |
1 | Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic |
Composable code generation for distributed giotto. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
distributed compilation, real time |
1 | Yifan Zhu, Frank Mueller 0001 |
Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, dynamic voltage scaling, feedback control |
1 | Delvin C. Defoe, Sharath R. Cholleti, Ron Cytron |
Upper bound for defragmenting buddy heaps. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
buddy system, defragmentation, memory management, compaction, storage allocation |
1 | Gilberto Contreras, Margaret Martonosi, Jinzhan Peng, Roy Ju, Guei-Yuan Lueh |
XTREM: a power simulator for the Intel XScale® core. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
XORP, XScale, Java, power modeling, hardware performance counters, power measurements |
1 | David B. Whalley, Ron Cytron (eds.) |
Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004 |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christopher L. Conway, Stephen A. Edwards |
NDL: a domain-specific language for device drivers. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
domain-specific languages, device drivers, systems programming |
1 | Kaustubh Patil, Kiran Seth, Frank Mueller 0001 |
Compositional static instruction cache simulation. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, caches, worst-case execution time |
1 | Peng Li, Steve Zdancewic |
Advanced control flow in Java card programming. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
trampolined style, smart card, continuation, control flow, Java card, CPS |
1 | L. Almagor, Keith D. Cooper, Alexander Grosul, Timothy J. Harvey, Steven W. Reeves, Devika Subramanian, Linda Torczon, Todd Waterman |
Finding effective compilation sequences. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
learning models, adaptive compilers |
1 | Uwe Kastens, Dinh Khoi Le, Adrian Slowik, Michael Thies |
Feedback driven instruction-set extension. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
simulator generation, encryption, network processor, codesign, instruction-set extensions, compiler generation |
1 | Jason Hiser, Jack W. Davidson |
EMBARC: an efficient memory bank assignment algorithm for retargetable compilers. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
partition assignment, embedded systems, retargetable compilers |
1 | Johan Stärner, Lars Asplund |
Measuring the cache interference cost in preemptive real-time systems. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
real-time operating system, preemption, cache interference |
1 | Bruno De Bus, Bjorn De Sutter, Ludo Van Put, Dominique Chanet, Koen De Bosschere |
Link-time optimization of ARM binaries. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
linker, optimization, performance, compaction |
1 | Iosif Antochi, Ben H. H. Juurlink, Stamatis Vassiliadis, Petri Liuha |
GraalBench: a 3D graphics benchmark suite for mobile phones. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
3D graphics benchmarking, embedded 3D graphics architectures |
1 | Xiaotong Zhuang, Tao Zhang 0037, Santosh Pande |
Hardware-managed register allocation for embedded processors. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
architected registers, physical registers, embedded systems, power consumption, register allocation |
1 | Jean-Marc Daveau, Thomas Thery, Thierry Lepley, Miguel Santana |
A retargetable register allocation framework for embedded processors. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
register allocation, embedded processors |
1 | Bernhard Scholz, R. Nigel Horspool, Jens Knoop |
Optimizing for space and time usage with speculative partial redundancy elimination. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
partial redundancy, speculation, code motion, profile-guided optimization, common subexpressions |
1 | Lingli Zhang, Chandra Krintz |
Adaptive code unloading for resource-constrained JVMs. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
code unloading, JVM, code-size reduction, JIT, resource-constrained devices |
1 | Gilles Pokam, Olivier Rochecouste, André Seznec, François Bodin |
Speculative software management of datapath-width for energy optimization. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
narrow-width regions, compiler, reconfigurable computing, speculative execution, energy management, clock-gating |
1 | Andrzej Wasowski |
Flattening statecharts without explosions. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
semantics, embedded, statecharts, program synthesis, automatic code generation |
1 | Xiaotong Zhuang, Santosh Pande |
Power-efficient prefetching via bit-differential offset assignment on embedded processors. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
bit-differential addressing, offset assignment, embedded processors, data prefetching |
1 | Lian Li 0002, Jingling Xue |
A trace-based binary compilation framework for energy-aware computing. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
energy optimisation, link-time optimisation, profile-guided optimisation, trace, binary translation |
1 | Paul Willmann, Michael Brogioli, Vijay S. Pai |
Spinach: a liberty-based simulator for programmable network interface architectures. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
programmable network interfaces, simulation, embedded systems |
1 | Hendra Saputra, Guangyu Chen, Richard R. Brooks, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin |
Code protection for resource-constrained embedded devices. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
Java security, java byte code, mono-alphabetic, poly-alphabetic, cryptography, substitution |
1 | Ravindra Jejurikar, Rajesh K. Gupta 0001 |
Procrastination scheduling in fixed priority real-time systems. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
critical speed, procrastication scheduling, real-time systems, leakage power, fixed priority, low power scheduling |
1 | Zhi Guo, Betul Buyukkurt, Walid A. Najjar |
Input data reuse in compiling window operations onto reconfigurable hardware. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
reuse analysis, compilation, high-level synthesis, VHDL, reconfigurable computing |
1 | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois |
ESys.Net: a new solution for embedded systems modeling and simulation. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
CIL, ESys.Net, attribute programming, component-based programming, simulation, Java, modeling, embedded systems, C++, framework, system on chip, VHDL, SystemC, hardware/software codesign, C#, Net, Verilog, HDLs, SystemVerilog |
1 | Jia Zeng, Cristian Soviani, Stephen A. Edwards |
Generating fast code from concurrent program dependence graphs. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
sequencial, concurrent, esterel, program dependence graph |
1 | Wei Qin, Subramanian Rajagopalan, Sharad Malik |
A formal concurrency model based architecture description language for synthesis of software development tools. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Chaeseok Im, Soonhoi Ha |
Dynamic voltage scaling for real-time multi-task scheduling using buffers. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, dynamic voltage scaling |
1 | Thomas Martin 0001, Mark T. Jones, Joshua Nathaniel Edmison, Tanwir Sheikh, Zahi Nakad |
Modeling and simulating electronic textile applications. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
smart fabrics, context awareness, wearable computing, electronic textiles |
1 | Nagendra J. Kumar, Siddhartha Shivshankar, Alexander G. Dean |
Asynchronous software thread integration for efficient software. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
J1850, asynchronous software thread integration, software-implemented communication protocol controllers, hardware to software migration, fine-grain concurrency |
1 | Sven Gestegard Robertz, Roger Henriksson |
Time-triggered garbage collection: robust and adaptive real-time GC scheduling for embedded systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
scheduling, embedded systems, real-time, garbage collection, auto-tuning |
1 | Min Zhao 0009, Bruce R. Childers, Mary Lou Soffa |
Predicting the impact of optimizations for embedded systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
code models, embedded systems, prediction, optimizing compilers, loop optimizations, resource models, optimization models |
1 | C. Scott Ananian, Martin C. Rinard |
Data size optimizations for java programs. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
bitwidth analysis, field externalization, field packing, size optimizations, static specialization, embedded systems |
1 | Ulrik Pagh Schultz, Kim Burgaard, Flemming Gram Christensen, Jørgen Lindskov Knudsen |
Compiling java for low-end embedded systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
Java, embedded systems, compilers, interfaces |
1 | Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels |
Robustness analysis of avionics embedded systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
accuracy analysis, avionics embedded systems, lustre specifications, abstract interpretation, safety analysis |
1 | Peter Vanbroekhoven, Henk Corporaal, Francky Catthoor |
Advanced copy propagation for arrays. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
copy propagation, optimization, arrays, single assignment |
1 | Arvind Krishnaswamy, Rajiv Gupta 0001 |
Enhancing the performance of 16-bit code using augmenting instructions. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
16-bit thumb ISA, 32-bit ARM ISA, AX instructions, instruction coalescing, performance, embedded processor, code size |
1 | Paul Pop, Petru Eles, Zebo Peng |
Schedulability-driven frame packing for multi-cluster distributed embedded systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
frame packing, schedulability analysis, multi-clusters |
1 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner |
Memory safety without runtime checks or garbage collection. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management |
1 | David F. Bacon, Perry Cheng, V. T. Rajan |
Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
cost model, fragmentation, compaction, space bounds |
1 | Bjorn De Sutter, Hans Vandierendonck, Bruno De Bus, Koenraad De Bosschere |
On the side-effects of code abstraction. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
code abstraction, performance, code compaction |
1 | Marc L. Corliss, E. Christopher Lewis, Amir Roth |
A DISE implementation of dynamic code decompression. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
DISE, code decompression, code compression |
1 | Michal Karczmarek, William Thies, Saman P. Amarasinghe |
Phased scheduling of stream programs. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
cyclo-static dataflow, phased scheduling, DSP, buffer size, synchronous dataflow, stream programming, code size, StreamIt |
1 | Frank Mueller 0001, Ulrich Kremer (eds.) |
Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003 |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Nik Shaylor, Douglas N. Simon, William R. Bush |
A java virtual machine architecture for very small devices. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
CLDC, limited-memory devices, next generation smart cards, java, JVM |
1 | Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee 0001, Oleg Sokolsky |
Generating embedded software from hierarchical hybrid models. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
modularity, code generation, hybrid system, formal language, embedded software |
Displaying result #301 - #400 of 455 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|