Search results for "embedded"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Luciano Lavagno, Richard Zurawski	Embedded Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Yeqiong Song, Françoise Simonot-Lion	Design and Validation Process of In-Vehicle Embedded Electronic Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Hiren D. Patel, Sumit Gupta, Sandeep K. Shukla, Rajesh K. Gupta 0001	Design Issues for Networked Embedded Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Nicolas Navet, Françoise Simonot-Lion	Fault-Tolerant Services for Safe In-Car Embedded Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Øystein Haugen, Thomas Weigert, Birger Møller-Pedersen	Introduction to UML and the Modeling of Embedded Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, Claudio Pinello, Luca P. Carloni	Platform-Based Design for Embedded Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Mikael Nolin, Hans Hansson, Thomas Nolte	Real-Time in Embedded Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Dimitrios N. Serpanos, Artemios G. Voyiatzis, Anastasios Fragopoulos	Design Issues in Secure Embedded Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Axel Jantsch	Models of Embedded Computation.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Luciano Lavagno, Claudio Passerone	Design of Embedded Systems.	Embedded Systems Handbook	2005	DBLP DOI BibTeX RDF
26	Sam Michiels, Nico Janssens, Lieven Desmet, Tom Mahieu, Wouter Joosen, Pierre Verbaeten	Connecting Embedded Devices Using a Component Platform for Adaptable Protocol Stacks.	Component-Based Software Development for Embedded Systems	2005	DBLP DOI BibTeX RDF
26	Jens H. Jahnke, Andrew McNair, J. Cockburn, Phillip de Souza, R. A. Furber, M. Lavender	Component-Based Engineering of Distributed Embedded Control Software.	Component-Based Software Development for Embedded Systems	2005	DBLP DOI BibTeX RDF
26	Markus Voelter, Christian Salzmann, Michael Kircher	Model Driven Software Development in the Context of Embedded Component Infrastructures.	Component-Based Software Development for Embedded Systems	2005	DBLP DOI BibTeX RDF
26	Leandro Dias da Silva, Angelo Perkusich	A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets.	Component-Based Software Development for Embedded Systems	2005	DBLP DOI BibTeX RDF
26	Shourong Lu, Wolfgang A. Halang	Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML.	Component-Based Software Development for Embedded Systems	2005	DBLP DOI BibTeX RDF
26	Walter Maydl, Lars Grunske	Behavioral Types for Embedded Software - A Survey.	Component-Based Software Development for Embedded Systems	2005	DBLP DOI BibTeX RDF
26	Yolande Berbers, Peter Rigole, Yves Vandewoude, Stefan Van Baelen	CoConES: An Approach for Components and Contracts in Embedded Systems.	Component-Based Software Development for Embedded Systems	2005	DBLP DOI BibTeX RDF
26	Colin Atkinson 0001, Christian Bunse, Christian Peper, Hans-Gerhard Gross	Component-Based Software Development for Embedded Systems - An Introduction.	Component-Based Software Development for Embedded Systems	2005	DBLP DOI BibTeX RDF
26	John Limroth, Jeanne Sullivan Falcon, Dafna Leonard, Jenifer Loy	LabVIEW Real-Time for Networked/Embedded Control.	Handbook of Networked and Embedded Control Systems	2005	DBLP BibTeX RDF
26	Marco Caccamo, Theodore P. Baker, Alan Burns 0001, Giorgio C. Buttazzo, Lui Sha	Real-Time Scheduling for Embedded Systems.	Handbook of Networked and Embedded Control Systems	2005	DBLP BibTeX RDF
26	Pieter J. Mosterman, Sameer Prabhu, Andrew Dowd, John Glass, Tom Erkkinen, John Kluza, Rohit Shenoy	Embedded Real-Time Control via MATLAB, Simulink, and xPC Target.	Handbook of Networked and Embedded Control Systems	2005	DBLP BibTeX RDF
26	John S. Heidemann, Ramesh Govindan	Embedded Sensor Networks.	Handbook of Networked and Embedded Control Systems	2005	DBLP BibTeX RDF
26	Karl-Erik Årzén, Anton Cervin, Dan Henriksson	Implementation-Aware Embedded Control Systems.	Handbook of Networked and Embedded Control Systems	2005	DBLP BibTeX RDF
26	Dnyanesh Mathur, Bryce W. Edwards, Jacob Goldstein, Henry Nguyen, Jeffrey Pine, Barbara A. Plante, John C. Thacker, Carol L. Hoover	An Approach for Designing Reusable, Embedded Software Components for Spacecraft Flight Instruments.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
26	Silke Schomann, Klaus H. Ecker, Dennis Stankovic	Heuristic Resource Allocation Strategies for Embedded Systems with Continuous mode Changes.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
26	Rajeev Alur, Arun Chandrashekharapuram	Dispatch Sequences for Embedded Control Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
26	Wankang Zhao, Prasad A. Kulkarni, David B. Whalley, Christopher A. Healy, Frank Mueller 0001, Gang-Ryung Uh	Tuning the WCET of Embedded Applications.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
26	Edward C. Nelson, K. Venkatesh Prasad, Vladimir Rasin, C. J. Simonds	An Embedded Architectural Framework for Interaction Between Automobiles and Consumer Devices.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
26	Ying Zhang 0041, Krishnendu Chakrabarty	Adaptive Checkpointing with Dynamic Voltage Scaling in Embedded Real-Time Systems.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
26	Dan Nicolaescu, Alexander V. Veidenbaum, Alex Nicolau	Low Energy Associative Data Caches for Embedded Systems.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
26	Fernando Herrera, Héctor Posadas, Pablo Sánchez, Eugenio Villar	Systematic Embedded Software Generation from Systemc.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
26	Michel Sarlotte, Bernard Candaele, Jérôme Quévremont, D. Merel	Embedded SW in Digital AM-FM Chipset.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
26	Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhary, Ismail Kadayif	Hardware/Software Techniques for Improving Cache Performance in Embedded Systems.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
26	Shaojie Wang, Sharad Malik, Reinaldo A. Bergamaschi	Modeling and Integration of Peripheral Devices in Embedded Systems.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
26	Venkata Syam P. Rapaka, Diana Marculescu	Efficient Power/Performance Analysis of Embedded and General Purpose Software Applications.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
26	Kamal Jaffrey, Matt Ma, David Bonyuet, Kamal Youcef-Toumi	Embedded Operating Systems in Hardware: Modules for Cooperative Computing Operations.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Kenneth E. Hoganson	D-TEMP: A Design Tool for Embedded Systems on Single-Chip Multiprocessors.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Amiya Kumar Rath, Ashish Mishra, Feroze Khan	Optimal Code Generation for Embedded Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Stephen Bique	Embedded Programming on Massively Parallel Device.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Namit Chaturvedi, S. S. S. P. Rao, S. C. Patwardhan	Programming Process Control in Embedded Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	E. Akhmetshina, Pawel Gburzynski, Frederick S. Vizeacoumar	PicOS: A Tiny Operating System for Extremely Small Embedded Platforms.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Friedhelm Stappert, Carsten Rust	Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Francisco J. Díaz, Ángel Sánchez 0001, Ana Belén Moreno, José Francisco Vélez	Embedded Meteorological Airport Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Ki-Hyun Yoon, Yeong Rak Seong, Cheol-Hoon Lee	An Efficient Algorithm for Storing/Restoring Font Images in the Unicode for Small-Memory Embedded Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Martin T. Vechev, Peter D. Petrov	Class Unloading with a Concurrent Garbage Collector in an Embedded Java VM.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Nassima Kadri, Smaïl Niar, Ahmed Riadh Baba-Ali	Impact of Code Compression on the Power Consumption in Embedded Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Woochul Lee, Dongha Shin	Webox for Embedded Linux Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Hamimi Chemali, Abdelhakim Latoui, Chouki Aktouf	An Optical Boundary Scan Cell for On Line Testing of Embedded Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Sun-Jin Oh, Ki-Hyun Yoon, Yeong Rak Seong, Cheol-Hoon Lee	Deterministic Task Scheduling for Embedded Real-Time Operating Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Manuel Díaz, Daniel Garrido, Francisco Rus, José M. Troya	A Component-Based Model for Predictable Embedded Systems.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Sherif G. Aly 0001, Ashraf M. Salem	Mobile Embedded System Co-Verification Modeling Using Java Observability.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Wei-Tek Tsai, Feng Zhu 0001, Lian Yu, Raymond A. Paul, Chun Fan	Verification Patterns for Rapid Embedded System Verification.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Patrick O. Bobbie, Sailaja H. Ramisetty, Abdul-Lateef Yussiff, Sagar Pujari	Designing an Embedded Electronic-Prescription Application for Home-Based Telemedicine Using OSGi Framework?	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	John Hadjilogiou, Ashish Oak, Kurt Leyba	Integrating Embedded Design Principles Throughout the Engineering Curriculum: The Top-Down Approach.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
26	Stephan Wong, Stamatis Vassiliadis, Sorin Cotofana	Microcoded Reconfigurable Embedded Processors: Current Developments.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF
26	Dong-In Kang, Richard Gerber 0001, Leana Golubchik, Jeffrey K. Hollingsworth, Manas Saksena	A Software Synthesis Tool for Distributed Embedded System Design.	Workshop on Languages, Compilers, and Tools for Embedded Systems	1999	DBLP DOI BibTeX RDF
26	Eran Gabber, Christopher Small 0001, John L. Bruno, José Carlos Brustoloni, Avi Silberschatz	Pebble: A Component-based Operating System for Embedded Applications.	USENIX Workshop on Embedded Systems	1999	DBLP BibTeX RDF
26	Daniel D. Lee, H. Sebastian Seung	Learning in Intelligent Embedded Systems.	USENIX Workshop on Embedded Systems	1999	DBLP BibTeX RDF
26	Margo I. Seltzer, Michael A. Olson	Challenges in Embedded Database System Administration.	USENIX Workshop on Embedded Systems	1999	DBLP BibTeX RDF
26	Kari Kangas, Juha Röning	Using Mobile Code Interfaces to Control Ubiquitous Embedded Systems.	USENIX Workshop on Embedded Systems	1999	DBLP BibTeX RDF
26	Grzegorz Rozenberg, Frits W. Vaandrager (eds.)	Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996	School on Embedded Systems	1998	DBLP DOI BibTeX RDF
26	Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel	Engineering of Real-Time Systems with an Experiment in Hybrid Control.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Sergio Yovine	Model Checking Timed Automata.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Yonit Kesten, Zohar Manna, Amir Pnueli	Verification of Clocked and Hybrid Systems.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Hans F. van Rietschote	The Long Road from Research to Telecommunication Applications.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Deji Chen 0001, Aloysius K. Mok, Sanjoy K. Baruah	On Modeling Real-Time Task Systems.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Michael S. Branicky	Analyzing and Synthesizing Hybrid Control Systems.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	André van den Hoogenhof	The Maturity of Object-Oriented Methodologies.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot	Statecharts in Use: Structured Analysis and Object-Orientation.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Frits W. Vaandrager	Introduction.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Pim Kars	Formal Methods in the Design of s Storm Surge Barrier Control System.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
26	Guido Araujo, Srinivas Devadas, Kurt Keutzer, Stan Y. Liao, Sharad Malik, Ashok Sudarsanam, Steven W. K. Tjiang, Albert R. Wang	Challenges in code generation for embedded processors.	Code Generation for Embedded Processors	1994	DBLP BibTeX RDF
26	Peter Marwedel	Code generation for embedded processors: an introduction.	Code Generation for Embedded Processors	1994	DBLP BibTeX RDF
26	Pierre G. Paulin, Clifford Liem, Trevor C. May, Shailesh Sutarwala	Flexware: A flexible firmware development environment for embedded systems.	Code Generation for Embedded Processors	1994	DBLP BibTeX RDF
26	Dirk Lanneer, Johan Van Praet, Augusli Kifli, Koen Schoofs, Werner Geurts, Filip Thoen, Gert Goossens	Chess: retargetable code generation for embedded DSP processors.	Code Generation for Embedded Processors	1994	DBLP BibTeX RDF
26	Wolfgang Reisig	Embedded System Description Using Petri Nets.	Embedded Systems	1986	DBLP DOI BibTeX RDF
26	Albert T. Kündig	A Note on the Meaning of "Embedded Systems".	Embedded Systems	1986	DBLP DOI BibTeX RDF
26	Adam Handzlik, Tomasz Englert, Andrzej Jablonski	Embedded Fortress - Software Environment for Intellectual Property Protection in Embedded Systems.	EUROCAST	2009	DBLP DOI BibTeX RDF	Field Programmable Gate Arrays, embedded systems, protection, Intellectual Property, IP Core
26	Chung-Kai Chen, Ling-Hua Tseng, Shih-Chang Chen, Young-Jia Lin, Yi-Ping You, Chia-Han Lu, Jenq Kuen Lee	Enabling compiler flow for embedded VLIW DSP processors with distributed register files.	LCTES	2007	DBLP DOI BibTeX RDF	distributed register files, embedded VLIW DSP compilers, software pipelining
26	Woo Jin Lee, Ho-Jun Kim, Heung Seok Chae	Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS.	SEUS	2007	DBLP DOI BibTeX RDF	safety property analysis, LTS, slice model, embedded system
26	Rakesh Reddy, Peter Petrov	Eliminating inter-process cache interference through cache reconfigurability for real-time and low-power embedded multi-tasking systems.	CASES	2007	DBLP DOI BibTeX RDF	real-time embedded systems, cache interference
26	Augustin Kebemou, Ina Schieferdecker	Evaluating Modeling Solutions on Their Ability to Support the Partitioning of Automotive Embedded Systems.	EUC Workshops	2007	DBLP DOI BibTeX RDF	modeling, embedded systems, partitioning, Automotive
26	Jason A. Blome, Shantanu Gupta, Shuguang Feng, Scott A. Mahlke	Cost-efficient soft error protection for embedded microprocessors.	CASES	2006	DBLP DOI BibTeX RDF	reliability, embedded processors, soft errors
26	Lan S. Bai, Lei Yang 0017, Robert P. Dick	Automated compile-time and run-time techniques to increase usable memory in MMU-less embedded systems.	CASES	2006	DBLP DOI BibTeX RDF	wireless sensor network, embedded system, data compression
26	Greg Hoover, Forrest Brewer, Timothy Sherwood	A case study of multi-threading in the embedded space.	CASES	2006	DBLP DOI BibTeX RDF	multi-threading, embedded architecture
26	Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang	Modelling and Analysis of Power Consumption for Component-Based Embedded Software.	EUC Workshops	2006	DBLP DOI BibTeX RDF	embedded software design, real-time system, model checking, power-aware computing, component-based design, interface automata
26	Antonio Martí Campoy, Eugenio Tamura, Sergio Sáez, Francisco Rodríguez 0003, José V. Busquets-Mataix	On Using Locking Caches in Embedded Real-Time Systems.	ICESS	2005	DBLP DOI BibTeX RDF	genetic algorithms, performance evaluation, predictability, response time, Cache memories, schedulability analysis, execution time, embedded real-time systems
26	Roshan G. Ragel, Sri Parameswaran, Sayed Mohammad Kia	Micro embedded monitoring for security in application specific instruction-set processors.	CASES	2005	DBLP DOI BibTeX RDF	micro embedded monitoring, microinstructions, self-monitoring instructions, application specific instruction-set processors, security monitoring
26	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
26	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
26	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
26	Ken W. Batcher, Robert A. Walker 0001	Cluster miss prediction with prefetch on miss for embedded CPU instruction caches.	CASES	2004	DBLP DOI BibTeX RDF	hiding memory latency, embedded systems, networking, WCET, cache design, cache prefetch
26	Ramakrishnan Venkitaraman, Gopal Gupta 0001	Static program analysis of embedded executable assembly code.	CASES	2004	DBLP DOI BibTeX RDF	embedded software components, executable code, static analysis, abstract interpretation, assembly code
26	Dionisio de Niz, Raj Rajkumar	Time weaver: a software-through-models framework for embedded real-time systems.	LCTES	2003	DBLP DOI BibTeX RDF	couplers, semantic dimension, semantic separation, software-through-models, real-time, embedded
26	Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee	Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines.	RTCSA	2003	DBLP DOI BibTeX RDF	Periodic Time Petri Nets, quasi-dynamic scheduling, local and global deadlines, software synthesis, Real-time embedded software
26	Christopher W. Milner, Jack W. Davidson	Quick piping: a fast, high-level model for describing processor pipelines.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	embedded systems, pipelines, modeling of computer architecture
26	Parimal Patel	Tutorial IND2A: Embedded Systems Design with Xilinx Virtex-5 Series FPGA.	VLSI Design	2007	DBLP DOI BibTeX RDF
26	Bhuvan Middha, Matthew S. Simpson, Rajeev Barua	MTSS: multi task stack sharing for embedded systems.	CASES	2005	DBLP DOI BibTeX RDF	cactus stack, meshed stack, out-of-memory, reliability, reuse, runtime checks, heap overflow, stack overflow
26	Markus Levy	Using EEMBC Benchmarks to Understand Processor Behavior in Embedded Applications.	HiPEAC	2005	DBLP DOI BibTeX RDF
26	Hideyuki Tokuda	Smart furniture: a platform for context-aware embedded ubiquitous applications.	EMSOFT	2004	DBLP DOI BibTeX RDF