Search results for "EMSOFT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Kun Zhang 0006, Tao Zhang 0037, Santosh Pande	Binary translation to improve energy efficiency through post-pass register re-allocation.	EMSOFT	2004	DBLP DOI BibTeX RDF	cache power consumption, dead registers, register re-allocation, unused registers
1	Krithi Ramamritham, Rajkumar Sen	DELite: database support for embedded lightweight devices.	EMSOFT	2004	DBLP DOI BibTeX RDF	database management system
1	Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li 0020	Energy-efficient, utility accrual scheduling under resource constraints for mobile embedded systems.	EMSOFT	2004	DBLP DOI BibTeX RDF	real-time systems, energy-efficient scheduling, time/utility functions, utility accrual scheduling
1	Jan Staschulat, Rolf Ernst	Multiple process execution in cache related preemption delay analysis.	EMSOFT	2004	DBLP DOI BibTeX RDF	scheduling, embedded systems, cache, worst case execution time analysis
1	Chanik Park, Junghee Lim, Kiwon Kwon, Jaejin Lee, Sang Lyul Min	Compiler-assisted demand paging for embedded systems with flash memory.	EMSOFT	2004	DBLP DOI BibTeX RDF	post-pass optimization, clustering, embedded systems, compilers, flash memory, paging, SRAM, heterogeneous memory
1	Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür	Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation.	EMSOFT	2004	DBLP DOI BibTeX RDF	real-time systems, dynamic resource allocation, resource awareness
1	Thomas A. Henzinger, Christoph M. Kirsch	A typed assembly language for real-time programs.	EMSOFT	2004	DBLP DOI BibTeX RDF	real time, virtual machine, typed assembly language
1	Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet	Towards a higher-order synchronous data-flow language.	EMSOFT	2004	DBLP DOI BibTeX RDF	Kahn processes, stream functions, synchronous data-flow programming language, functional programming, type system, dynamic reconfiguration
1	Oleg Kiselyov, Kedar N. Swadi, Walid Taha	A methodology for generating verified combinatorial circuits.	EMSOFT	2004	DBLP DOI BibTeX RDF	abstract interpretation, multi-stage programming
1	Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff	Space Reductions for Model Checking Quasi-Cyclic Systems.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Victor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu	Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Alan Burns 0001, Guillem Bernat, Ian Broster	A Probabilistic Framework for Schedulability Analysis.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Shaoxiong Hua, Gang Qu 0001, Shuvra S. Bhattacharyya	Energy-Efficient Multi-processor Implementation of Embedded Software.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Christos Kloukinas, Chaker Nakhli, Sergio Yovine	A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	John Regehr, Alastair Reid 0001, Kirk Webb	Eliminating Stack Overflow by Abstract Interpretation.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Noureddine Chabini, Wayne H. Wolf	Minimizing Variables' Lifetime in Loop-Intensive Applications.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis	Translating Discrete-Time Simulink to Lustre.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Weirong Wang, Aloysius K. Mok, Gerhard Fohler	Pre-Scheduling: Integrating Offline and Online Scheduling Techniques.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen	Resource-Efficient Scheduling for Real Time Systems.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli	Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Patrice Godefroid	Reasoning about Abstract Open Systems with Generalized Module Checking.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Rajeev Alur, Insup Lee 0001 (eds.)	Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Alain Girault, Xavier Nicollin	Clock-Driven Automatic Distribution of Lustre Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF	synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution
1	Jean-Louis Colaço, Marc Pouzet	Clocks as First Class Abstract Types.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Walid Taha, Stephan Ellner, Hongwei Xi	Generating Heap-Bounded Programs in a Functional Setting.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Giorgio C. Buttazzo	Rate Monotonic vs. EDF: Judgment Day.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Christoph M. Kirsch, Slobodan Matic	Schedule-Carrying Code.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts	Constraint-Based Design-Space Exploration and Model Synthesis.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Herbert Bos, Bart Samwel	HOKES/POKES: Light-Weight Resource Sharing.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga	Resource Interfaces.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Janosch Fauster, Raimund Kirner, Peter P. Puschner	Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	César Sánchez 0001, Sriram Sankaranarayanan 0001, Henny Sipma, Ting Zhang 0001, David L. Dill, Zohar Manna	Event Correlation: Language and Semantics.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Joseph P. Loyall	Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems.	EMSOFT	2003	DBLP DOI BibTeX RDF
1	Stavros Tripakis	Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Wei Qin, Subramanian Rajagopalan, Manish Vachharajani, Hangsheng Wang, Xinping Zhu, David I. August, Kurt Keutzer, Sharad Malik, Li-Shiuan Peh	Design Tools for Application Specific Embedded Processors.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Bran Selic	Physical Programming: Beyond Mere Logic.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Giorgio C. Buttazzo	Scalable Applications for Energy-Aware Processors.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Alain Girault, Clément Ménier	Automatic Production of Globally Asynchronous Locally Synchronous Systems.	EMSOFT	2002	DBLP DOI BibTeX RDF	Globally synchronous-locally asynchronous (GALS), asynchronous communications, hardware/software codesign, distributed architectures, synchronous circuits, automatic distribution
1	Paul Caspi, Albert Benveniste	Toward an Approximation Theory for Computerised Control.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Bertrand Delsart, Vania Joloboff, Eric Paire	JCOD: A Lightweight Modular Compilation Technology for Embedded Java.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Christoph M. Kirsch	Principles of Real-Time Programming.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Jakob Engblom, Bengt Jonsson 0001	Processor Pipelines and Their Properties for Static WCET Analysis.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Aloysius K. Mok, Alex Xiang Feng	Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Joseph Zambreno, Mahmut T. Kandemir, Alok N. Choudhary	Enhancing Compiler Techniques for Memory Energy Optimizations.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree	A Giotto-Based Helicopter Control System.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Darren D. Cofer, Murali Rangarajan	Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Valérie Bertin, Jean-Marc Daveau, Philippe Guillaume, Thierry Lepley, Denis Pilat, Claire Richard, Miguel Santana, Thomas Thery	FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe	Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Nancy G. Leveson	An Approach to Designing Safe Embedded Software.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis	A Protocol for Loosely Time-Triggered Architectures.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Giuseppe Desoli, Nikolay Mateev, Evelyn Duesterwald, Paolo Faraboschi, Josh Fisher	A New Facility for Dynamic Control of Program Execution: DELI.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry 0001	Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Henrik Theiling	ILP-Based Interprocedural Path Analysis.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Lui Sha	Upgrading Embedded Software in the Field: Dependability and Survivability.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	David Harel	Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Tobias Ritzau, Peter Fritzson	Decreasing Memory Overhead in Hard Real-Time Garbage Collection.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Gregor Gößler, Alberto L. Sangiovanni-Vincentelli	Compositional Modeling in Metropolis.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Nicolas Halbwachs, Siwar Baghdadi	Synchronous Modelling of Asynchronous Systems.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Vincent Colin de Verdière, Sébastien Cros, Christian Fabre, Romain Guider, Sergio Yovine	Speedup Prediction for Selective Compilation of Embedded Java Programs.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis (eds.)	Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga	Timed Interfaces.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Douglas C. Schmidt	Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Amir Pnueli	Embedded Systems: Challenges in Specification and Verification.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Christoph M. Kirsch, Rupak Majumdar, Slobodan Matic	Time-Safety Checking for Embedded Programs.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Albert Benveniste	Some Synchronization Issues When Designing Embedded Systems from Components.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Manfred Broy, Oscar Slotosch	From Requirements to Validated Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Hermann Kopetz	The Temporal Specification of Interfaces in Distributed Real-Time Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Janos Sztipanovits, Gabor Karsai	Embedded Software: Challenges and Opportunities.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch	Giotto: A Time-Triggered Language for Embedded Programming.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Kevin Jeffay, Steve Goddard	Rate-Based Resource Allocation Models for Embedded Systems.	EMSOFT	2001	DBLP BibTeX RDF
1	Paul Caspi	Embedded Control: From Asynchrony to Synchrony and Back.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Ragunathan Rajkumar	An End-To-End Methodology for Building Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Steven M. Donahue, Matthew P. Hampton, Morgan Deters, Jonathan M. Nye, Ron Cytron, Krishna M. Kavi	Storage Allocation for Real-Time, Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Niklaus Wirth	Embedded Systems and Real-Time Programming.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Walid Taha, Paul Hudak, Zhanyong Wan	Directions in Functional Programming for Real(-Time) Applications.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Krishna V. Palem, Surendranath Talla, Weng-Fai Wong	Compiler Optimizations for Adaptive EPIC Processors.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Using Multiple Levels of Abstractions in Embedded Software Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Edward A. Lee, Yuhong Xiong	System-Level Types for Component-Based Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Sharad Malik	Embedded Software Implementation Tools for Fully Programmable Application Specific Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Ken Butts, Dave Bostic, Alongkrit Chutinan, Jeffrey Cook, Bill Milam, Yanxin Wang	Usage Scenarios for an Automated Model Compiler.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Christoph M. Kirsch (eds.)	Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Rajeev Alur, Thao Dang 0001, Joel M. Esposito, Rafael Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar 0001, Insup Lee 0001, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky	Hierarchical Hybrid Modeling of Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Perry Alexander, Cindy Kong	Heterogeneous Modeling Support for Embedded Systems Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Lothar Thiele, Samarjit Chakraborty, Matthias Gries, Alexander Maxiaguine, Jonas Greutert	Embedded Software in Network Processors - Models and Algorithms.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Pam Binns, Steve Vestal	Formalizing Software Architectures for Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin 0001, Michael Schmidt 0007, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm	Reliable and Precise WCET Determination for a Real-Life Processor.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Joseph Sifakis	Modeling Real-Time Systems-Challenges and Work Directions.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	John A. Stankovic	VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Gérard Berry	Synchronous Programming Techniques for Embedded Systems: Present and Future.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Patrick Cousot, Radhia Cousot	Verification of Embedded Software: Problems and Perspectives.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Wayne H. Wolf	Embedded Software for Video.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry 0001	Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	David E. Culler, Jason L. Hill, Philip Buonadonna, Robert Szewczyk, Alec Woo	A Network-Centric Approach to Embedded Software for Tiny Devices.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	William S. Beebee, Martin C. Rinard	An Implementation of Scoped Memory for Real-Time Java.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	John M. Rushby	Bus Architectures for Safety-Critical Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Douglas C. Schmidt	Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Wolfgang Pree, Alessandro Pasetti	Embedded Software Market Transformation through Reusable Frameworks.	EMSOFT	2001	DBLP BibTeX RDF
1	Luca de Alfaro, Thomas A. Henzinger	Interface Theories for Component-Based Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
1	Tunc Simsek, Pravin Varaiya	Design of Autonomous, Distributed Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF

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