Search results for "RTOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Spencer Isaacson, Doran Wilde	The Task-Resource Matrix: Control for a Distributed Reconfigurable Multi-Processor Hardware RTOS.	ERSA	2004	DBLP BibTeX RDF
19	Jin Zhenyu, Mohit Sindhwani, Thambipillai Srikanthan	RTOS acceleration on soft-core processors using instruction set customization.	FPT	2004	DBLP DOI BibTeX RDF
19	Bart D. Theelen, A. C. Verschueren, V. V. Reyes Suárez, M. P. J. Stevens, Antonio Núñez	A scalable single-chip multi-processor architecture with on-chip RTOS kernel.	J. Syst. Archit.	2003	DBLP DOI BibTeX RDF
19	Monica Besana, Michele Borgatti	Application Mapping to a Hardware Platform Through Automated Code Generation Targeting a RTOS.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
19	Andreas Gerstlauer, Haobo Yu, Daniel D. Gajski	RTOS Modeling for System Level Design.	Embedded Software for SoC	2003	DBLP DOI BibTeX RDF
19	Jérôme Chevalier, Mathieu Rondonneau, Olivier Benny, Guy Bois, El Mostapha Aboulhamid, François R. Boyer	SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS.	FDL	2003	DBLP BibTeX RDF
19	Jan Madsen, Kashif Virk, Mercury Gonzales	Abstract RTOS modeling for multiprocessor system-on-chip.	SoC	2003	DBLP DOI BibTeX RDF
19	Eric Verhulst	The Rationale for Distributed Semantics as a Topology Independent Embedded Systems Design Methodology and its Implementation in the Virtuoso RTOS.	Des. Autom. Embed. Syst.	2002	DBLP DOI BibTeX RDF
19	Jan Bartels, Fabian Elbert	XML-basierte Feldbusdiagnoseoberfläche für RTOS-UH.	PEARL	2002	DBLP DOI BibTeX RDF
19	Darren D. Cofer, Murali Rangarajan	Formal Verification of Overhead Accounting in an Avionics RTOS.	RTSS	2002	DBLP DOI BibTeX RDF
19	Volker Cseke	Funkdatenübertragung nach dem Zeitschlitzverfahren unter RTOS/PEARL.	PEARL	2001	DBLP DOI BibTeX RDF
19	Tankut Akgul, Pramote Kuacharoen, Vincent John Mooney III, Vijay K. Madisetti	A Debugger RTOS for Embedded Systems.	EUROMICRO	2001	DBLP DOI BibTeX RDF
19	Pavan Kumar 0002, Mani B. Srivastava	Predictive Strategies for Low-Power RTOS Scheduling.	ICCD	2000	DBLP DOI BibTeX RDF	prediction, fixed priority-scheduling, power reduction, real time tasks
19	Reinhard Arlt	Ein skalierbares Grafik- und Multi-Window-System zur Prozeßvisualisierung für das Echtzeit-Betriebssystem RTOS-UH für lokale Grafikhardware und X11.	PEARL	1994	DBLP DOI BibTeX RDF
19	Volker Cseke	Vernetztes Prozeßleitsystem auf einer Kläranlage unter RTOS-UH/PEARL.	PEARL	1992	DBLP DOI BibTeX RDF
19	Manfred Gerlich, Andreas Nowakowski	Ein intelligentes und netzfähiges BDE-Terminal auf der Basis eines Motorala-Rechners mit dem RTOS-Rechner-Systems.	PEARL	1990	DBLP DOI BibTeX RDF
19	J. L. Johnstone	RTOS: extending OS/360 for real time spaceflight control.	AFIPS Spring Joint Computing Conference	1969	DBLP DOI BibTeX RDF
13	René Iser, Daniel Kubus, Friedrich M. Wahl	An efficient parallel approach to Random Sample Matching (pRANSAM).	ICRA	2009	DBLP DOI BibTeX RDF
13	Se-Gi Kim, Seung-Hwa Song, Chun-Hyon Chang, Doo-Hyun Kim, Shin Heu, Jung-Guk Kim	Design and Implementation of an Operational Flight Program for an Unmanned Helicopter FCC Based on the TMO Scheme.	SEUS	2009	DBLP DOI BibTeX RDF	unmanned helicopter, on-flight software, TMO
13	Hiroyuki Yagi, Wolfgang Rosenstiel, Jakob Engblom, Jason Andrews, Kees A. Vissers, Marc Serughetti	The wild west: conquest of complex hardware-dependent software design.	DAC	2009	DBLP DOI BibTeX RDF	hardware-dependent software, heterogeneous/homogenous multi-core, symmetric/asymmetric multi-core, virtualization, multiprocessors, multi-core, MPSoC, programming model, virtual prototyping, many-core, ESL, virtual platform
13	Lobna Kriaa, Aimen Bouchhima, Marius Gligor, Anne-Marie Fouillart, Frédéric Pétrot, Ahmed Amine Jerraya	Parallel Programming of Multi-processor SoC: A HW-SW Interface Perspective.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	HW/SW interfaces, Programming models, heterogeneous MPSoC
13	E. Frank, Reinhard Wilhelm, Rolf Ernst, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale	Methods, Tools and Standards for the Analysis, Evaluation and Design of Modern Automotive Architectures.	DATE	2008	DBLP DOI BibTeX RDF
13	Benjamin Ness, Gabor Karsai	High precision automatic scheduling of periodic task sets for microcontrollers.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	embedded systems, code generation, microcontrollers, scheduling problem, model driven design
13	Yvan Eustache, Jean-Philippe Diguet	Specification and OS-based implementation of self-adaptive, hardware/software embedded systems.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	self-adaptive embedded systems, HW/SW codesign
13	Wataru Kanda, Yu Yumura, Yuki Kinebuchi, Kazuo Makijima, Tatsuo Nakajima	SPUMONE: Lightweight CPU Virtualization Layer for Embedded Systems.	EUC (1)	2008	DBLP DOI BibTeX RDF
13	Amith Kumar Nuggehalli Ramachandra, Avin Kumar Kannur	Analysis of CPU Utilisation and Stack Consumption of a Multimedia Embedded System.	DELTA	2008	DBLP DOI BibTeX RDF	CPU Utilisation, Stack Consumption
13	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Space-Optimal, Wait-Free Real-Time Synchronization.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	wait-free buffers, real-time systems, Nonblocking synchronization, space-optimality
13	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
13	Yvan Eustache, Jean-Philippe Diguet	Confiuartion Management in the Context of Self Adapative Systems.	FPL	2007	DBLP DOI BibTeX RDF
13	Sangsoo Park, Walter Olds, Kang G. Shin, Shige Wang	Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development.	RTSS	2007	DBLP DOI BibTeX RDF
13	Anthony Rowe 0001, Dhiraj Goel, Raj Rajkumar	FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System.	RTSS	2007	DBLP DOI BibTeX RDF
13	I-Hsuan Huang, Chih-Chun Wang, Shih-Min Chu, Cheng-Zen Yang	Function-Level Multitasking Interface Design in an Embedded Operating System with Reconfigurable Hardware.	EUC	2007	DBLP DOI BibTeX RDF	hardware function, FPGA-based computer, ?C/OS, Reconfigurable computing, multitasking
13	Tero Kangas, Petri Kukkala, Heikki Orsila, Erno Salminen, Marko Hännikäinen, Timo D. Hämäläinen, Jouni Riihimäki, Kimmo Kuusilinna	UML-based multiprocessor SoC design framework.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	design flow, architecture exploration, UML 2.0
13	Jérôme Chevalier, Maxime de Nanclas, Luc Filion, Olivier Benny, Mathieu Rondonneau, Guy Bois, El Mostapha Aboulhamid	A SystemC Refinement Methodology for Embedded Software.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	modeling hardware/software interfaces, integration, system architectures, Real-time and embedded systems
13	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	On utility accrual processor scheduling with wait-free synchronization for embedded real-time software.	SAC	2006	DBLP DOI BibTeX RDF	time/utility functions, wait-free synchronization
13	Franco Fummi, Davide Quaglia, Fabio Ricciato, Maura Turolla	Modeling and simulation of mobile gateways interacting with wireless sensor networks.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
13	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Lock-free synchronization for dynamic embedded real-time systems.	DATE	2006	DBLP DOI BibTeX RDF
13	Jason Agron, Wesley Peck, Erik K. Anderson, David Andrews 0001, Ed Komp, Ron Sass, Fabrice Baijot, Jim Stevens	Run-Time Services for Hybrid CPU/FPGA Systems on Chip.	RTSS	2006	DBLP DOI BibTeX RDF
13	Rahul Mangharam, Anthony Rowe 0001, Raj Rajkumar, Ryohei Suzuki	Voice over Sensor Networks.	RTSS	2006	DBLP DOI BibTeX RDF
13	Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira	Communication-Aware Component Allocation Algorithm for a Hybrid Architecture.	DIPES	2006	DBLP DOI BibTeX RDF	System-on-Chip, Reconfigurable Computing, Real Time Operating System
13	Mahdi Javer, Trevor W. Pearce, Mathieu Gibeault, Mojtaba Ahmadi	Profiling of the Lab VIEW Development Environment and Real-Time Module.	CCECE	2006	DBLP DOI BibTeX RDF
13	Paolo Ferrari, Alessandra Flammini, Daniele Marioli, S. Rosa, Andrea Taroni, C. Cattaneo, Cathryn Manduca	GDNET: a Specific Approach to Distributed Input/Output Synchronization for Plastic Machinery.	ETFA	2006	DBLP DOI BibTeX RDF
13	Ahmed Amine Jerraya, Aimen Bouchhima, Frédéric Pétrot	Programming models and HW-SW interfaces abstraction for multi-processor SoC.	DAC	2006	DBLP DOI BibTeX RDF	HW/SW interfaces, programming models, heterogeneous MPSoC
13	Xiangrong Zhou, Peter Petrov	Rapid and low-cost context-switch through embedded processor customization for real-time and control applications.	DAC	2006	DBLP DOI BibTeX RDF
13	Grant Martin	Overview of the MPSoC design challenge.	DAC	2006	DBLP DOI BibTeX RDF	MPSoC, system-level design, multi-processor system-on-chip
13	Filipe Valpereiro, Luís Miguel Pinho	POSIX Trace Based Behavioural Reflection.	Ada-Europe	2006	DBLP DOI BibTeX RDF
13	Stylianos Papanastasiou, Lewis M. Mackenzie, Mohamed Ould-Khaoua, Vassilis Charissis	On the interaction of TCP and Routing Protocols in MANETs.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
13	Stefan Eilers, Christian Müller-Schloer	s Mixed Virtual/Real Prototypes for Incremental System Design - A Proof of Concept.	SAMOS	2005	DBLP DOI BibTeX RDF
13	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	A Space-Optimal Wait-Free Real-Time Synchronization Protocol.	ECRTS	2005	DBLP DOI BibTeX RDF
13	Víctor Reyes, Tomás Bautista, Gustavo Marrero Callicó, Antonio Núñez, Wido Kruijtzer	A multicast inter-task communication protocol for embedded multiprocessor systems.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	multiprocessor design, platform interface, task transaction level, parallel programming model
13	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
13	Chih-wen Hsueh, Tien-Fu Chen, Rong-Guey Chang, Shi-Wu Lo	Development of Architecture and Software Technologies in High-Performance Low-Power SoC Design.	RTCSA	2005	DBLP DOI BibTeX RDF	Tool Chain, Architecture, Compiler, System-on-Chip, Real-Time Operating System
13	Won Eui Hong, Jae Shin Lee, Laxmisha Rai, Soon-Ju Kang	RT-Linux Based Hard Real-Time Software Architecture for Unmanned Autonomous Helicopters.	RTCSA	2005	DBLP DOI BibTeX RDF
13	Guilin Chen, Guangyu Chen, Ozcan Ozturk 0001, Mahmut T. Kandemir	An Adaptive Locality-Conscious Process Scheduler for Embedded Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
13	P. Samson, P. Sinha	Hardware Acceleration of Deadlock Avoidance and Detection in Real-Time Operating Systems.	IWSOC	2005	DBLP DOI BibTeX RDF
13	Taeweon Suh, Daehyun Kim 0001, Hsien-Hsin S. Lee	Cache coherence support for non-shared bus architecture on heterogeneous MPSoCs.	DAC	2005	DBLP DOI BibTeX RDF	heterogeneous, cache coherence, MPSoC, real-time and embedded systems, inter-processor communication
13	Greg Goth, Benjamin Alfonsi	News.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF
13	Franz J. Rammig	Autonomic Distributed Real-Time Systems: Challenges and Solutions.	ISORC	2004	DBLP DOI BibTeX RDF
13	Haisang Wu, Binoy Ravindran, E. Douglas Jensen	Utility Accrual Scheduling under Joint Utility and Resource Constraints.	ISORC	2004	DBLP DOI BibTeX RDF
13	Miguel Masmano, Ismael Ripoll, Alfons Crespo, Jorge Real	TLSF: A New Dynamic Memory Allocator for Real-Time Systems.	ECRTS	2004	DBLP DOI BibTeX RDF	Real-time operating systems, memory allocation
13	María del Milagro Bolado, Hector Posadas, Javier Castillo, Pablo Huerta, Pablo Sánchez, Carlos Sánchez, Häkan Fouren, Francisco Blasco	Platform Based on Open-Source Cores for Industrial Applications.	DATE	2004	DBLP DOI BibTeX RDF
13	Michiaki Muraoka, Hiroaki Nishi, Rafael K. Morizawa, Hideaki Yokota, Hideyuki Hamada	Design methodology for SoC arthitectures based on reusable virtual cores.	ASP-DAC	2004	DBLP DOI BibTeX RDF
13	Pao-Ann Hsiung, Shang-Wei Lin 0001	Formal Design and Verification of Real-Time Embedded Software.	APLAS	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis
13	Peng Yang, Francky Catthoor	Dynamic Mapping and Ordering Tasks of Embedded Real-Time Systems on Multiprocessor Platforms.	SCOPES	2004	DBLP DOI BibTeX RDF
13	Juan Pardo, José Carlos Campelo, Juan José Serrano	Robustness Study of an Embedded Operating System for Industrial Applications.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
13	Haisang Wu, Binoy Ravindran, E. Douglas Jensen	On the Joint Utility Accrual Model.	IPDPS	2004	DBLP DOI BibTeX RDF
13	Pao-Ann Hsiung, Shang-Wei Lin 0001	Automatic Synthesis and Verification of Real-Time Embedded Software.	EUC	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, Application framework, UML modeling, real-time embedded software
13	Imed Moussa, Thierry Grellier, Giang Nguyen	Exploring SW Performance Using SoC Transaction-Level Modeling.	DATE	2003	DBLP DOI BibTeX RDF
13	Youngmin Yi, Dohyung Kim 0007, Soonhoi Ha	Virtual synchronization technique with OS modeling for fast and time-accurate cosimulation.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	OS modeling, virtual synchronization, cosimulation
13	Jan Madsen, Shankar Mahadevan, Kashif Virk, Mercury Gonzalez	Network-on-Chip Modeling for System-Level Multiprocessor Simulation.	RTSS	2003	DBLP DOI BibTeX RDF
13	Jongkyu Park, Ilseok Han, Jinhyuck Kwon, June Hwang, Hagbae Kim, Sangtae Ahn, Whie Chang	Development of a Residential Gateway and a Service Server for Home Automation.	AISA	2002	DBLP DOI BibTeX RDF
13	Mohamed Shalan, Vincent John Mooney III	Hardware support for real-time embedded multiprocessor system-on-a-chip memory management.	CODES	2002	DBLP DOI BibTeX RDF	Atalanta, SoCDMMU, real-time operating systems., two-level memory management, real-time systems, embedded systems, System-on-a-Chip, dynamic memory management
13	Frank Golatowski, Jens Hildebrandt, Jan Blumenthal, Dirk Timmermann	Framework for Validation, Test and Analysis of Real-Time Scheduling Algorithms and Scheduler Implementations.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
13	Franz-Josef Rammig	Synthesis Aspects of the PARADISE Design Environment.	WORDS	2002	DBLP DOI BibTeX RDF
13	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF
13	David Hardin	Real-Time Objects on the Bare Metal: An Efficient Hardware Realization of the JavaTM Virtual Machine.	ISORC	2001	DBLP DOI BibTeX RDF
13	Ragunathan Rajkumar	An End-To-End Methodology for Building Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
13	Kathleen Baynes, Chris Collins, Eric Fiterman, Brinda Ganesh, Paul Kohout, Christine Smit, Tiebing Zhang, Bruce L. Jacob	The performance and energy consumption of three embedded real-time operating systems.	CASES	2001	DBLP DOI BibTeX RDF
13	Doug Hale, Thomas J. Overbye	Optimization and Visualization of the North American Eastern Interconnect Power Market.	HICSS	2001	DBLP DOI BibTeX RDF	electric restructuring, OPF, power system visualization, power markets
13	Jens Hildebrandt, Dirk Timmermann	An FPFA Based Scheduling Coprocessor for Dynamic Priority Scheduling in Hard-Time Systems.	FPL	2000	DBLP DOI BibTeX RDF
13	Bassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno	Fast Hardware-Software Co-simulation Using VHDL Models.	DATE	1999	DBLP DOI BibTeX RDF
13	Jae C. Oh, Daniel Mossé	Teaching real time OSs with DORITOS.	SIGCSE	1999	DBLP DOI BibTeX RDF
13	Jae-Chul Moon, Jun Ho Park, Soon-Ju Kang	An Event Channel-based Embedded Software Architecture for Developing Telemetric and Teleoperation Systems on the WWW.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
13	Vincenza Carchiolo, Michele Malgeri	An Adaptive Scheduler for Multimedia Systems.	FTDCS	1997	DBLP DOI BibTeX RDF
13	Byung Kwon Ahn, Seung-Min Yang, Joong-Sup Choi, Moon-hae Kim	Real-Time System Design Tools for RTO.e (Real-Time Object.extended).	APSEC	1996	DBLP DOI BibTeX RDF	real-time system development process, real-time object model, schedulability, timing constraint
13	Kevin A. Kettler, Daniel I. Katcher, Jay K. Strosnider	A modeling methodology for real-time/multimedia operating systems.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multimedia operating systems, real-time scheduling theory, real-time task set, implementation costs, engineering methodology, commercial real-time operating systems, scheduling, performance evaluation, software engineering, real-time systems, developers, processor scheduling, software performance evaluation, users, operating systems (computers), multimedia computing, real-time operating systems, modeling methodology, design evaluation
13	Dick Jensen	Adventures in Embedded Development.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	embedded systems development, software tool selection, off-the-shelf real-time operating system, unplanned critical paths, development delays, timing demands, software engineering, real-time systems, software tools, costs, operating systems (computers), project planning, protocol stacks, commercial products