Search results for "real-time embedded systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ji Eun Kim, Rahul Kapoor, Martin Herrmann, Jochen Härdtlein, Franz Grzeschniok, Peter Lutz	Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development.	ISORC	2008	DBLP DOI BibTeX RDF	Signal Flows, Mode Dependent Signal Flows, Component Based Software Development, Real-Time Embedded Systems, Software Behavior
3	Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima	Software synthesis for hard real-time embedded systems with multiple processors.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	petri nets, real-time embedded systems, software synthesis, multiple processors
3	Cagkan Erbas, Andy D. Pimentel, Selin Cerav-Erbas	Static priority scheduling of event-triggered real-time embedded systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Simulated annealing search framework, Real-time embedded systems, Static priority scheduling
3	Eun-Young Kang	Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation.	ICSE	2004	DBLP DOI BibTeX RDF	Real-time Model Checking, Verification, Abstract Interpretation, Real-time embedded systems
2	Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons	GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications.	ECBS	2011	DBLP DOI BibTeX RDF	real-time model-based testing, CAN, testing tool, Real-time embedded systems
2	Shaobo Liu, Jun Lu, Qing Wu, Qinru Qiu	Load-matching adaptive task scheduling for energy efficiency in energy harvesting real-time embedded systems.	ISLPED	2010	DBLP DOI BibTeX RDF	embedded system, real time, task scheduling, energy harvest
2	Ke Liang, Xingshe Zhou, Ruiqing Sheng, Kailong Zhang	Adaptive resource management architecture for distributed real-time embedded systems.	SAC	2009	DBLP DOI BibTeX RDF	adaptive, resource management, feedback control, avionic, distributed real-time embedded systems
2	Weixun Wang, Prabhat Mishra, Ann Gordon-Ross	SACR: Scheduling-Aware Cache Reconfiguration for Real-Time Embedded Systems.	VLSI Design	2009	DBLP DOI BibTeX RDF
2	Hugh Anderson, Siau-Cheng Khoo	Improving Responsiveness of Hard Real-Time Embedded Systems.	TASE	2009	DBLP DOI BibTeX RDF
2	Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Guillem Bernat, Mateo Valero	Hardware support for WCET analysis of hard real-time multicore systems.	ISCA	2009	DBLP DOI BibTeX RDF	wcet, interconnection network, multicore, hard real-time, real-time embedded systems, cache partitioning, analyzability
2	Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang Lyul Min	A design framework for real-time embedded systems with code size and energy constraints.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	scheduling, real-time, Embedded, energy, code size
2	Hung Ledang, Hubert Dubois, Sébastien Gérard	Towards a traceability model in a MARTE-based methodology for real-time embedded systems.	ISSE	2008	DBLP DOI BibTeX RDF	Traceability, MDE, Requirement management
2	Muhammad Sheikh Sadi, D. G. Myers, Cesar Ortega Sanchez	A Design Approach for Soft Error Protection in Real-Time Embedded Systems.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	Real-Time Embedded Systems and Metrics, Soft Error
2	Ranjani Sridharan, Nikhil Gupta, Rabi N. Mahapatra	Feedback-controlled reliability-aware power management for real-time embedded systems.	DAC	2008	DBLP DOI BibTeX RDF	dynamic fault-tolerance, dynamic power management
2	Francisco Afonso, Carlos A. Silva, Adriano Tavares, Sergio Montenegro	Application-level fault tolerance in real-time embedded systems.	SIES	2008	DBLP DOI BibTeX RDF
2	Bach Duy Bui, Marco Caccamo, Lui Sha, Joseph Martinez	Impact of Cache Partitioning on Multi-tasking Real Time Embedded Systems.	RTCSA	2008	DBLP DOI BibTeX RDF
2	Ke Liang, Xingshe Zhou, Kailong Zhang, Ruiqing Sheng	Architecture for Autonomous Distributed Real-Time Embedded Systems.	ISIP	2008	DBLP DOI BibTeX RDF	Autonomous Distributed Real-time Embedded Systems, Adaptive, Agent, Resource Management
2	Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada, Tohru Ishihara	A Generalized Framework for System-Wide Energy Savings in Hard Real-Time Embedded Systems.	EUC	2008	DBLP DOI BibTeX RDF
2	Baoxian Zhao, Hakan Aydin, Dakai Zhu	Reliability-aware Dynamic Voltage Scaling for energy-constrained real-time embedded systems.	ICCD	2008	DBLP DOI BibTeX RDF
2	Serena Fritsch, Siobhán Clarke	TimeAdapt: timely execution of dynamic software reconfigurations.	Middleware (Doctoral Symposium)	2008	DBLP DOI BibTeX RDF	dynamic software reconfiguration, real-time embedded systems, timeliness
2	Jiong Luo, Niraj K. Jha	Power-Efficient Scheduling for Heterogeneous Distributed Real-Time Embedded Systems.	IEEE Trans. on CAD of Integrated Circuits and Systems	2007	DBLP DOI BibTeX RDF
2	David Matschulat, César A. M. Marcon, Fabiano Hessel	ER-EDF: A QoS Scheduler for Real-Time Embedded Systems.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
2	John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef	Validation Support for Distributed Real-Time Embedded Systems in VDM++.	HASE	2007	DBLP DOI BibTeX RDF
2	Yanhong Liu, Bharadwaj Veeravalli, Sivakumar Viswanathan	Novel critical-path based low-energy scheduling algorithms for heterogeneous multiprocessor real-time embedded systems.	ICPADS	2007	DBLP DOI BibTeX RDF
2	Huynh Phung Huynh, Tulika Mitra	Instruction-set customization for real-time embedded systems.	DATE	2007	DBLP DOI BibTeX RDF
2	Elias Teodoro Silva Jr., Marco A. Wehrmeister, Flávio Rech Wagner, Carlos Eduardo Pereira	An approach to improve predictability in communication services in distributed real-time embedded systems.	JTRES	2007	DBLP DOI BibTeX RDF	real-time systems, energy efficiency, embedded applications, networked embedded systems
2	Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada	A Software Framework for Energy and Performance Tradeoff in Fixed-Priority Hard Real-Time Embedded Systems.	EUC	2007	DBLP DOI BibTeX RDF
2	Hung Ledang, Dang Van Hung	Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.	TASE	2007	DBLP DOI BibTeX RDF
2	Simona Bernardi, José Merseguer	A UML profile for dependability analysis of real-time embedded systems.	WOSP	2007	DBLP DOI BibTeX RDF	dependability, UML profiles, real-time embedded systems
2	Paul Pop, Petru Eles, Zebo Peng, Traian Pop	Analysis and optimization of distributed real-time embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF
2	Ying Zhang, Krishnendu Chakrabarty	A unified approach for fault tolerance and dynamic power management in fixed-priority real-time embedded systems.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Kyoung-Don Kang, Sang Hyuk Son	Systematic Security and Timeliness Tradeoffs in Real-Time Embedded Systems.	RTCSA	2006	DBLP DOI BibTeX RDF
2	Jérôme Hugues, Laurent Pautet, Bechir Zalila	From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
2	Alain Girault, Hamoudi Kalla, Yves Sorel	Transient Processor/Bus Fault Tolerance for Embedded Systems.	DIPES	2006	DBLP DOI BibTeX RDF	hybrid redundancy, safety-critical systems, transient faults, real-time embedded systems, scheduling heuristics, heterogeneous architectures, data fragmentation
2	Rabi N. Mahapatra, Wei Zhao	An Energy-Efficient Slack Distribution Technique for Multimode Distributed Real-Time Embedded Systems.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	traffic descriptor, slack management, service rate, low-power, Multimode
2	Le Yan, Jiong Luo, Niraj K. Jha	Joint dynamic voltage scaling and adaptive body biasing for heterogeneous distributed real-time embedded systems.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
2	G. Sudha Anil Kumar, G. Manimaran	An Intra-task DVS Algorithm Exploiting Program Path Locality for Real-Time Embedded Systems.	HiPC	2005	DBLP DOI BibTeX RDF
2	Amjad Mohsen, Richard Hofmann	Power-Aware Scheduling for Hard Real-Time Embedded Systems Using Voltage-Scaling Enabled Architectures.	PATMOS	2005	DBLP DOI BibTeX RDF
2	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
2	Amjad Mohsen, Richard Hofmann	Efficient Voltage Scheduling and Energy-Aware Co-synthesis for Real-Time Embedded Systems.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
2	Julien DeAntoni, Jean-Philippe Babau	A MDA-based approach for real time embedded systems simulation.	DS-RT	2005	DBLP DOI BibTeX RDF
2	Cagkan Erbas, Selin C. Erbas, Andy D. Pimentel	Static priority scheduling of event triggered real time embedded systems.	MEMOCODE	2004	DBLP DOI BibTeX RDF
2	Amjad Mohsen, Richard Hofmann	Power Modeling, Estimation, and Optimization for Automated Co-design of Real-Time Embedded Systems.	PATMOS	2004	DBLP DOI BibTeX RDF
2	Marco A. Wehrmeister, Leandro Buss Becker, Carlos Eduardo Pereira	Optimizing Real-Time Embedded Systems Development Using a RTSJ-Based API.	OTM Workshops	2004	DBLP DOI BibTeX RDF
2	Ying Zhang, Robert P. Dick, Krishnendu Chakrabarty	Energy-aware deterministic fault tolerance in distributed real-time embedded systems.	DAC	2004	DBLP DOI BibTeX RDF	fault tolerance, real-time systems, checkpointing, voltage scaling
2	Tomoya Kitani, Yoshifumi Takamoto, Keiichi Yasumoto, Akio Nakata, Teruo Higashino	A Flexible and High-Reliable HW/SW Co-Design Method for Real-Time Embedded Systems.	RTSS	2004	DBLP DOI BibTeX RDF	parametric model checking, real-time systems, high-level synthesis, HW/SW co-design
2	You-wei Yuan, La-mei Yan, Qing-ping Guo	The Efficient QoS Control in Distributed Real-Time Embedded Systems.	ICESS	2004	DBLP DOI BibTeX RDF	Quality of Service (QoS), Embedded Systems, Real Time, Distributed Computation
2	Joseph P. Loyall	Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems.	EMSOFT	2003	DBLP DOI BibTeX RDF
2	Loïc Pontani, Denis Dupont	Scheduling and Assignment for Real-time Embedded Systems with Resource Contention.	DSD	2003	DBLP DOI BibTeX RDF
2	Kevin Hammond, Greg Michaelson	The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain.	Domain-Specific Program Generation	2003	DBLP DOI BibTeX RDF
2	Pao-Ann Hsiung, Shu-Yu Cheng	Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems.	VLSI Design	2003	DBLP DOI BibTeX RDF
2	Ying Zhang, Krishnendu Chakrabarty	Fault Recovery Based on Checkpointing for Hard Real-Time Embedded Systems.	DFT	2003	DBLP DOI BibTeX RDF
2	Ying Zhang, Krishnendu Chakrabarty, Vishnu Swaminathan	Energy-Aware Fault Tolerance in Fixed-Priority Real-Time Embedded Systems.	ICCAD	2003	DBLP DOI BibTeX RDF
2	Ken Sakamura, Noboru Koshizuka	T-Engine: The Open, Real-Time Embedded-Systems Platform.	IEEE Micro	2002	DBLP DOI BibTeX RDF
2	Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet	Timing fault detection for safety-critical real-time embedded systems.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
2	Samarjit Chakraborty, Thomas Erlebach, Simon Künzli, Lothar Thiele	Schedulability of event-driven code blocks in real-time embedded systems.	DAC	2002	DBLP DOI BibTeX RDF
2	Jian-Liang Kuo, Tien-Fu Chen	Dynamic voltage leveling scheduling for real-time embedded systems on low-power variable speed processors.	CASES	2002	DBLP DOI BibTeX RDF	real-time systems, low power, dynamic voltage scaling
2	Xiaobo Sharon Hu, Tao Zhou, Edwin Hsing-Mean Sha	Estimating probabilistic timing performance for real-time embedded systems.	IEEE Trans. VLSI Syst.	2001	DBLP DOI BibTeX RDF
2	Joseph M. Clifton	A CS/SE approach to a real-time embedded systems software development course.	SIGCSE	2001	DBLP DOI BibTeX RDF
2	José M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya	Deriving hard real-time embedded systems implementations directly from SDL specifications.	CODES	2001	DBLP DOI BibTeX RDF	scheduler, embedded system, real-time, SDL
2	Frank-Michael Renner, Jürgen Becker, Manfred Glesner	Automated Communication Synthesis for Architecture-Precise Rapid Prototyping of Real-Time Embedded Systems. (PDF / PS)	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	automated communication synthesis, architecture-precise rapid prototyping, performance modeling, Hardware/software codesign, real-time embedded systems
2	Razvan Jigorea, Sorin Manolache, Petru Eles, Zebo Peng	Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML.	ISORC	2000	DBLP DOI BibTeX RDF
2	Alex Niemegeers, Gjalt G. de Jong	An Incremental Specification Flow for Real Time Embedded Systems.	DATE	2000	DBLP DOI BibTeX RDF
2	Alexander Münnich, Georg Färber	Calculating Worst-Case Execution Times of Transactions in Databases for Event-Driven, Hard Real-Time Embedded Systems. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	worst-case execution, transaction managenrent, real-time systems, concurrency control, real-time embedded systems, safety-critical
2	Frank-Michael Renner, Jürgen Becker, Manfred Glesner	Field Programmable Communication Emulation and Optimization for Embedded System Design.	FPL	2000	DBLP DOI BibTeX RDF	architecture-precise rapid prototyping, field programmable emulation, Hardware/software codesign, real-time embedded systems
2	Adel Baganne, Jean Luc Philippe, Eric Martin	Hardware interface design for real time embedded systems.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF	real time digital signal processing, hardware interface design, codesign approach, storage components, hardware-software components, I/O data modeling style, hardware I/O transfer sequences, high level synthesis tool, GAUT, I/O transfer order, cosynthesis tool, real-time systems, ASICs, timing constraints, generic model, data communication, real time embedded systems, formal technique, interface specification, FFT algorithms, allocation problem
2	Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes	A Formal Design and Implementation Method for Real-Time Embedded Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	real-time system development, AORTA, development life cycle, real-time systems, real-time systems, verification, real-time embedded systems, formal designs
2	Joseph G. D'Ambrosio, Xiaobo Sharon Hu	Configuration-level hardware/software partitioning for real-time embedded systems.	CODES	1994	DBLP DOI BibTeX RDF
1	Po-Yueh Chen, Chao-Chin Wu, Ying-Jie Jiang	Bitmask-based code compression methods for balancing power consumption and code size for hard real-time embedded systems.	Microprocessors and Microsystems - Embedded Hardware Design	2012	DBLP DOI BibTeX RDF
1	Ernesto Wandeler, Alexander Maxiaguine, Lothar Thiele	On the use of greedy shapers in real-time embedded systems.	ACM Trans. Embedded Comput. Syst.	2012	DBLP DOI BibTeX RDF
1	Adel Mahfoudhi, Yessine Hadj Kacem, Walid Karamti, Mohamed Abid	Compositional specification of real time embedded systems by priority time Petri Nets.	The Journal of Supercomputing	2012	DBLP DOI BibTeX RDF
1	Chuan He, Xiaomin Zhu, Hui Guo, Dishan Qiu, Jianqing Jiang	Rolling-horizon scheduling for energy constrained distributed real-time embedded systems.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	Tiantian Liu, Minming Li, Chun Jason Xue	Instruction cache locking for multi-task real-time embedded systems.	Real-Time Systems	2012	DBLP DOI BibTeX RDF
1	Fahad Bin Tariq	Deterministic Runtime Adaptation for Hard Real-time Embedded Systems with Processing Constraints.	PECCS	2012	DBLP BibTeX RDF
1	Ke Jiang, Petru Eles, Zebo Peng	Co-design techniques for distributed real-time embedded systems with communication security constraints.	DATE	2012	DBLP BibTeX RDF
1	Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin	Design of Adaptive Security Mechanisms for Real-Time Embedded Systems.	ESSoS	2012	DBLP DOI BibTeX RDF
1	Ian Gray, Neil C. Audsley	Developing Predictable Real-Time Embedded Systems Using AnvilJ.	IEEE Real-Time and Embedded Technology and Applications Symposium	2012	DBLP DOI BibTeX RDF
1	Kai Huang	Towards many core real-time embedded systems: software design of streaming systems at system level.		2011	RDF
1	Weixun Wang, Prabhat Mishra	Dynamic Reconfiguration of Two-Level Cache Hierarchy in Real-Time Embedded Systems.	J. Low Power Electronics	2011	DBLP DOI BibTeX RDF
1	Stéphane Lecomte, Samuel Guillouard, Christophe Moy, Pierre Leray, Philippe Soulard	A co-design methodology based on model driven architecture for real time embedded systems.	Mathematical and Computer Modelling	2011	DBLP DOI BibTeX RDF
1	Xing Fu, Xiaorui Wang, Eric Puster	Simultaneous thermal and timeliness guarantees in distributed real-time embedded systems.	Journal of Systems Architecture - Embedded Systems Design	2011	DBLP DOI BibTeX RDF
1	Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian	Scheduling Real-Time Embedded Systems Based on TCPNIA.	JSW	2011	DBLP DOI BibTeX RDF
1	Arnab Sarkar, A. Shanker, Sujoy Ghose, P. P. Chakrabarti	A Low-Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems.	Embedded Systems Letters	2011	DBLP DOI BibTeX RDF
1	Linwei Niu	Energy efficient scheduling for real-time embedded systems with QoS guarantee.	Real-Time Systems	2011	DBLP DOI BibTeX RDF
1	Muhammad Khurram Bhatti, Cécile Belleudy, Michel Auguin	Hybrid power management in real time embedded systems: an interplay of DVFS and DPM techniques.	Real-Time Systems	2011	DBLP DOI BibTeX RDF
1	Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale	MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems.	ECBS	2011	DBLP DOI BibTeX RDF	Distributed Real-time Embedded, Dependability, Model-driven Engineering, Component-based Systems
1	Yue Lu, Johan Kraft, Thomas Nolte, Iain Bate	A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems.	SAC	2011	DBLP DOI BibTeX RDF
1	Kyle Persohn, Dennis Brylow	Interactive Real-Time Embedded Systems Education Infused with Applied Internet Telephony.	COMPSAC	2011	DBLP DOI BibTeX RDF
1	Jan Vitek	Virtualizing real-time embedded systems with Java.	DAC	2011	DBLP DOI BibTeX RDF
1	Linh T. X. Phan, Insup Lee, Oleg Sokolsky	Compositional analysis of real-time embedded systems.	CASES	2011	DBLP DOI BibTeX RDF
1	Xi Wang, Mohamed Khalgui, Zhiwu Li	Dynamic Low Power Reconfigurations of Real-time Embedded Systems.	PECCS	2011	DBLP BibTeX RDF
1	Yue Lu, Thomas Nolte, Iain Bate, Liliana Cucu-Grosjean	A statistical response-time analysis of complex real-time embedded systems by using timing traces.	SIES	2011	DBLP DOI BibTeX RDF
1	Yue Lu, Thomas Nolte, Iain Bate, Johan Kraft, Christer Norström	Assessment of trace-differences in timing analysis for Complex Real-Time Embedded Systems.	SIES	2011	DBLP DOI BibTeX RDF
1	Linwei Niu	System-level energy-efficient scheduling for hard real-time embedded systems.	DATE	2011	DBLP BibTeX RDF
1	Etienne Borde, Jan Carlson	Towards verified synthesis of ProCom, a component model for real-time embedded systems.	CBSE	2011	DBLP DOI BibTeX RDF
1	W. El Hajj Chehade, Ansgar Radermacher, François Terrier, Bran Selic, Sébastien Gérard	A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems.	ICECCS	2011	DBLP DOI BibTeX RDF
1	Subash Sachidananda, Alexander Dean	EMI- and Energy-Aware Scheduling of Switching Power Supplies in Hard Real-Time Embedded Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2011	DBLP DOI BibTeX RDF
1	Tohru Ishihara	A Multi-Performance Processor for Reducing the Energy Consumption of Real-Time Embedded Systems.	IEICE Transactions	2010	DBLP BibTeX RDF
1	Rodolfo Pellizzoni, Marco Caccamo	Impact of Peripheral-Processor Interference on WCET Analysis of Real-Time Embedded Systems.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Real-time resource management, components-off-the-shelf, WCET estimation, system integration
1	Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio	Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems.	IEEE Trans. Industrial Informatics	2010	DBLP DOI BibTeX RDF