|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 279 occurrences of 186 keywords
|
|
|
|
|
Results
Found 249 publication records. Showing 249 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Yao Li, Paul Wilson |
PARTOS-11: an Efficient Real-Time Operating System for Low-Cost Microcontrollers.  |
DELTA  |
2002 |
DBLP DOI BibTeX RDF |
embedded microcontroller, slack sharing server, real-time operating system |
| 2 | Frédéric Loiret, Juan F. Navas, Jean-Philippe Babau, Olivier Lobry |
Component-Based Real-Time Operating System for Embedded Applications.  |
CBSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Mangesh Chitnis, Yao Liang, Jiang Yu Zheng, Paolo Pagano, Giuseppe Lipari |
Wireless line sensor network for distributed visual surveillance.  |
PE-WASUN  |
2009 |
DBLP DOI BibTeX RDF |
line sensor, wireless sensor network, image processing, multimedia, ieee 802.15.4, real time operating system |
| 2 | Bing Guo, Dianhui Wang, Yan Shen, Zhishu Li |
Neurocomputing for Minimizing Energy Consumption of Real-Time Operating System in the System-on-a-Chip.  |
ICONIP  |
2006 |
DBLP DOI BibTeX RDF |
SoC, Power optimization, RTOS, Hopfield neural network, Hardware-software partitioning |
| 2 | Jigang Wang, Guochang Gu, Shibo Xie, Lifeng Xu |
Design of Smart Phone-Oriented Embedded Real-time Operating System.  |
IMSCCS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Claudio Passerone |
Real time operating system modeling in a system level design environment.  |
ISCAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper |
Static Timing Analysis of Real-Time Operating System Code.  |
ISoLA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Hyun-Jun Kim, Sang Hyun Park, Jung-Guk Kim, Moon-hae Kim, Kee-Wook Rim |
TMO-Linux: A Linux-Based Real-Time Operating System Supporting Execution of TMOs. (PDF / PS)  |
Symposium on Object-Oriented Real-Time Distributed Computing  |
2002 |
DBLP DOI BibTeX RDF |
TMO (Time-triggered Message-triggered Object), LTMOS, Middleware, Linux, Real-time Operating System |
| 2 | Karlheinz Weiß, Thorsten Steckstor, Wolfgang Rosenstiel |
Emulation of a Fast Reactive Embedded System using a Real Time Operating System.  |
DATE  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Karlheinz Weiß, Thorsten Steckstor, Wolfgang Rosenstiel |
Performance Analysis of a RTOS by Emulation of an Embedded System. (PDF / PS)  |
IEEE International Workshop on Rapid System Prototyping  |
1999 |
DBLP DOI BibTeX RDF |
VxWorks, SPYDER-CORE-P1, embedded system, caches, emulation, microcontroller, real-time operating system, RTOS, ASI |
| 2 | Yangmin Seo, Jungkeun Park, Seongsoo Hong |
Efficient User-Level I/O in the ARX Real-Time Operating System.  |
LCTES  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli |
Automatic Generation of a Real-Time Operating System for Embedded Systems.  |
CODES  |
1997 |
DBLP DOI BibTeX RDF |
scheduling, Real-Time Operating Systems, co-synthesis |
| 2 | 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 |
| 2 | David B. Stewart, Richard Volpe, Pradeep K. Khosla |
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects.  |
IEEE Trans. Software Eng.  |
1997 |
DBLP DOI BibTeX RDF |
object-based design, port-automaton theory, software architecture, robotics, Dynamic reconfiguration, real-time operating system, evolutionary design, component-based design, reusable software, digital control systems |
| 2 | David B. Stewart, Pradeep K. Khosla |
Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring. (PDF / PS)  |
HASE  |
1996 |
DBLP DOI BibTeX RDF |
supervisory programs, policy independent real time operating system mechanisms, timing error detection, estimated worst case execution times, missed deadline, policy independent mechanisms, real time task monitoring, reschedule operation, monitoring mechanism, 6 ms, 1 Kbyte, hard real time systems, scheduling policies, context switch, error handling |
| 2 | Anastasio Molano, Alberto García-Martínez, Ángel Viña |
The Design and Implementation of a Multimedia Storage Server to Support Video-on-Demand Applications.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
video-on-demand applications, client/server based multimedia architecture, buffering mechanism, disk controller, network card controller, synchronized playback, software engineering, software architecture, real-time operating system, multithreaded architecture, multimedia storage server |
| 2 | L. E. Grossman, W. W. Foard, Everette Clif Burdette, P. L. Neubauer, G. K. Svensson |
Real-time computer controlled ultrasound therapy system for breast cancer treatment.  |
ICECCS  |
1995 |
DBLP DOI BibTeX RDF |
thermoacoustics, real-time computer controlled ultrasound therapy system, breast cancer treatment, localized heating, data acquisition techniques, safety considerations, personal computer class machines, distributed microcontrollers, proprietary serial links, real-time operating system model, operating system interface, real-time systems, software architecture, local area networks, local area network, distributed control, data acquisition, microcontrollers, safety-critical software, hardware architecture, medical computing, control algorithms, radiation therapy, computerised control, biomedical ultrasonics |
| 2 | John Drummond, Michael Wu |
A low level analysis of the realtime Mach distributed operating system. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1995 |
DBLP DOI BibTeX RDF |
real-time Mach distributed operating system, low level analysis, real-time operating system software development arena, segmented appraisal, specific element analysis, Rhealstone benchmark, task switch time, preemption time, interrupt latency time, semaphore shuffling time, deadlock breaking time, interprocess communication latency time, conditioned environment, evaluation, real-time systems, distributed processing, software performance evaluation, operating systems (computers), network operating systems, measuring techniques |
| 2 | Dick Jensen |
Adventures in Embedded Development.  |
IEEE Software  |
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 |
| 2 | David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager |
Thoth, a Portable Real-Time Operating System (Extended Abstract).  |
SOSP  |
1977 |
DBLP DOI BibTeX RDF |
Thoth |
| 1 | Taghi Mohamadi |
Real Time Operating System for AVR microcontrollers.  |
EWDTS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianmin Wei |
Research of Dynamic Priority Improvement Method in μC/OS-II Real-Time Operating System.  |
ICAIC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Chen, ShiPing Yang |
Research on Ultra-Dependable Embedded Real Time Operating System.  |
GreenCom  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Chishiro, Nobuyuki Yamasaki |
RT-Est: Real-Time Operating System for Semi-fixed-Priority Scheduling Algorithms.  |
EUC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bing Wu |
Realization of Modified MPC Algorithm Based on Real Time Operating System.  |
ICDMA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Smita S. Potdar, Kenneth G. Ricks |
Overhead Reduction for an Off-the-Shelf Real-Time Operating System.  |
I. J. Comput. Appl.  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yingxu Wang, 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.  |
IJSSCI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingxu Wang, 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.  |
IJSSCI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gengxin Sun, Fengjing Shao Name, Sheng Bin |
Performance Test of An Embedded Real-Time Operating System Based on A New High-Security NetWork Computer.  |
JDCTA  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Severino, Manish Batsa, Mário Alves, Anis Koubaa |
A Traffic Differentiation Add-On to the IEEE 802.15.4 Protocol: Implementation and Experimental Validation over a Real-Time Operating system.  |
DSD  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Takako Nonaka, Masato Shimano, Yuta Uesugi, Tomohiro Hase |
Embedded server and client system for home appliances on real-time operating system.  |
ISDA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Fornaeus |
Device hypervisors.  |
DAC  |
2010 |
DBLP DOI BibTeX RDF |
real-time, separation, real-time operating system, hypervisor, embedded devices, consolidation, general purpose operating system |
| 1 | Yoshinobu Kawabe, Nobuhiro Ito, Naohiro Ishii |
On Formal Modeling of TOPPERS Embedded Software.  |
SERA  |
2010 |
DBLP DOI BibTeX RDF |
TOPPERS real-time operating system, distributed systems, verification, formal methods, embedded software |
| 1 | Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek |
High-level programming of embedded hard real-time devices.  |
EuroSys  |
2010 |
DBLP DOI BibTeX RDF |
real-time systems, memory management, java virtual machine |
| 1 | Jeff Lee |
Battery management technology for an electric vehicle.  |
ISLPED  |
2010 |
DBLP DOI BibTeX RDF |
battery, bms, electric vehicle |
| 1 | Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek |
Developing safety critical Java applications with oSCJ/L0.  |
JTRES  |
2010 |
DBLP DOI BibTeX RDF |
memory management, Java virtual machine, safety critical systems |
| 1 | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti |
A real-time architecture design language for multi-rate embedded control systems.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, compilation, synchronous |
| 1 | Haiying Zhou, Kun Mean Hou, Christophe De Vaulx, De-Cheng Zuo |
A Hybrid Embedded Real-time Operating System for Wireless Sensor Networks.  |
JNW  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Daum, Norbert Schirmer, Mareike Schmidt |
Implementation Correctness of a Real-Time Operating System.  |
SEFM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Scheler, Wanja Hofer, Benjamin Oechslein, Rudi Pfister, Wolfgang Schröder-Preikschat, Daniel Lohmann |
Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system.  |
CASES  |
2009 |
DBLP DOI BibTeX RDF |
ciao, priority-driven, rate-monotonic priority inversion, tricore, real-time systems, interrupt handling |
| 1 | Paolo Pagano, Francesco Piga, Yao Liang |
Real-time multi-view vision systems using WSNs.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
multi-view vision, WSN, real-time operating system |
| 1 | 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 |
| 1 | Marc Aoun, Julien Catalano, Peter van der Stok |
Distributed Task Synchronization in Wireless Sensor Networks.  |
EWSN  |
2009 |
DBLP DOI BibTeX RDF |
task synchronization, synchronized sampling, time synchronization, timestamping, real-time operating system, clock drift |
| 1 | Franz J. Rammig, Yuhong Zhao, Sufyan Samara |
On-Line Model Checking as Operating System Service.  |
SEUS  |
2009 |
DBLP DOI BibTeX RDF |
On-line model checking, Verification service, Real-time operating system |
| 1 | Paolo Pagano, Mangesh Chitnis, Antonio Romano, Giuseppe Lipari, Ricardo Severino, Mário Alves, Paulo G. Sousa, Eduardo Tovar |
ERIKA and open-ZB: an implementation for real-time wireless networking.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maobing Dai, Yutaka Ishikawa |
Delayed Interrupt Processing Technique for Reducing Latency of Timer Interrupt in Embedded Linux.  |
CSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner |
Verifying the Implementation of an Operating System Scheduler.  |
TASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Déharbe, Stephenson Galvão, Anamaria Martins Moreira |
Formalizing FreeRTOS: First Steps.  |
SBMF  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kaegi-Trachsel, Jürg Gutknecht |
Minos - the design and implementation of an embedded real-time operating system with a perspective of fault tolerance.  |
IMCSIT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ketan Kotecha, Apurva Shah |
Adaptive scheduling algorithm for real-time operating system.  |
IEEE Congress on Evolutionary Computation  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Brun, Jérôme Delatour, Yvon Trinquet |
Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model Transformation.  |
ICECCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai-ying Zhou, Feng Wu, Kun-mean Hou |
An Event-driven Multi-threading Real-time Operating System Dedicated to Wireless Sensor Networks.  |
ICESS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Krause, Dominik Englert, Oliver Bringmann, Wolfgang Rosenstiel |
Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation.  |
CODES+ISSS  |
2008 |
DBLP DOI BibTeX RDF |
RTOS modeling, embedded systems, instruction set simulation |
| 1 | Paul Regnier, George Lima, Luciano Barreto |
Evaluation of interrupt handling timeliness in real-time Linux operating systems.  |
Operating Systems Review  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis |
Semantics-preserving multitask implementation of synchronous programs.  |
ACM Trans. Embedded Comput. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
process communication, optimality, Embedded software, model-based design, preemptive scheduling, synchronous programming, semantical preservation |
| 1 | Jiyong Park, Jaesoo Lee, Saehwa Kim, Seongsoo Hong |
Quasistatic shared libraries and XIP for memory footprint reduction in MMU-less embedded systems.  |
ACM Trans. Embedded Comput. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
MMU-less, memory footprint reduction, quasi-static linking, Embedded systems, shared library |
| 1 | Libin Zhang, Weimin Shi, Fang Xu, Hongwu Zhan |
Design and Implement of Franking Machine Control System Based on ARM.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander |
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems.  |
DATE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Bing Guo, Yan Shen, Lei Zhang, Xiang Zhou |
Research and Design of Shared Resources Competition Solution among Hardware-Software Tasks based on Unified Scheduling.  |
EUC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti |
A Multi-Periodic Synchronous Data-Flow Language.  |
HASE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Paselli, Frederik Petré, Olivier Rousseaux, Guy Meynants, Bert Gyselinckx, Marc Engels, Luca Benini |
A High-Performance Wireless Sensor Node for Industrial Control Applications.  |
ICONS  |
2008 |
DBLP DOI BibTeX RDF |
WiMedia, Mechatronic, Wireless Sensor Node, Industrial control |
| 1 | Yan Meng, Kerry Johnson, Brian Simms, Matthew Conforth |
A generic architecture of modular embedded system for miniature mobile robots.  |
IROS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuichi Itami, Tasuku Ishigooka, Takanori Yokoyama |
A Distributed Computing Environment for Embedded Control Systems with Time-Triggered and Event-Triggered Processing.  |
RTCSA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ching-Han Chen, Sz-Ting Liou |
An Embedded Computing Platform for Robot.  |
SUTC  |
2008 |
DBLP DOI BibTeX RDF |
Embedded Computing Platform, SW/HW co-design, Reconfigurable, RTOS, Intelligent robot |
| 1 | Fu-Ching Yang, Wen-Kai Huang, Jing-Kun Zhong, Ing-Jer Huang |
Automatic Verification of External Interrupt Behaviors for Microprocessor Design.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Carnevali, Leonardo Grassi, Enrico Vicario |
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
concurrent real-time systems, V-Model, preemptive Time Petri Nets, formal methods, state space analysis |
| 1 | Florian Kluge, Jörg Mische, Sascha Uhrig, Theo Ungerer |
An Operating System Architecture for Organic Computing in Embedded Real-Time Systems.  |
ATC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoning Ma, Jiancheng Fang, Wei Sheng |
Development of an Onboard Software System for Mini Unmanned Aerial Vehicle Based on VxWorks.  |
ICIRA  |
2008 |
DBLP DOI BibTeX RDF |
VxWorks, flight software, shared memory, unmanned aerial vehicle (UAV), inter-process communication |
| 1 | Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues |
Automatic framework generation for hard real-time applications.  |
ISSE  |
2008 |
DBLP DOI BibTeX RDF |
Ravenscar, Real-time, Ada, Code generation, Model transformation, AADL |
| 1 | Chris Micacchi, Robin Cohen |
A framework for simulating real-time multi-agent systems.  |
Knowl. Inf. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Agent architectures and systems, Distributed intelligent systems, Soft real-time environments, Adjustable autonomy systems, Multi-agent systems |
| 1 | Bing Guo, Dianhui Wang, Yan Shen, Zhishu Li |
A Hopfield neural network approach for power optimization of real-time operating systems.  |
Neural Computing and Applications  |
2008 |
DBLP DOI BibTeX RDF |
SoC, Power optimization, RTOS, Hopfield neural network, Hardware-software partitioning |
| 1 | Libor Waszniowski, Zdenek Hanzálek |
Formal verification of multitasking applications based on timed automata model.  |
Real-Time Systems  |
2008 |
DBLP DOI BibTeX RDF |
OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking |
| 1 | Zonghai Chen, Haibo Wang |
Open Intelligent Robot Controller Based on Field-Bus and RTOS.  |
Innovations in Hybrid Intelligent Systems  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Pisarczyk |
Experimental Dependability Evaluation of Memory Manager in the Real-time Operating System.  |
IJCSA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Moonvin Song, Sang Hoon Hong, Yunmo Chung |
Reducing the Overhead of Real-Time Operating System through Reconfigurable Hardware.  |
DSD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arslan, Ahmet T. Erdogan |
Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures.  |
FCCM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Hossein Neishaburi, Mohammad Reza Kakoee, Masoud Daneshtalab, Saeed Safari, Zainalabedin Navabi |
A HW/SW Architecture to Reduce the Effects of Soft-Errors in Real-Time Operating System Services.  |
DDECS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | André C. Nácul, Francesco Regazzoni, Marcello Lajolo |
Hardware scheduling support in SMP architectures.  |
DATE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian P. Doherty |
A real-time benchmark for Java™.  |
JTRES  |
2007 |
DBLP DOI BibTeX RDF |
SPECjbb2005, Java, real-time, benchmarks, RTSJ |
| 1 | Koushik Sen |
Concolic testing.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
data structure testing, explicit path model-checking, random testing, unit testing, symbolic execution, testing tools, testing C programs, concolic testing |
| 1 | Mohammad Hossein Neishaburi, Masoud Daneshtalab, Mohammad Reza Kakoee, Saeed Safari |
Improving Robustness of Real-Time Operating Systems (RTOS) Services Related to Soft-Errors.  |
AICCSA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa, Eliane Martins, Henrique Madeira |
Experimental Risk Assessment and Comparison Using Software Fault Injection.  |
DSN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Carnevali, Luigi Sassoli, Enrico Vicario |
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.  |
ECRTS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Enno Lübbers, Marco Platzner |
ReconOS: An RTOS supporting Hard- and Software Threads.  |
FPL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Salerno, Jorge Angeles |
Design and Implementation of a Quasiholonomic Mobile Robot.  |
ICRA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Cirinei, Enrico Bini, Giuseppe Lipari, Alberto Ferrari |
A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors.  |
IPDPS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Anthony Rowe, Dhiraj Goel, Raj Rajkumar |
FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System.  |
RTSS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Tsun Sun, Zoran Salcic |
Modeling RTOS for Reactive Embedded Systems.  |
VLSI Design  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Rangarajan, Darren D. Cofer |
Computing Worst-Case Response Times in Real-Time Avionics Applications.  |
FMICS  |
2007 |
DBLP DOI BibTeX RDF |
Model checking, real-time, software verification, flight control |
| 1 | Ángel Cuenca, Julián Salt, Pedro Albertos |
Implementation of algebraic controllers for non-conventional sampled-data systems.  |
Real-Time Systems  |
2007 |
DBLP DOI BibTeX RDF |
Sampled-data control, Modelling, Real-time operating systems, Multirate, Control design |
| 1 | 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 |
| 1 | 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 |
|
| 1 | 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 |
|
| 1 | N. Ignat, B. Nicolescu, Yvon Savaria, Gabriela Nicolescu |
Soft-error classification and impact analysis on real-time operating systems.  |
DATE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sathish Chandra, Francesco Regazzoni, Marcello Lajolo |
Hardware/software partitioning of operating systems: a behavioral synthesis approach.  |
ACM Great Lakes Symposium on VLSI  |
2006 |
DBLP DOI BibTeX RDF |
embedded systems, operating systems, partitioning, RTOS, HW/SW codesign |
| 1 | Zhaohui Wu, Hong Li, Zhigang Gao, Jie Sun 0003, Jiang Li |
An Improved Method of Task Context Switching in OSEK Operating System.  |
AINA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhang Qingnian, Zhou Zhizhong, Yin Daquan, Yang Jie |
Study of Real-Time Detecting System for Driver's Safety.  |
APCCAS  |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 249 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|