Search results for "real-time kernel"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Lennart Lindh, Johan Stärner, John Furunäs	From single to multiprocessor real-time kernels in hardware. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multiprocessor real-time kernels, single processor real-time kernels, improved performance, improved determinism, integrated deterministic CPU, deterministic multitasking real time kernel, high performance multitasking real time kernel, high performance standalone multitasking real time kernel, deterministic standalone multitasking real time kernel, heterogeneous multiprocessor real-time systems, homogeneous multiprocessor real-time systems, scheduling, performance evaluation, real-time systems, multiprocessing systems, hardware, reconfigurable architectures, processor scheduling, multiprogramming, operating system kernels, firmware
3	Shuichi Oikawa, Ragunathan Rajkumar	Scalability in a real-time kernel.	RTCSA	1997	DBLP DOI BibTeX RDF	software functionalities, scalable kernel architecture, real-time systems, scalability, abstractions, operating system kernels, operating system kernels, real-time kernel, hardware resources
2	Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi	WCET Analysis of the mC/OS-II Real-Time Kernel.	CSE	2009	DBLP DOI BibTeX RDF
2	Ricardo Marau, Pedro Leite, Manel Velasco, Pau Martí, Luís Almeida, Paulo Pedreiras, Josep M. Fuertes	Performing Flexible Control on Low-Cost Microcontrollers Using a Minimal Real-Time Kernel.	IEEE Trans. Industrial Informatics	2008	DBLP DOI BibTeX RDF
2	Xibo Wang, Song Liu, Ge Yu, Qian Li	Underwater Glider Embedded Control System Design Based on QNX Real-time Kernel.	RAM	2008	DBLP DOI BibTeX RDF
2	Michele Cirinei, Antonio Mancina, Davide Cantini, Paolo Gai, Luigi Palopoli	An Educational Open Source Real-Time Kernel for Small Embedded Control Systems.	ISCIS	2004	DBLP DOI BibTeX RDF
2	Juan Antonio de la Puente, José F. Ruiz, Juan Zamorano	An Open Ravenscar Real-Time Kernel for GNAT.	Ada-Europe	2000	DBLP DOI BibTeX RDF
2	Luca Abeni, Giorgio C. Buttazzo	Support for dynamic QoS in the HARTIK kernel.	RTCSA	2000	DBLP DOI BibTeX RDF	dynamic QoS support, HARTIK, hard real-time kernel, control applications, soft real-time applications, service mechanism, temporal protection abstraction, service quality manager, reserved resource adaptation, task requirements, quality of service, real-time systems, stability, multimedia applications, multimedia computing, operating system kernels, computerised control, robot applications
2	Pascal Chevochot, Isabelle Puaut	Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support.	RTCSA	2000	DBLP DOI BibTeX RDF	holistic schedulability analysis, fault-tolerant real time distributed run-time support, application tasks, distributed dependable hard real time applications, tick scheduler, unreliable communication protocol, multiple tasks, real-time systems, fault tolerant computing, processor scheduling, schedulability analysis, multiprogramming, hard real time system, run-time support, run-time supports, fault tolerance capabilities, temporal behavior, real time kernel, feasibility test
2	Hideyuki Takada, Ken Sakamura	A novel approach to multiprogrammed multiprocessor synchronization for real-time kernel. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	multiprogrammed multiprocessor synchronization, inopportune preemption, preemption-safe locking, preemption cost, wait-free operations, complex data structures, SPEPP, Spinning Processor Executes for Preempted Processors, performance measurements, multiprogramming, wait-free synchronization, real-time kernels
2	Giorgio C. Buttazzo, Fabio Conticelli, Gerardo Lamastra, Giuseppe Lipari	Robot control in hard real-time environment.	RTCSA	1997	DBLP DOI BibTeX RDF	hard real-time environment, modular design approach, high-level processes, elementary sensory-motor activities, hierarchical control system, hard real-time kernel, predictable scheduling, software engineering, software architecture, robot control, real-time constraints
2	Hideyuki Takada, Ken Sakamura	Compact, low-cost, but real-time distributed computing for computer augmented environments.	FTDCS	1995	DBLP DOI BibTeX RDF	building management systems, compact low-cost real-time distributed computing, TRON Project, highly functionally distributed systems, low-cost distributed computing systems, standard real-time kernel specification, small-scale embedded systems, low-cost real-time LAN, TRON-concept Computer Augmented Building, real-time systems, distributed processing, local area networks, intelligent control, embedded computers, operating system kernels, home automation, computer augmented environments
2	Gregory Bollella, Kevin Jeffay	Support for real-time computing within general purpose operating systems-supporting co-resident operating systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time computing support, co-resident operating systems, workstation applications, real-time communication services, real-time computation services, real-time computing technology development, commercial systems, predictable real-time kernel, shared device multiplexing, shared data structure partitioning, CPU executive, IBM Microkernel, Mach microkernel, OSF/1 server, uniprocessor periodic task scheduling, CPU capacity allocation, scheduling, software engineering, real-time systems, multimedia systems, hardware, processor scheduling, operating systems (computers), operating system kernels, distributed multimedia applications, general purpose operating systems
2	Hans Hansson, Harold W. Lawson, Mikael Strömberg, Sven Larsson	BASEMENT: a distributed real-time architecture for vehicle applications. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	BASEMENT, distributed real-time architecture, vehicle applications, distributed real time architecture, vehicle internal use, guaranteed real time service, distributed devices, program development methodology, application oriented development, offline scheduler, intelligent cruise control application, real-time systems, distributed processing, resource sharing, multiplexing, operating system kernels, system simulator, safety critical applications, automobiles, communication support, communication infrastructure, computerised control, automotive industry, driver information systems, automotive electronics, real time kernel
1	Usman Ali, Mohammad Bilal Malik	Hardware/software co-design of a real-time kernel based tracking system.	Journal of Systems Architecture - Embedded Systems Design	2010	DBLP DOI BibTeX RDF
1	Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi	Static worst-case execution time analysis of the µC/OS-II real-time kernel.	Frontiers of Computer Science in China	2010	DBLP DOI BibTeX RDF
1	Tullio Facchinetti, Matteo Foppiano	Resource partitioning for real-time processing on a multicore architecture.	SAC	2010	DBLP DOI BibTeX RDF	real-time, operating systems, multicore
1	Tullio Facchinetti, Alberto Savioli, Emanuele Goldoni	Design and development of a real-time embedded inertial measurement unit.	SAC	2010	DBLP DOI BibTeX RDF	IMU, inertial measurement unit, real-time, embedded, RTOS
1	Heiko Will, Kaspar Schleiser, Jochen H. Schiller	A real-time kernel for wireless sensor networks employed in rescue scenarios.	LCN	2009	DBLP DOI BibTeX RDF
1	Dongwon Jung, Jayant Ratti, Panagiotis Tsiotras	Real-time Implementation and Validation of a New Hierarchical Path Planning Scheme of UAVs via Hardware-in-the-Loop Simulation.	Journal of Intelligent and Robotic Systems	2009	DBLP DOI BibTeX RDF	Path planning and control, Hardware-in-the-loop simulation (HILS), UAV
1	Qiang Huang, Xiaofeng Liang, Weihua Xu	Designing a New Real-Time Kernel with a Hybrid Scheduler.	ICESS	2008	DBLP DOI BibTeX RDF
1	Bernhard Scholz, Bernd Burgstaller, Jingling Xue	Minimal placement of bank selection instructions for partitioned memory architectures.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	Partitioned boolean quadratic programming, bank selection, partitioned memory architectures
1	Jianwei Dong, Shi Zhang, Xiaonan Jia	A Portable Intelligent ECG Monitor Based on Wireless Internet and Embedded System Technology.	BMEI	2008	DBLP DOI BibTeX RDF	ECG interpretation, ASIC, RTOS, ECG monitor
1	Krzysztof Sierszecki, Christo Angelov, Xu Ke	A Run-Time Environment Supporting Real-Time Execution of Embedded Control Applications.	RTCSA	2008	DBLP DOI BibTeX RDF
1	Ryan Riley, Xuxian Jiang, Dongyan Xu	Guest-Transparent Prevention of Kernel Rootkits with VMM-Based Memory Shadowing.	RAID	2008	DBLP DOI BibTeX RDF
1	Peng Liu, Ming Cai, Tingting Fu, Jinxiang Dong	An EDF Interrupt Handling Scheme for Real-Time Kernel: Design and Task Simulation.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Interrupt scheduling, Task simulation, Similar Earliest-Deadline-First, Real-time system
1	Jae-An Yi, Shin Heu, Byuongkyu Choi, Hyun-Jun Kim, Hanseok Sue, Jung-Guk Kim	TMO-NanoQ+: A Real-Time Kernel for Sensor Networks Supporting Time-Triggered and Message-Triggered Tasks.	ISORC	2007	DBLP DOI BibTeX RDF
1	Yu-Lun Huang, Jwu-Sheng Hu	Design methodology and hands-on practices for Embedded Operating Systems.	ICPADS	2007	DBLP DOI BibTeX RDF
1	M. C. Andrade, Célio Estevan Morón, José Hiroki Saito	Reconfigurable System with Virtuoso Real-Time Kernel and TEV Environment.	SBAC-PAD	2006	DBLP DOI BibTeX RDF
1	Bernhard Scholz, Bernd Burgstaller, Jingling Xue	Minimizing bank selection instructions for partitioned memory architecture.	CASES	2006	DBLP DOI BibTeX RDF	PBQP, RAM allocation, bank-switching, partitioned memory architecture, compiler optimization, microcontrollers
1	Ken Sakamura	Challenges in the age of ubiquitous computing: a case study of T-Engine, an open development platform for embedded systems.	ICSE	2006	DBLP DOI BibTeX RDF	T-Engine, T-Kernel, TRON, eTRON, realtime embedded systems, uID, distributed systems, ubiquitous computing, context-awareness
1	Xinming Tan, Yingxu Wang, Cyprian F. Ngolah	Design and Implementation of an Automatic RTPA Code Generator.	CCECE	2006	DBLP DOI BibTeX RDF
1	Jae Gi Son, Sang Hyun Park, Jung-Guk Kim, Moon-hae Kim	An IEEE1394-Based Real-Time Distributed IPC System for Collaborating TMO's.	ISORC	2006	DBLP DOI BibTeX RDF
1	Christo Angelov, Jesper Berthing	Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems.	DIPES	2006	DBLP DOI BibTeX RDF	hard real-time distributed systems, actor-based architecture, signal-based communication, timed multitasking
1	Jung-Guk Kim, Moon-hae Kim, Kwang Kim, Shin Heu	TMO-eCos: An eCos-based Real-time Micro Operating System Supporting Execution of a TMO Structured Program.	ISORC	2005	DBLP DOI BibTeX RDF
1	Andrew Morton, Wayne M. Loucks	A hardware/software kernel for system on chip designs.	SAC	2004	DBLP DOI BibTeX RDF	operating systems, SoC, hardware/software codesign
1	Mario Aldea Rivas, Francisco Javier Miranda González, Michael González Harbour	Implementing an Application-Defined Scheduling Framework for Ada Tasking.	Ada-Europe	2004	DBLP DOI BibTeX RDF	Scheduling, Real-Time, Compilers, Kernel, Ada 95, POSIX
1	Christo Angelov, Jesper Berthing	A Jitter-Free Kernel for Hard Real-Time Systems.	ICESS	2004	DBLP DOI BibTeX RDF
1	Andrew Morton, Wayne M. Loucks	Real-Time Kernel Support for Coprocessors: Empirical Study of an SoPC.	Embedded Systems and Applications	2003	DBLP BibTeX RDF
1	Jae-Ho Lee, Heung-Nam Kim	Implementing priority inheritance semaphore on uC/OS real-time kernel.	WSTFEUS	2003	DBLP DOI BibTeX RDF
1	Mandar A. Mathuré, Vinay Jonnalagadda, Janusz Zalewski	Heterogeneous Architecture and Testbed for Simulation of Large-Scale Real-Time Systems.	DS-RT	2003	DBLP DOI BibTeX RDF
1	Pascal Richard	On the Complexity of Scheduling Real-Time Tasks with Self-Suspensions on One Processor.	ECRTS	2003	DBLP DOI BibTeX RDF
1	Hiroaki Takada	Introduction to the TOPPERS Project - Open Source RTOS for Embedded Systems. (PDF / PS)	ISORC	2003	DBLP DOI BibTeX RDF
1	C. K. Angelov, I. E. Ivanov, Alan Burns	HARTEX - a safe real-time kernel for distributed computer control systems.	Softw., Pract. Exper.	2002	DBLP DOI BibTeX RDF
1	Matthias Pfeffer, Sascha Uhrig, Theo Ungerer, Uwe Brinkschulte	A Real-Time Java System on a Multithreaded Java Microcontroller. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	real-time kernel and operating system, embedded systems, multithreading, real-time scheduling, real-time Java
1	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
1	Joakim Aidemark, Jonny Vinter, Peter Folkesson, Johan Karlsson	Experimental Evaluation of Time-redundant Execution for a Brake-by-wire Application.	DSN	2002	DBLP DOI BibTeX RDF
1	Giorgio C. Buttazzo, Luca Abeni	Smooth Rate Adaptation through Impedance Control.	ECRTS	2002	DBLP DOI BibTeX RDF
1	Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo	An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard.	Ada-Europe	2002	DBLP DOI BibTeX RDF
1	Antoine Colin, Isabelle Puaut	Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System.	ECRTS	2001	DBLP DOI BibTeX RDF
1	Anders Nilsson, Torbjörn Ekman	Deterministic Java in Tiny Embedded Systems.	ISORC	2001	DBLP DOI BibTeX RDF
1	Mohammed El Shobaki, Lennart Lindh	A Hardware and Software Monitor for High-Level System-on-Chip Verification.	ISQED	2001	DBLP DOI BibTeX RDF
1	Cléver Ricardo Guareis de Farias, Luís Ferreira Pires, Wanderley Lopes de Souza, Célio Estevan Morón	Specification and Validation of a Real-Time Parallel Kernel Using LOTOS.	MASCOTS	2001	DBLP DOI BibTeX RDF
1	Luca Abeni, Giorgio C. Buttazzo	Hierarchical QoS Management for Time Sensitive Applications. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2001	DBLP DOI BibTeX RDF
1	Mario Aldea Rivas	Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications.	Ada-Europe	2001	DBLP DOI BibTeX RDF	Real-Time Systems, Embedded Systems, Operating System, Kernel, Ada 95, POSIX
1	Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente	Implementing Ada.Real_Time.Clock and Absolute Delays in Real-Time Kernels.	Ada-Europe	2001	DBLP DOI BibTeX RDF
1	Kwangyong Lee, Chaedeok Lim, Kisok Kong, Heung-Nam Kim	A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software.	LCTES	2000	DBLP DOI BibTeX RDF
1	Yu-Chung Wang, Kwei-Jay Lin	Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel. (PDF / PS)	IEEE Real-Time Systems Symposium	1999	DBLP DOI BibTeX RDF
1	Tommy Klevin, Lennart Lindh	Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring.	RTCSA	1999	DBLP DOI BibTeX RDF	bus monitor and multiprocessor systems, real-time system, architecture, real-time kernel
1	Shuichi Oikawa, Ragunathan Rajkumar	Portable RK: A Portable Resource Kernel for Guaranteed and Enforced Timing Behavior.	IEEE Real Time Technology and Applications Symposium	1999	DBLP DOI BibTeX RDF
1	Johan Eker, Anton Cervin	A Matlab Toolbox for Real-Time and Control Systems Co-Design.	RTCSA	1999	DBLP DOI BibTeX RDF
1	John A. Stankovic	Reflection in Real-Time Systems (abstract).	Reflection	1999	DBLP DOI BibTeX RDF
1	Simon Fowler, Andy J. Wellings	Formal development of a real-time kernel. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	formal development, simple real time operating system kernel, restricted Ada 95 tasking model, fixed priority real time systems, abstract specification, PVS proof system, computational model, RTL, operating system kernels
1	Adrian Cox, Anthony Hall	A Real Time Kernel to Support the Transputer Programming Model.	HPCN	1997	DBLP DOI BibTeX RDF
1	Hans Hansson, Harold W. Lawson, Olof Bridal, Christer Eriksson, Sven Larsson, Henrik Lön, Mikael Strömberg	BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	scheduling, fault-tolerance, software development, Distributed real-time system, holistic approach, automotive application, real-time kernel
1	Jean Paul Calvez, Olivier Pasquier, James K. Peckol	Software Implementation Techniques for Hw/Sw Embedded Systems.	CODES	1997	DBLP DOI BibTeX RDF	Real-time software implementation, Multi-rate reactive systems, Multi-task software optimization, Embedded software, Dynamic scheduling, Software synthesis
1	Gerardo Lamastra, Giuseppe Lipari, Giorgio C. Buttazzo, Antonino Casile, Fabio Conticelli	HARTIK 3.0: a portable system for developing real-time applications.	RTCSA	1997	DBLP DOI BibTeX RDF	HARTIK 3.0, soft multimedia, Intel 80/spl times/86 processors, DEC Alpha AXP-PCI-33, bounded blocking time, chained blocking, time bounded communication paradigm, distributed systems, embedded systems, predictability, deadlock, timing constraints, portability, toolkit, dynamic scheduling, real-time applications, software portability, microcontrollers, application designer, portable system
1	Steven Vercauteren, Bill Lin, Hugo De Man	A Strategy for Real-Time Kernel Support in Application-Specific HW/SW Embedded Architectures.	DAC	1996	DBLP DOI BibTeX RDF
1	Simon Fowler, Andy J. Wellings	Formal Analysis of a Real-Time Kernel Specification.	FTRTFT	1996	DBLP DOI BibTeX RDF
1	K. H. (Kane) Kim, Luiz F. Bacellar, Yuseok Kim, Chittur Subbaraman, Hankil Yoon, Jung-Guk Kim, Kee-Wook Rim	A timeliness-guaranteed kernel model-DREAM kernel-and implementation techniques.	RTCSA	1995	DBLP DOI BibTeX RDF	timeliness-guaranteed kernel model, DREAM kernel, timeliness-guaranteed operating system, new-style real-time objects, hardware utilization, v.D2, real-time systems, modularity, digital simulation, real-time simulator, operating system kernels, operating system kernel, expandability, real-time processes, prototype implementation, real-time computer systems, implementation techniques, application environment
1	Giorgio C. Buttazzo, Marco Di Natale	HARTIK: A Hard Real-Time Kernel for Programming Robot Tasks with Explicit Time Constraints and Guaranteed Execution.	ICRA	1993	DBLP BibTeX RDF
1	Darrell D. E. Long	A Note on Bit-Mapped Free Sector Management.	Operating Systems Review	1993	DBLP DOI BibTeX RDF
1	Ahmed Gheith, Karsten Schwan	CHAOS-arc: Kernel Support for Multiweight Objects, Invocations, and Atomicity in Real-Time Multiprocessor Applications.	ACM Trans. Comput. Syst.	1993	DBLP DOI BibTeX RDF
1	Hans Berggren, Mikael Gustafsson, Lennart Lindh	Measuring and analyzing real-time kernel performance.	Microprocessing and Microprogramming	1992	DBLP DOI BibTeX RDF
1	Lennart Lindh, Klaus D. Müller-Glaser, Hans Rauch, Frank Stanischewski	A Real-Time Kernel - Rapid Prototyping with VHDL and FPLs.	FPL	1992	DBLP DOI BibTeX RDF
1	R. M. Tol	A small real-time kernel proven correct.	IEEE Real-Time Systems Symposium	1992	DBLP DOI BibTeX RDF
1	Carlos Almeida, Bradford B. Glade, Keith Marzullo, Robbert van Renesse	High availability in a real-time system.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
1	H. Rebecca Callison, Alan C. Shaw	Building a Real-time Kernel: First Steps in Validating a Pure Process/Adt Model.	Softw., Pract. Exper.	1991	DBLP DOI BibTeX RDF
1	J. Michael Spivey	Specifying a Real-Time Kernel.	IEEE Software	1990	DBLP DOI BibTeX RDF
1	Insup Lee, Robert B. King, Richard P. Paul	A Predictable Real-Time Kernel for Distributed Multisensor Systems.	IEEE Computer	1989	DBLP DOI BibTeX RDF
1	Hideyuki Tokuda, Clifford W. Mercer	ARTS: A Distributed Real-Time Kernel.	Operating Systems Review	1989	DBLP DOI BibTeX RDF
1	Dennis G. Kafura	Concurrent object-oriented real-times systems research.	SIGPLAN Notices	1989	DBLP DOI BibTeX RDF
1	Barry L. Kurtz, Joseph J. Pfeiffer Jr.	A course project to design and implement the kernel of a real-time operating system.	SIGCSE	1987	DBLP DOI BibTeX RDF
1	Mark Drummond, Clare Mcmullen, R. Vasudevan	PACKRAT - A Real Time Kernel for Distributed Systems.	IEEE Real-Time Systems Symposium	1982	DBLP BibTeX RDF
1	Francesco Gregoretti	An Experimental Real Time Kernel for a Multimicroprocessor Prototype.	ICDCS	1982	DBLP BibTeX RDF