Search results for "EMSOFT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Mixing signals and modes in synchronous data-flow systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	mode automata, compilation, synchronous, languages
1	Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan	A hierarchical coordination language for interacting real-time tasks.	EMSOFT	2006	DBLP DOI BibTeX RDF	real time, automotive systems
1	Kentaro Yoshimura, Dharmalingam Ganesan, Dirk Muthig	Defining a strategy to introduce a software product line using existing embedded systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	clone detection and classification, engine control systems, reverse rngineering, software, software product line, economics
1	Thao Dang 0001, Philippe Gerner	Scheduling for multi-threaded real-time programs via path planning.	EMSOFT	2006	DBLP DOI BibTeX RDF	PV programs, multi-threaded real-time programs, scheduling, path planning
1	Jeong-Uk Kang, Heeseung Jo, Jinsoo Kim 0001, Joonwon Lee	A superblock-based flash translation layer for NAND flash memory.	EMSOFT	2006	DBLP DOI BibTeX RDF	NAND flash memory, address translation, flash translation layer (FTL)
1	Venkita Subramonian, Christopher D. Gill, César Sánchez 0001, Henny B. Sipma	Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	middleware, timed automata
1	Kevin M. Greenan, Ethan L. Miller	Reliability mechanisms for file systems using non-volatile memory as a metadata store.	EMSOFT	2006	DBLP DOI BibTeX RDF	file system reliability, online consistency checking, metadata, error correcting codes, non-volatile memory
1	Madhukar Anand, Sebastian Fischmeister, Insup Lee 0001	An analysis framework for network-code programs.	EMSOFT	2006	DBLP DOI BibTeX RDF	scheduling, network code, TDMA, real-time networking
1	Ye Zhou, Edward A. Lee	A causality interface for deadlock analysis in dataflow.	EMSOFT	2006	DBLP DOI BibTeX RDF	behavioral types, interfaces, deadlock, causality, dataflow, actors
1	Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee 0001	Incremental schedulability analysis of hierarchical real-time components.	EMSOFT	2006	DBLP DOI BibTeX RDF	associative real-time interfaces, compositional schedulability analysis, incremental schedulability analysis, hierarchical scheduling
1	Werner Damm	Embedded system development for automotive applications: trends and challenges.	EMSOFT	2006	DBLP DOI BibTeX RDF
1	Stephan Thesing	Modeling a system controller for timing analysis.	EMSOFT	2006	DBLP DOI BibTeX RDF	aiT, verification, static analysis, VHDL, timing analysis, WCET, worst-case execution time, avionics, peripherals
1	Sang Lyul Min, Wang Yi 0001 (eds.)	Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea	EMSOFT	2006	DBLP BibTeX RDF
1	Timothy Bourke, Arcot Sowmya	A timing model for synchronous language implementations in simulink.	EMSOFT	2006	DBLP DOI BibTeX RDF	timed automata, synchronous languages, simulink
1	Richard Urunuela, Gilles Muller, Julia L. Lawall	Energy adaptation for multimedia information kiosks.	EMSOFT	2006	DBLP DOI BibTeX RDF	embedded systems, dynamic voltage scaling, multimedia application
1	Olivier Tardieu, Stephen A. Edwards	Scheduling-independent threads and exceptions in SHIM.	EMSOFT	2006	DBLP DOI BibTeX RDF	deterministic model of computation, hardware/software codesign
1	Harsh Dhand, Basant Kumar Dwivedi, M. Balakrishnan	New approach to architectural synthesis: incorporating QoS constraint.	EMSOFT	2006	DBLP DOI BibTeX RDF	soft real time constraints, quality of service, partitioning, mapping, process network
1	Stylianos Mamagkakis, David Atienza, Christophe Poucet, Francky Catthoor, Dimitrios Soudris	Energy-efficient dynamic memory allocators at the middleware level of embedded systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	heap data, low-energy consumption, embedded systems, middleware, dynamic memory allocation
1	Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon	Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	J2ME CDC, Java ahead-of-time compiler, bytecode-to-c, stack cutting, exception handling, Java virtual machine
1	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis	Communication by sampling in time-sensitive distributed systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, scheduling, tagged systems
1	Cong Liu 0013, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli	A structural approach to quasi-static schedulability analysis of communicating concurrent programs.	EMSOFT	2005	DBLP DOI BibTeX RDF	quasi-static scheduling, Petri nets, structural analysis
1	Wayne H. Wolf (eds.)	EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings	EMSOFT	2005	DBLP BibTeX RDF
1	Qiuhua Cao, John A. Stankovic	Dual face phased array radar scheduling with multiple constraints.	EMSOFT	2005	DBLP DOI BibTeX RDF	dual phased array radars systems, scheduling, performance, real time systems, resource allocations, heuristic algorithms
1	Gabor Madl, Sherif Abdelwahed	Model-based analysis of distributed real-time embedded system composition.	EMSOFT	2005	DBLP DOI BibTeX RDF
1	Ernesto Wandeler, Lothar Thiele	Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time interfaces, performance analysis, hierarchical scheduling, real-time calculus
1	Jun Yan 0008, Wei Zhang 0002	Compiler-guided register reliability improvement against soft errors.	EMSOFT	2005	DBLP DOI BibTeX RDF	register lifetime, reliability, soft errors, register file
1	John Regehr	Random testing of interrupt-driven software.	EMSOFT	2005	DBLP DOI BibTeX RDF	interrupt-driven software, sensor networks, embedded systems, random testing
1	Jean-Louis Colaço, Bruno Pagano, Marc Pouzet	A conservative extension of synchronous data-flow with state machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	clock calculus, compilation, typing, heterogeneous systems, synchronous languages
1	Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli	Efficient embedded software design with synchronous models.	EMSOFT	2005	DBLP DOI BibTeX RDF	model-based, synchrony
1	Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi	Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.	EMSOFT	2005	DBLP DOI BibTeX RDF	process communication, scheduling, embedded software, model-based design, semantical preservation
1	Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger	Model-based run-time monitoring of end-to-end deadlines.	EMSOFT	2005	DBLP DOI BibTeX RDF	RT CORBA, quality of service, components, code generation, services, runtime monitoring, service engineering
1	Marco Zennaro, Raja Sengupta	Distributing synchronous programs using bounded queues.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed synchronous programs, globally asynchronous locally synchronous architecture, GALS, Simulink
1	Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee	A sink-n-hoist framework for leakage power reduction.	EMSOFT	2005	DBLP DOI BibTeX RDF	balanced scheduling, compilers for low power, power-gating mechanisms, data-flow analysis, leakage power reduction
1	Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaköy	Exploiting last idle periods of links for network power management.	EMSOFT	2005	DBLP DOI BibTeX RDF	compiler, interconnection network, energy optimization
1	Selim Gurun, Chandra Krintz	AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices.	EMSOFT	2005	DBLP DOI BibTeX RDF	prediction, power consumption, voltage scaling, resource-constrained devices
1	Guilin Chen, Mahmut T. Kandemir	Optimizing inter-processor data locality on embedded chip multiprocessors.	EMSOFT	2005	DBLP DOI BibTeX RDF	chip multiprocessors, data locality, stencil computation
1	Prabhat Avasare, Vincent Nollet, Jean-Yves Mignolet, Diederik Verkest, Henk Corporaal	Centralized end-to-end flow control in a best-effort network-on-chip.	EMSOFT	2005	DBLP DOI BibTeX RDF	run-time communication management, network-on-chip
1	Bui Minh Duc	Uniform object modeling methodology and reuse of real-time system using UML.	EMSOFT	2005	DBLP DOI BibTeX RDF	UML design, induced energy, object message, reactive systems, modeling methodology, embedded real-time systems, object technology
1	Stephen Hines, Prasad A. Kulkarni, David B. Whalley, Jack W. Davidson	Using de-optimization to re-optimize code.	EMSOFT	2005	DBLP DOI BibTeX RDF	assembly translation, de-optimization, phase ordering
1	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou	Testing real-time embedded software using UPPAAL-TRON: an industrial case study.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time systems, embedded systems, black-box testing, online testing, control software
1	Grégoire Hamon	A denotational semantics for stateflow.	EMSOFT	2005	DBLP DOI BibTeX RDF	compilation, continuations, denotational semantics, Stateflow
1	Graham R. Hellestrand	Systems architecture: the empirical way: abstract architectures to 'optimal' systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	concept driven optimization, empirical system design, epimorphic architecture, event data driven optimization, event-based objective function, factor and concept based explanatory function, mapping system architectures, mesomorphic architecture, quantitative systems architecture, system design process
1	Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis	QoS control for optimality and safety.	EMSOFT	2005	DBLP DOI BibTeX RDF	optimality, multimedia, real-time, control, safety, fine grain
1	Ethan K. Jackson, Janos Sztipanovits	Using separation of concerns for embedded systems design.	EMSOFT	2005	DBLP DOI BibTeX RDF	multiple-aspect modeling, embedded systems, separation of concerns, models of computation
1	Stephen A. Edwards, Olivier Tardieu	SHIM: a deterministic model for heterogeneous embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	deterministic model of computation, hardware/software codesign, software synthesis, hardware synthesis
1	Johannes Helander	Deeply embedded XML communication: towards an interoperable and seamless world.	EMSOFT	2005	DBLP DOI BibTeX RDF	XML, service oriented architecture, embedded systems, SOAP, home networking, invisible computing
1	Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz	Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip.	EMSOFT	2005	DBLP DOI BibTeX RDF	dynamic, SystemC, parser, static, front-end, elaboration
1	Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet	Synchronization of periodic clocks.	EMSOFT	2005	DBLP DOI BibTeX RDF	high-performance video streaming, type inference and sub-typing, synchronous language, correctness by construction
1	Vugranam C. Sreedhar, Maria-Cristina V. Marinescu	From statecharts to ESP: programming with events, states and predicates for embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	multiple classification, statechart, predicate dispatch
1	Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau	High performance annotation-aware JVM for Java cards.	EMSOFT	2005	DBLP DOI BibTeX RDF	superoperators, virtual machine, high performance, Java card
1	Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar	Code aware resource management.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, deadlock avoidance, code analysis
1	David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev	High-level real-time programming in Java.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, visualization, WCET, tasks, allocation
1	Ruibin Xu, Daniel Mossé, Rami G. Melhem	Minimizing expected energy in real-time embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	processor acceleration to conserve energy, real-time, power management, dynamic voltage scaling
1	Alex Xiang Feng	Towards real-time enabled Microsoft Windows.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time systems, embedded systems, operating systems, Microsoft Windows
1	Kai Chen 0010, Janos Sztipanovits, Sandeep Neema	Toward a semantic anchoring infrastructure for domain-specific modeling languages.	EMSOFT	2005	DBLP DOI BibTeX RDF	semantic anchoring, abstract syntax, model-integrated computing, domain-specific modeling language
1	Aimen Bouchhima, Xi Chen, Frédéric Pétrot, Wander O. Cesário, Ahmed Amine Jerraya	A unified HW/SW interface model to remove discontinuities between HW and SW design.	EMSOFT	2005	DBLP DOI BibTeX RDF	hardware dependent software, embedded systems, hardware/software interfaces
1	Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam	HAIL: a language for easy and correct device access.	EMSOFT	2005	DBLP DOI BibTeX RDF	invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers
1	Xiushan Feng, Alan J. Hu	Cutpoints for formal equivalence verification of embedded software.	EMSOFT	2005	DBLP DOI BibTeX RDF	formal verification, embedded software, equivalence checking
1	Jie Liu 0001, Elaine Cheong, Feng Zhao 0001	Semantics-based optimization across uncoordinated tasks in networked embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	service-oriented runtime, sensor network, type system
1	Neal K. Bambha, Shuvra S. Bhattacharyya	Communication strategies for shared-bus embedded multiprocessors.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, dataflow, interprocessor communication
1	Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio	A UML 2.0 profile for SystemC: toward high-level SoC design.	EMSOFT	2005	DBLP DOI BibTeX RDF	model-driven system on chip design, UML, embedded systems, SystemC, UML profiles
1	Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks.	EMSOFT	2005	DBLP DOI BibTeX RDF	sensor networks, design automation, design flow
1	Jean-Pierre Talpin, Dumitru Potop-Butucaru, Julien Ouy, Benoît Caillaud	From multi-clocked synchronous processes to latency-insensitive modules.	EMSOFT	2005	DBLP DOI BibTeX RDF	compositional mapping, separate compilation
1	Klaus Rothbart, Ulrich Neffe, Christian Steger, Reinhold Weiss, Edgar Rieger, Andreas Mühlberger	Power consumption profile analysis for security attack simulation in smart cards at high abstraction level.	EMSOFT	2005	DBLP DOI BibTeX RDF	simulation, analysis, smart card, fault injection, attack, SystemC, embedded security, power profile
1	Jian-Jia Chen, Tei-Wei Kuo, Chi-Sheng Shih 0001	(1+epsion) approximation clock rate assignment for periodic real-time tasks on a voltage-scaling processor.	EMSOFT	2005	DBLP DOI BibTeX RDF	DVS scheduling, energy consumption minimization, real-time systems, energy-efficient scheduling
1	Lee Pike, Steven D. Johnson	The formal verification of a reintegration protocol.	EMSOFT	2005	DBLP DOI BibTeX RDF	infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems
1	Simon Oberthür, Carsten Böke, Björn Griese	Dynamic online reconfiguration for customizable and self-optimizing operating systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time operating system, self-optimizing
1	Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan	Passive mid-stream monitoring of real-time properties.	EMSOFT	2005	DBLP DOI BibTeX RDF	monitoring, timed automata, passive testing, run-time verification
1	Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hiroaki Takada	A GA-based scheduling method for FlexRay systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	genetic algorithm, distributed embedded systems, FlexRay
1	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	Tag machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS, tagged systems
1	Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli	A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	fault tree construction, feedback control applications, system analysis, design exploration
1	Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee 0001	Distributed-code generation from hybrid systems models for time-delayed multirate systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed systems, hybrid systems
1	Bernd Hardung, Thorsten Kölzow, Andreas Krüger	Reuse of software in distributed embedded automotive systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	architecture, reuse, software, product line, automotive
1	Guang Yang 0004, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin	Separation of concerns: overhead in modeling and efficient simulation techniques.	EMSOFT	2004	DBLP DOI BibTeX RDF	interleaving concurrency, orthogonalization of conerns, simulation, platform-based design
1	Giorgio C. Buttazzo (eds.)	EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings	EMSOFT	2004	DBLP BibTeX RDF
1	Jan Romberg, Andreas Bauer 0002	Loose synchronization of event-triggered networks for distribution of synchronous programs.	EMSOFT	2004	DBLP DOI BibTeX RDF	scheduling, embedded software, synchronous languages, AutoFocus, code distribution
1	Michael McDougall, Rajeev Alur, Carl A. Gunter	A model-based approach to integrating security policies for embedded devices.	EMSOFT	2004	DBLP DOI BibTeX RDF	policy integration, smartcards, model based design, Java cards
1	De-Jiu Chen, Martin Törngren	A metrics system for quantifying operational coupling in embedded computer control systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	coupling measure, modularization and components, system functions
1	A. Richard Newton	Great works for the 21st century: a critical role for the modern research university.	EMSOFT	2004	DBLP DOI BibTeX RDF
1	John A. Stankovic, Prashant Nagaraddi, Zhendong Yu, Zhimin He, Brian Ellis	Exploiting prescriptive aspects: a design time capability.	EMSOFT	2004	DBLP DOI BibTeX RDF	prescriptive aspects, aspects, component-based design
1	Sangsoo Park, Yonghee Lee, Heonshik Shin	An experimental analysis of the effect of the operating system on memory performance in embedded multimedia computing.	EMSOFT	2004	DBLP DOI BibTeX RDF	multimedia, embedded system, operating system, memory performance
1	Hideyuki Tokuda	Smart furniture: a platform for context-aware embedded ubiquitous applications.	EMSOFT	2004	DBLP DOI BibTeX RDF
1	Ruibin Xu, Chenhai Xi, Rami G. Melhem, Daniel Mossé	Practical PACE for embedded systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	processor acceleration to conserve energy, real-time, power management, dynamic voltage scaling, fully polynomial time approximation scheme
1	Sapan Bhatia, Charles Consel, Calton Pu	Remote customization of systems code for embedded devices.	EMSOFT	2004	DBLP DOI BibTeX RDF	remote customization, remote specialization, specialization server
1	Cheng-Han Tsai, Edward T.-H. Chu, Tai-Yi Huang	WRR-SCAN: a rate-based real-time disk-scheduling algorithm.	EMSOFT	2004	DBLP DOI BibTeX RDF	real-time disk-scheduling, real-time multimedia servers, weighted round-robin
1	Matteo Corti 0002, Thomas R. Gross	Approximation of the worst-case execution time using structural analysis.	EMSOFT	2004	DBLP DOI BibTeX RDF	worst-case execution time (WCET), structural analysis, real-time computing
1	Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne	Towards direct execution of esterel programs on reactive processors.	EMSOFT	2004	DBLP DOI BibTeX RDF	ARE-Bench Auckland reactive benchmark, direct ESTEREL execution, reactive processor architectures
1	Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi	Defining and translating a "safe" subset of simulink/stateflow into lustre.	EMSOFT	2004	DBLP DOI BibTeX RDF	embedded software, simulink, lustre, automatic translation
1	Claudio Scordino, Giuseppe Lipari	Using resource reservation techniques for power-aware scheduling.	EMSOFT	2004	DBLP DOI BibTeX RDF	scheduling, real-time, DVS, resource-reservation, power-aware
1	Luís Almeida 0001, Paulo Pedreiras	Scheduling within temporal partitions: response-time analysis and server design.	EMSOFT	2004	DBLP DOI BibTeX RDF	real-time systems, real-time scheduling, hierarchical scheduling, response-time analysis
1	Jan Carlson, Björn Lisper	An event detection algebra for reactive systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	event algebra, reactive systems, event detection, resource-efficiency
1	Gopalakrishna Raghavan, Ari Salomäki, Raimondas Lencevicius	Model based estimation and verification of mobile device performance.	EMSOFT	2004	DBLP DOI BibTeX RDF	use case verification, performance analysis, system level modeling
1	Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).	EMSOFT	2004	DBLP DOI BibTeX RDF	distributed deployment, heterogeneous reactive systems, GALS
1	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Conservative approximations for heterogeneous design.	EMSOFT	2004	DBLP DOI BibTeX RDF	verification, approximation, refinement, abstraction, heterogeneous, polymorphism, model of computation
1	Nevin Heintze	Network processors: a progress report.	EMSOFT	2004	DBLP DOI BibTeX RDF
1	Daniel Citron, Gadi Haber, Roy Levin	Reducing program image size by extracting frozen code and data.	EMSOFT	2004	DBLP DOI BibTeX RDF	feedback directed, frozen code, frozen data, image size
1	Noureddine Chabini, Wayne H. Wolf	An approach for integrating basic retiming and software pipelining.	EMSOFT	2004	DBLP DOI BibTeX RDF	embedded systems, system-on-chip, timings, instruction-level parallelism, software pipelining, VLIW, retiming, superscalar processor, peak power, code size
1	David F. Bacon, Perry Cheng, David Grove	Garbage collection for embedded systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	mark-and-sweep, tracing, fragmentation, compaction
1	Marc Geilen, Twan Basten	Reactive process networks.	EMSOFT	2004	DBLP DOI BibTeX RDF	signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing
1	Alan C. Kay	"The computer revolution", "computer science", and "software engineering" haven't happened yet.	EMSOFT	2004	DBLP DOI BibTeX RDF

Publications at "EMSOFT"( http://dblp.L3S.de/Venues/EMSOFT )