Search results for "RTOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Célio Estevan Morón, Antonio Ideguchi, Marcio Merino Fernandes, Allen D. Malony	From MultiTask to MultiCore: Design and Implementation Using an RTOS.	ISPDC	2014	DBLP DOI BibTeX RDF
19	Rainer Muller, Daniel Danner, Wolfgang Schröder-Preikschat, Daniel Lohmann	Multi Sloth: An Efficient Multi-core RTOS Using Hardware-Based Scheduling.	ECRTS	2014	DBLP DOI BibTeX RDF
19	Pavel G. Zaykov, Georgi Kuzmanov, Anca Mariana Molnos, Kees Goossens	Hardware Task-Status Manager for an RTOS with FIFO communication.	ReConFig	2014	DBLP DOI BibTeX RDF
19	Douglas Paulo Bertrand Renaux	Comparative Performance Evaluation of CMSIS-RTOS.	SBESC	2014	DBLP DOI BibTeX RDF
19	Sachoun Park, Gihwon Kwon	Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA.	FCC	2014	DBLP DOI BibTeX RDF
19	Julien Heulot, Judicael Menant, Maxime Pelcat, Jean-François Nezan, Luce Morin, Muriel Pressigout, Slaheddine Aridhi	Demonstrating a dataflow-based RTOS for heterogeneous MPSoC by means of a stereo matching application.	DASIP	2014	DBLP DOI BibTeX RDF
19	Young-Seung Kim, Hyun-Wook Jin	Towards a practical implementation of criticality mode change in RTOS.	ETFA	2014	DBLP DOI BibTeX RDF
19	Mohamed El Mehdi Aichouch	Evaluation of a multiple criticality real-time virtual machine system and configuration of an RTOS's resources allocation techniques. (Évaluation de la virtualisation sur les systèmes temps-réel à criticité multiple et configuration des techniques d'allocation de ressources sur les systèmes d'exploitation temps-réel).		2014	RDF
19	Amol Wakankar, Arindam Khan 0002, G. Aravamuthan, A. K. Bhattacharjee	Experience with testing and rigorous program analysis for qualification of RTOS.	ISEC	2013	DBLP DOI BibTeX RDF
19	Jingwei Yang, Xiang Long, Xukun Shen, Lei Wang 0126, Shuaitao Feng, Siyao Zheng	Towards RTOS: A Preemptive Kernel Basing on Barrelfish.	APPT	2013	DBLP DOI BibTeX RDF
19	Mehdi Aïchouch, Jean-Christophe Prévotet, Fabienne Nouvel	Evaluation of the overheads and latencies of a virtualized RTOS.	SIES	2013	DBLP DOI BibTeX RDF
19	Alexandra Aguiar, Sergio Johann Filho, Felipe Gohring de Magalhaes, Fabiano Hessel	Customizable RTOS to support communication infrastructures and to improve design space exploration in MPSoCs.	RSP	2013	DBLP DOI BibTeX RDF
19	Martin Hoffmann 0001, Christian Dietrich 0001, Daniel Lohmann	Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience.	GI-Jahrestagung	2013	DBLP BibTeX RDF
19	Mehdi Aïchouch, Jean-Christophe Prévotet, Fabienne Nouvel	Evaluation of an RTOS on top of a hosted virtual machine system.	DASIP	2013	DBLP BibTeX RDF
19	Martin Hoffmann 0001, Christian Dietrich 0001, Daniel Lohmann	dOSEK: A Dependable RTOS for Automotive Applications.	PRDC	2013	DBLP DOI BibTeX RDF
19	Shuichi Oikawa	Decoupling dynamic resource management functions from RTOS for heterogeneous multi-core systems.	GCCE	2013	DBLP DOI BibTeX RDF
19	Yi Tang	RTOS Speedup Methods for Hard Real-time Embedded Systems on FPGA		2013	RDF
19	Moustapha Bikienga, Dominique Geniet, Annie Choquet-Geniet	Observation tools for effective schedules in a RTOS.	SIGBED Rev.	2012	DBLP DOI BibTeX RDF
19	Xiongli Gu, Peng Liu 0016, Mei Yang, Jie Yang, Cheng Li, Qingdong Yao	An efficient scheduler of RTOS for multi/many-core system.	Comput. Electr. Eng.	2012	DBLP DOI BibTeX RDF
19	Ling Fang, Takashi Kitamura 0001, Thi Bich Ngoc Do, Hitoshi Ohsaki	Formal Model-Based Test for AUTOSAR Multicore RTOS.	ICST	2012	DBLP DOI BibTeX RDF
19		Erratum: Modeling and Verifying the Kernel of RTOS.	ICICA (1)	2012	DBLP DOI BibTeX RDF
19		Modeling and Verifying the Kernel of RTOS.	ICICA (1)	2012	DBLP DOI BibTeX RDF
19	Martijn M. H. P. van den Heuvel, Reinder J. Bril, Johan J. Lukkien, Damir Isovic, Gowri Sankar Ramachandran	RTOS Support for Mixed Time-triggered and Event-triggered Task Sets.	CSE	2012	DBLP DOI BibTeX RDF
19	Stéphane Rubini, Jean-Philippe Babau, Jalil Boukhobza	A Hardware/Software CBSE Framework for RTOS Services: The Timing Service Case Study.	CSE	2012	DBLP DOI BibTeX RDF
19	Wanja Hofer, Daniel Danner, Rainer Muller, Fabian Scheler, Wolfgang Schröder-Preikschat, Daniel Lohmann	Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS.	RTSS	2012	DBLP DOI BibTeX RDF
19	Shuichi Oikawa	Architecting RTOS for Extensibility by Heterogeneous Multiprocessing with Proxy Kernels.	SNPD	2012	DBLP DOI BibTeX RDF
19	Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid	A MDD Approach for RTOS Integration on Valid Real-Time Design Model.	EUROMICRO-SEAA	2012	DBLP DOI BibTeX RDF
19	Jonathan L. Herman, Christopher J. Kenna, Malcolm S. Mollison, James H. Anderson, Daniel M. Johnson 0004	RTOS Support for Multicore Mixed-Criticality Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2012	DBLP DOI BibTeX RDF
19	Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid	Real-time design models to RTOS-specific models refinement verification.	ACES-MB@MoDELS	2012	DBLP DOI BibTeX RDF
19	Martijn M. H. P. van den Heuvel, Reinder J. Bril, Johan J. Lukkien, Damir Isovic, Gowri Sankar Ramachandran	Towards RTOS support for mixed time-triggered and event-triggered task sets.	ETFA	2012	DBLP DOI BibTeX RDF
19	Anders Blaabjerg Lange, Karsten Holm Andersen, Ulrik Pagh Schultz, Anders Stengaard Sørensen	HartOS - A hardware implemented RTOS for hard real-time applications.	PDeS	2012	DBLP DOI BibTeX RDF
19	Ahmed Karim Ben Salem, Slim Ben Othman, Moktar Bouain, Slim Ben Saoud	Exploring SoPC technology and RTOS issues for industrial motor control.	DTIS	2012	DBLP DOI BibTeX RDF
19	Arnaldo S. R. Oliveira, Luís Almeida 0001, António de Brito Ferrari	The ARPA-MT Embedded SMT Processor and Its RTOS Hardware Accelerator.	IEEE Trans. Ind. Electron.	2011	DBLP DOI BibTeX RDF
19	Lois Burgess, Belinda Parish, Carole Alcock	To what extent are regional tourism organisations (RTOs) in Australia leveraging the benefits of web technology for destination marketing and eCommerce?	Electron. Commer. Res.	2011	DBLP DOI BibTeX RDF
19	Julian Wolf 0002, Mike Gerdes 0001, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer	RTOS support for execution of parallelized hard real-time tasks on the MERASA multi-core processor.	Comput. Syst. Sci. Eng.	2011	DBLP BibTeX RDF
19	Joachim Denil, Serge Demeyer, Paul De Meulenaere, Kurt Maudens, Kris Van Stechelman	Migrating from a Proprietary RTOS to the OSEK Standard Using a Wrapper - A Feasibility Study.	Solutions on Embedded Systems	2011	DBLP DOI BibTeX RDF
19	Parisa Razaghi, Andreas Gerstlauer	Host-compiled multicore RTOS simulator for embedded real-time software development.	DATE	2011	DBLP DOI BibTeX RDF
19	Andre Nógueira, Mario Calha	Predictability and Efficiency in Contemporary Hard RTOS for Multiprocessor Systems.	RTCSA (2)	2011	DBLP DOI BibTeX RDF
19	Jong-Woong Kim, Soo-Hyun Kwon, Kab-Su Han, Jeong-Hoon Cho	Improving the Performance of RTOS using Multiple Register Files Architecture.	PECCS	2011	DBLP BibTeX RDF
19	Dhiego Silva, Letícia Maria Veiras Bolzani, Fabian Vargas 0001	An intellectual property core to detect task schedulling-related faults in RTOS-based embedded systems.	IOLTS	2011	DBLP DOI BibTeX RDF
19	Carlos Ivan Castro Marquez, Marius Strum, Wang Jiang Chau, Fabian Vargas 0001	Formally verifying an RTOS scheduling monitor IP core in embedded systems.	LATW	2011	DBLP DOI BibTeX RDF
19	A. D. Jadhav, S. D. Mali	RTOS based MODBUS protocol implementation on ARM-7 processor.	ICWET	2011	DBLP DOI BibTeX RDF
19	Yaset Oliva, Maxime Pelcat, Jean-François Nezan, Jean-Christophe Prévotet, Slaheddine Aridhi	Building a RTOS for MPSoC dataflow programming.	SoC	2011	DBLP DOI BibTeX RDF
19	Yingxu Wang 0001, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian	The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors.	Int. J. Softw. Sci. Comput. Intell.	2010	DBLP DOI BibTeX RDF
19	Yingxu Wang 0001, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Choy, Yousheng Tian	The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks.	Int. J. Softw. Sci. Comput. Intell.	2010	DBLP DOI BibTeX RDF
19	Julian Wolf 0002, Mike Gerdes 0001, Florian Kluge, Sascha Uhrig, Jörg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cassé, Pascal Sainrat, Theo Ungerer	RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor.	ISORC	2010	DBLP DOI BibTeX RDF
19	Hector Posadas, Eugenio Villar, Dominique Ragot, Marcos Martínez	Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment.	ISORC	2010	DBLP DOI BibTeX RDF
19	Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller 0003	Assertion-based verification of RTOS properties.	DATE	2010	DBLP DOI BibTeX RDF
19	Yonghyun Hwang, Gunar Schirner, Samar Abdi, Daniel D. Gajski	Accurate timed RTOS model for transaction level modeling.	DATE	2010	DBLP DOI BibTeX RDF
19	Markus Becker 0001, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller 0003, Graziano Pravadelli, Tao Xie 0006	RTOS-aware refinement for TLM2.0-based HW/SW designs.	DATE	2010	DBLP DOI BibTeX RDF
19	R. Maheswari, S. Sheeba Rani	An interactive RTOS based machine controller through speech using ESTREL.	A2CWiC	2010	DBLP DOI BibTeX RDF
19	Naotaka Maruyama, Tohru Ishihara, Hiroto Yasuura	An RTOS in hardware for energy efficient software-based TCP/IP processing.	SASP	2010	DBLP DOI BibTeX RDF
19	Sandro Penolazzi, Ingo Sander, Ahmed Hemani	Inferring Energy and Performance Cost of RTOS in Priority-Driven Scheduling.	SIES	2010	DBLP DOI BibTeX RDF
19	Gunar Schirner	Exploring SW performance using preemptive RTOS models.	International Symposium on Rapid System Prototyping	2010	DBLP DOI BibTeX RDF
19	Matthias Müller 0004, Joachim Gerlach, Wolfgang Rosenstiel	RTOS-aware modeling of embedded hardware/software systems.	ICCD	2010	DBLP DOI BibTeX RDF
19	Markus Becker 0001, Henning Zabel, Wolfgang Müller 0003	A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.	DIPES/BICC	2010	DBLP DOI BibTeX RDF
19	Amir A. Khwaja, Joseph E. Urban	Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language.	ESA	2010	DBLP BibTeX RDF
19	Henning Zabel	Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen.		2010	RDF
19	Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira, Franz J. Rammig	Run-time reconfigurable RTOS for reconfigurable systems-on-chip.	J. Embed. Comput.	2009	DBLP DOI BibTeX RDF
19	Benoît Miramond, Emmanuel Huck, François Verdier, Mohamed El Amine Benkhelifa, Bertrand Granado, Thomas LeFebvre, Mehdi Aïchouch, Jean-Christophe Prévotet, Yaset Oliva, Daniel Chillet, Sébastien Pillement	OveRSoC: A Framework for the Exploration of RTOS for RSoC Platforms.	Int. J. Reconfigurable Comput.	2009	DBLP DOI BibTeX RDF
19	Henning Zabel, Wolfgang Müller 0003	Increased accuracy through noise injection in abstract RTOS simulation.	DATE	2009	DBLP DOI BibTeX RDF
19	Jimmy Tarrillo, Letícia Maria Veiras Bolzani Poehls, Fabian Vargas 0001	A Hardware-Scheduler for Fault Detection in RTOS-Based Embedded Systems.	DSD	2009	DBLP DOI BibTeX RDF
19	Xiao-Wei Wang, Weinan Chen, Ying Wang 0032, Chenglian Peng	A Co-design Flow for Reconfigurable Embedded Computing System with RTOS Support.	ICESS	2009	DBLP DOI BibTeX RDF
19	Markus Becker 0001, Henning Zabel, Wolfgang Müller 0003, Ulrich Kiffmeier	Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme.	MBMV	2009	DBLP BibTeX RDF
19	Zaosheng Zhang, Tinglei Huang	Research and Implementation on the Embedded RTOS for the Ethernet Data Acquisition and Transmission System.	WGEC	2009	DBLP DOI BibTeX RDF
19	Masato Kamio, Keiichi Nakamura, Shinsuke Kobayashi, Noboru Koshizuka, Ken Sakamura	Micro T-Kernel: A Low Power and Small Footprint RTOS for Networked Tiny Devices.	ITNG	2009	DBLP DOI BibTeX RDF	Embedded Real-Time Operating System, Small Footprint, Sensor Networks, Low Power, Multitasking
19	Yonghyun Hwang, Gunar Schirner, Samar Abdi	Automatic Generation of Cycle-Approximate TLMs with Timed RTOS Model Support.	IESS	2009	DBLP DOI BibTeX RDF
19	Lois Burgess, Belinda Parrish, Joan Cooper, Carole Alcock	A Longitudinal Study of the Use of the Web by Regional Tourism Organisations (RTOs) in Australia.	Bled eConference	2009	DBLP BibTeX RDF
19	Santanu Kumar Dash 0001, Thambipillai Srikanthan	Modeling RTOS Components for Instruction Cache Hit Rate Estimation.	ISCAS	2009	DBLP DOI BibTeX RDF
19	Jiseong Oh, Woongee Kim, Woohyong Lee, Youngki Chung	Scalable RTOS for SoC Platform Environments.	CSIE (7)	2009	DBLP DOI BibTeX RDF
19	Simon Oberthür	Towards an RTOS for self-optimizing mechatronic systems. (PDF / PS)		2009	RDF
19	Seiya Shibata, Shinya Honda, Yuko Hara, Hiroyuki Tomiyama, Hiroaki Takada	Embedded System Covalidation with RTOS Model and FPGA.	IPSJ Trans. Syst. LSI Des. Methodol.	2008	DBLP DOI BibTeX RDF
19	Antino Kim, Kang G. Shin	Impact of RTOS parameters on end-to-end timing performance.	SIGBED Rev.	2008	DBLP DOI BibTeX RDF
19	François Verdier, Benoît Miramond, Mickaël Maillard, Emmanuel Huck, Thomas LeFebvre	Using High-Level RTOS Models for HW/SW Embedded Architecture Exploration: Case Study on Mobile Robotic Vision.	EURASIP J. Embed. Syst.	2008	DBLP DOI BibTeX RDF
19	Yvan Eustache, Jean-Philippe Diguet	Reconfiguration Management in the Context of RTOS-Based HW/SW Embedded Systems.	EURASIP J. Embed. Syst.	2008	DBLP DOI BibTeX RDF
19	James O. Hamblen	Using a Low-Cost SoC Computer and a Commercial RTOS in an Embedded Systems Design Course.	IEEE Trans. Educ.	2008	DBLP DOI BibTeX RDF
19	Henning Zabel, Wolfgang Müller 0003	Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC.	MBMV	2008	DBLP BibTeX RDF
19	Matthias Müller 0004, Joachim Gerlach, Wolfgang Rosenstiel	Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität.	MBMV	2008	DBLP BibTeX RDF
19	M. H. El-Malaki, M. Watheq El-Kharashi, Sherif Hammad, Ashraf Salem, Abdel-Moniem Wahdan	A Platform Approach for Hardware/Software Co-Design with Support for RTOS-Based Systems.	J. Circuits Syst. Comput.	2007	DBLP DOI BibTeX RDF
19	M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai	RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC	CoRR	2007	DBLP BibTeX RDF
19	James O. Hamblen	Using a Low-Cost SoC Computer and a Commercial RTOS in an Embedded Systems Design Course.	MSE	2007	DBLP DOI BibTeX RDF
19	Marcelo Götz	Run-time reconfigurable RTOS for reconfigurable systems on chip. (PDF / PS)		2007	RDF
19	Yvan Eustache, Jean-Philippe Diguet, Milad El Khodary	RTOS-Based Hardware Software Communications and Configuration Management in the Context of a Smart Camera.	ERSA	2006	DBLP BibTeX RDF
19	Hiroaki Nakamura, Naoto Sato, Naoshi Tabuchi	An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC.	DATE	2006	DBLP DOI BibTeX RDF
19	Tero Arpinen, Petri Kukkala, Erno Salminen, Marko Hännikäinen, Timo D. Hämäläinen	Configurable multiprocessor platform with RTOS for distributed execution of UML 2.0 designed applications.	DATE	2006	DBLP DOI BibTeX RDF
19	Marcelo Götz, Florian Dittmann 0001	Reconfigurable Microkernel-based RTOS: Mechanisms and Methods for Run-Time Reconfiguration.	ReConFig	2006	DBLP DOI BibTeX RDF
19	Yvan Eustache, Jean-Philippe Diguet, Milad Elkhodary	RTOS extensions for dynamic hardware / software monitoring and configuration management.	IPDPS	2006	DBLP DOI BibTeX RDF
19	Marcelo Götz, Florian Dittmann 0001	Scheduling Reconfiguration Activities of Run-Time Reconfigurable RTOS Using an Aperiodic Task Server.	ARC	2006	DBLP DOI BibTeX RDF
19	Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Yvon Trinquet	Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.	ETFA	2006	DBLP DOI BibTeX RDF
19	Ghislain Roquier, Mickaël Raulet, Jean-François Nezan, Olivier Déforges	Using RTOS in the AAA methodology automatic executive generation.	EUSIPCO	2006	DBLP BibTeX RDF
19	Hector Posadas, Jesús Ádamez, Eugenio Villar, Francisco Blasco, F. Escuder	RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model.	Des. Autom. Embed. Syst.	2005	DBLP DOI BibTeX RDF
19	Hiroyuki Tomiyama, Shin-ichiro Chikada, Shinya Honda, Hiroaki Takada	An RTOS-Based Design and Validation Methodology for Embedded Systems.	IEICE Trans. Inf. Syst.	2005	DBLP DOI BibTeX RDF
19	Qing Li	Fundamentals of RTOS-Based Digital Controller Implementation.	Handbook of Networked and Embedded Control Systems	2005	DBLP BibTeX RDF
19	François Verdier, Jean-Christophe Prévotet, Mohamed El Amine Benkhelifa, Daniel Chillet, Sébastien Pillement	Exploring RTOS issues with a high-level model of a reconfigurable SoC platform.	ReCoSoC	2005	DBLP BibTeX RDF
19	Marc Gerecke, Wilfried Gerth	Aufbau eines Stereokamerasystems zum Betrieb unter RTOS-UH.	PEARL	2005	DBLP DOI BibTeX RDF
19	Bo Zhou, Weidong Qiu, Yan Chen, Chenglian Peng	SHUM-uCOS: A RTOS using multi-task model to reduce migration cost between SW/HW tasks.	CSCWD (2)	2005	DBLP DOI BibTeX RDF
19	Björn Griese, Simon Oberthür, Mario Porrmann	Component Case Study of a Self-Optimizing RCOS/RTOS System.	IESS	2005	DBLP DOI BibTeX RDF
19	Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira	A Run-Time Partitioning Algorithm for RTOS on Reconfigurable Hardware.	EUC	2005	DBLP DOI BibTeX RDF
19	Francois Caron, Laurent Capella	The shawdowed RTOS: A new method for efficient resources management in parallel hardware architectures.	ESA	2005	DBLP BibTeX RDF
19	Kaj Hänninen, John Lundbäck, Kurt-Lennart Lundbäck, Jukka Mäki-Turja, Mikael Nolin	Efficient Event-Triggered Tasks in an RTOS.	ESA	2005	DBLP BibTeX RDF