The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Real-time operating system (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1967-1988 (17) 1989-1996 (17) 1997-1999 (17) 2000-2001 (19) 2002 (16) 2003 (15) 2004 (25) 2005 (23) 2006 (26) 2007 (18) 2008 (26) 2009-2010 (25) 2011 (5)
Publication types (Num. hits)
article(43) incollection(1) inproceedings(205)
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
3Yao Li, Paul Wilson PARTOS-11: an Efficient Real-Time Operating System for Low-Cost Microcontrollers. Search on Bibsonomy DELTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF embedded microcontroller, slack sharing server, real-time operating system
2Frédéric Loiret, Juan F. Navas, Jean-Philippe Babau, Olivier Lobry Component-Based Real-Time Operating System for Embedded Applications. Search on Bibsonomy CBSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Mangesh Chitnis, Yao Liang, Jiang Yu Zheng, Paolo Pagano, Giuseppe Lipari Wireless line sensor network for distributed visual surveillance. Search on Bibsonomy PE-WASUN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF line sensor, wireless sensor network, image processing, multimedia, ieee 802.15.4, real time operating system
2Bing Guo, Dianhui Wang, Yan Shen, Zhishu Li Neurocomputing for Minimizing Energy Consumption of Real-Time Operating System in the System-on-a-Chip. Search on Bibsonomy ICONIP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SoC, Power optimization, RTOS, Hopfield neural network, Hardware-software partitioning
2Jigang Wang, Guochang Gu, Shibo Xie, Lifeng Xu Design of Smart Phone-Oriented Embedded Real-time Operating System. Search on Bibsonomy IMSCCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Claudio Passerone Real time operating system modeling in a system level design environment. Search on Bibsonomy ISCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Simon Oberthür, Carsten Böke, Björn Griese Dynamic online reconfiguration for customizable and self-optimizing operating systems. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF real-time operating system, self-optimizing
2Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper Static Timing Analysis of Real-Time Operating System Code. Search on Bibsonomy ISoLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Hyun-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) Search on Bibsonomy Symposium on Object-Oriented Real-Time Distributed Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF TMO (Time-triggered Message-triggered Object), LTMOS, Middleware, Linux, Real-time Operating System
2Karlheinz Weiß, Thorsten Steckstor, Wolfgang Rosenstiel Emulation of a Fast Reactive Embedded System using a Real Time Operating System. Search on Bibsonomy DATE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2Karlheinz Weiß, Thorsten Steckstor, Wolfgang Rosenstiel Performance Analysis of a RTOS by Emulation of an Embedded System. (PDF / PS) Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 1999 DBLP  DOI  BibTeX  RDF VxWorks, SPYDER-CORE-P1, embedded system, caches, emulation, microcontroller, real-time operating system, RTOS, ASI
2Yangmin Seo, Jungkeun Park, Seongsoo Hong Efficient User-Level I/O in the ARX Real-Time Operating System. Search on Bibsonomy LCTES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli Automatic Generation of a Real-Time Operating System for Embedded Systems. Search on Bibsonomy CODES The full citation details ... 1997 DBLP  DOI  BibTeX  RDF scheduling, Real-Time Operating Systems, co-synthesis
2Simon Fowler, Andy J. Wellings Formal development of a real-time kernel. (PDF / PS) Search on Bibsonomy IEEE Real-Time Systems Symposium The full citation details ... 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
2David B. Stewart, Richard Volpe, Pradeep K. Khosla Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
2David B. Stewart, Pradeep K. Khosla Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring. (PDF / PS) Search on Bibsonomy HASE The full citation details ... 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
2Anastasio Molano, Alberto García-Martínez, Ángel Viña The Design and Implementation of a Multimedia Storage Server to Support Video-on-Demand Applications. Search on Bibsonomy EUROMICRO The full citation details ... 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
2L. 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. Search on Bibsonomy ICECCS The full citation details ... 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
2John Drummond, Michael Wu A low level analysis of the realtime Mach distributed operating system. (PDF / PS) Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 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
2Dick Jensen Adventures in Embedded Development. Search on Bibsonomy IEEE Software The full citation details ... 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
2David R. Cheriton, Michael A. Malcolm, Lawrence S. Melen, Gary R. Sager Thoth, a Portable Real-Time Operating System (Extended Abstract). Search on Bibsonomy SOSP The full citation details ... 1977 DBLP  DOI  BibTeX  RDF Thoth
1Taghi Mohamadi Real Time Operating System for AVR microcontrollers. Search on Bibsonomy EWDTS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Xianmin Wei Research of Dynamic Priority Improvement Method in μC/OS-II Real-Time Operating System. Search on Bibsonomy ICAIC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hui Chen, ShiPing Yang Research on Ultra-Dependable Embedded Real Time Operating System. Search on Bibsonomy GreenCom The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hiroyuki Chishiro, Nobuyuki Yamasaki RT-Est: Real-Time Operating System for Semi-fixed-Priority Scheduling Algorithms. Search on Bibsonomy EUC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bing Wu Realization of Modified MPC Algorithm Based on Real Time Operating System. Search on Bibsonomy ICDMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Smita S. Potdar, Kenneth G. Ricks Overhead Reduction for an Off-the-Shelf Real-Time Operating System. Search on Bibsonomy I. J. Comput. Appl. The full citation details ... 2010 DBLP  BibTeX  RDF
1Yingxu 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. Search on Bibsonomy IJSSCI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yingxu 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. Search on Bibsonomy IJSSCI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gengxin Sun, Fengjing Shao Name, Sheng Bin Performance Test of An Embedded Real-Time Operating System Based on A New High-Security NetWork Computer. Search on Bibsonomy JDCTA The full citation details ... 2010 DBLP  BibTeX  RDF
1Ricardo 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. Search on Bibsonomy DSD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Takako Nonaka, Masato Shimano, Yuta Uesugi, Tomohiro Hase Embedded server and client system for home appliances on real-time operating system. Search on Bibsonomy ISDA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan Fornaeus Device hypervisors. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF real-time, separation, real-time operating system, hypervisor, embedded devices, consolidation, general purpose operating system
1Yoshinobu Kawabe, Nobuhiro Ito, Naohiro Ishii On Formal Modeling of TOPPERS Embedded Software. Search on Bibsonomy SERA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF TOPPERS real-time operating system, distributed systems, verification, formal methods, embedded software
1Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek High-level programming of embedded hard real-time devices. Search on Bibsonomy EuroSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF real-time systems, memory management, java virtual machine
1Jeff Lee Battery management technology for an electric vehicle. Search on Bibsonomy ISLPED The full citation details ... 2010 DBLP  DOI  BibTeX  RDF battery, bms, electric vehicle
1Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek Developing safety critical Java applications with oSCJ/L0. Search on Bibsonomy JTRES The full citation details ... 2010 DBLP  DOI  BibTeX  RDF memory management, Java virtual machine, safety critical systems
1Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti A real-time architecture design language for multi-rate embedded control systems. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF scheduling, real-time systems, compilation, synchronous
1Haiying Zhou, Kun Mean Hou, Christophe De Vaulx, De-Cheng Zuo A Hybrid Embedded Real-time Operating System for Wireless Sensor Networks. Search on Bibsonomy JNW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Daum, Norbert Schirmer, Mareike Schmidt Implementation Correctness of a Real-Time Operating System. Search on Bibsonomy SEFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fabian 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. Search on Bibsonomy CASES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ciao, priority-driven, rate-monotonic priority inversion, tricore, real-time systems, interrupt handling
1Paolo Pagano, Francesco Piga, Yao Liang Real-time multi-view vision systems using WSNs. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-view vision, WSN, real-time operating system
1Masato Kamio, Keiichi Nakamura, Shinsuke Kobayashi, Noboru Koshizuka, Ken Sakamura Micro T-Kernel: A Low Power and Small Footprint RTOS for Networked Tiny Devices. Search on Bibsonomy ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Embedded Real-Time Operating System, Small Footprint, Sensor Networks, Low Power, Multitasking
1Marc Aoun, Julien Catalano, Peter van der Stok Distributed Task Synchronization in Wireless Sensor Networks. Search on Bibsonomy EWSN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF task synchronization, synchronized sampling, time synchronization, timestamping, real-time operating system, clock drift
1Franz J. Rammig, Yuhong Zhao, Sufyan Samara On-Line Model Checking as Operating System Service. Search on Bibsonomy SEUS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF On-line model checking, Verification service, Real-time operating system
1Paolo 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. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Maobing Dai, Yutaka Ishikawa Delayed Interrupt Processing Technique for Reducing Latency of Timer Interrupt in Embedded Linux. Search on Bibsonomy CSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner Verifying the Implementation of an Operating System Scheduler. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Déharbe, Stephenson Galvão, Anamaria Martins Moreira Formalizing FreeRTOS: First Steps. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Kaegi-Trachsel, Jürg Gutknecht Minos - the design and implementation of an embedded real-time operating system with a perspective of fault tolerance. Search on Bibsonomy IMCSIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ketan Kotecha, Apurva Shah Adaptive scheduling algorithm for real-time operating system. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias 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. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hai-ying Zhou, Feng Wu, Kun-mean Hou An Event-driven Multi-threading Real-time Operating System Dedicated to Wireless Sensor Networks. Search on Bibsonomy ICESS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Krause, Dominik Englert, Oliver Bringmann, Wolfgang Rosenstiel Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF RTOS modeling, embedded systems, instruction set simulation
1Paul Regnier, George Lima, Luciano Barreto Evaluation of interrupt handling timeliness in real-time Linux operating systems. Search on Bibsonomy Operating Systems Review The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis Semantics-preserving multitask implementation of synchronous programs. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF process communication, optimality, Embedded software, model-based design, preemptive scheduling, synchronous programming, semantical preservation
1Jiyong Park, Jaesoo Lee, Saehwa Kim, Seongsoo Hong Quasistatic shared libraries and XIP for memory footprint reduction in MMU-less embedded systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MMU-less, memory footprint reduction, quasi-static linking, Embedded systems, shared library
1Libin Zhang, Weimin Shi, Fang Xu, Hongwu Zhan Design and Implement of Franking Machine Control System Based on ARM. Search on Bibsonomy CSSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander TinyTimber, Reactive Objects in C for Real-Time Embedded Systems. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Amith Kumar Nuggehalli Ramachandra, Avin Kumar Kannur Analysis of CPU Utilisation and Stack Consumption of a Multimedia Embedded System. Search on Bibsonomy DELTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CPU Utilisation, Stack Consumption
1Bing Guo, Yan Shen, Lei Zhang, Xiang Zhou Research and Design of Shared Resources Competition Solution among Hardware-Software Tasks based on Unified Scheduling. Search on Bibsonomy EUC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti A Multi-Periodic Synchronous Data-Flow Language. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michele Paselli, Frederik Petré, Olivier Rousseaux, Guy Meynants, Bert Gyselinckx, Marc Engels, Luca Benini A High-Performance Wireless Sensor Node for Industrial Control Applications. Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF WiMedia, Mechatronic, Wireless Sensor Node, Industrial control
1Yan Meng, Kerry Johnson, Brian Simms, Matthew Conforth A generic architecture of modular embedded system for miniature mobile robots. Search on Bibsonomy IROS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yuichi Itami, Tasuku Ishigooka, Takanori Yokoyama A Distributed Computing Environment for Embedded Control Systems with Time-Triggered and Event-Triggered Processing. Search on Bibsonomy RTCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ching-Han Chen, Sz-Ting Liou An Embedded Computing Platform for Robot. Search on Bibsonomy SUTC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Embedded Computing Platform, SW/HW co-design, Reconfigurable, RTOS, Intelligent robot
1Fu-Ching Yang, Wen-Kai Huang, Jing-Kun Zhong, Ing-Jer Huang Automatic Verification of External Interrupt Behaviors for Microprocessor Design. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Laura Carnevali, Leonardo Grassi, Enrico Vicario A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Search on Bibsonomy Ada-Europe The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrent real-time systems, V-Model, preemptive Time Petri Nets, formal methods, state space analysis
1Florian Kluge, Jörg Mische, Sascha Uhrig, Theo Ungerer An Operating System Architecture for Organic Computing in Embedded Real-Time Systems. Search on Bibsonomy ATC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Xiaoning Ma, Jiancheng Fang, Wei Sheng Development of an Onboard Software System for Mini Unmanned Aerial Vehicle Based on VxWorks. Search on Bibsonomy ICIRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF VxWorks, flight software, shared memory, unmanned aerial vehicle (UAV), inter-process communication
1Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues Automatic framework generation for hard real-time applications. Search on Bibsonomy ISSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Ravenscar, Real-time, Ada, Code generation, Model transformation, AADL
1Chris Micacchi, Robin Cohen A framework for simulating real-time multi-agent systems. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Agent architectures and systems, Distributed intelligent systems, Soft real-time environments, Adjustable autonomy systems, Multi-agent systems
1Bing Guo, Dianhui Wang, Yan Shen, Zhishu Li A Hopfield neural network approach for power optimization of real-time operating systems. Search on Bibsonomy Neural Computing and Applications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SoC, Power optimization, RTOS, Hopfield neural network, Hardware-software partitioning
1Libor Waszniowski, Zdenek Hanzálek Formal verification of multitasking applications based on timed automata model. Search on Bibsonomy Real-Time Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking
1Zonghai Chen, Haibo Wang Open Intelligent Robot Controller Based on Field-Bus and RTOS. Search on Bibsonomy Innovations in Hybrid Intelligent Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pawel Pisarczyk Experimental Dependability Evaluation of Memory Manager in the Real-time Operating System. Search on Bibsonomy IJCSA The full citation details ... 2007 DBLP  BibTeX  RDF
1Moonvin Song, Sang Hoon Hong, Yunmo Chung Reducing the Overhead of Real-Time Operating System through Reconfigurable Hardware. Search on Bibsonomy DSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arslan, Ahmet T. Erdogan Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures. Search on Bibsonomy FCCM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mohammad 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. Search on Bibsonomy DDECS The full citation details ... 2007 DBLP  BibTeX  RDF
1André C. Nácul, Francesco Regazzoni, Marcello Lajolo Hardware scheduling support in SMP architectures. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Brian P. Doherty A real-time benchmark for Java™. Search on Bibsonomy JTRES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SPECjbb2005, Java, real-time, benchmarks, RTSJ
1Koushik Sen Concolic testing. Search on Bibsonomy ASE The full citation details ... 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
1Mohammad Hossein Neishaburi, Masoud Daneshtalab, Mohammad Reza Kakoee, Saeed Safari Improving Robustness of Real-Time Operating Systems (RTOS) Services Related to Soft-Errors. Search on Bibsonomy AICCSA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa, Eliane Martins, Henrique Madeira Experimental Risk Assessment and Comparison Using Software Fault Injection. Search on Bibsonomy DSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Laura Carnevali, Luigi Sassoli, Enrico Vicario Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. Search on Bibsonomy ECRTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Enno Lübbers, Marco Platzner ReconOS: An RTOS supporting Hard- and Software Threads. Search on Bibsonomy FPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Alessio Salerno, Jorge Angeles Design and Implementation of a Quasiholonomic Mobile Robot. Search on Bibsonomy ICRA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michele Cirinei, Enrico Bini, Giuseppe Lipari, Alberto Ferrari A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sangsoo Park, Walter Olds, Kang G. Shin, Shige Wang Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development. Search on Bibsonomy RTSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Anthony Rowe, Dhiraj Goel, Raj Rajkumar FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System. Search on Bibsonomy RTSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Wei-Tsun Sun, Zoran Salcic Modeling RTOS for Reactive Embedded Systems. Search on Bibsonomy VLSI Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Murali Rangarajan, Darren D. Cofer Computing Worst-Case Response Times in Real-Time Avionics Applications. Search on Bibsonomy FMICS The full citation details ... 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. Search on Bibsonomy Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Sampled-data control, Modelling, Real-time operating systems, Multirate, Control design
1Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira Communication-Aware Component Allocation Algorithm for a Hybrid Architecture. Search on Bibsonomy DIPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF System-on-Chip, Reconfigurable Computing, Real Time Operating System
1Xiangrong Zhou, Peter Petrov Rapid and low-cost context-switch through embedded processor customization for real-time and control applications. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tero 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. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1N. Ignat, B. Nicolescu, Yvon Savaria, Gabriela Nicolescu Soft-error classification and impact analysis on real-time operating systems. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Sathish Chandra, Francesco Regazzoni, Marcello Lajolo Hardware/software partitioning of operating systems: a behavioral synthesis approach. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF embedded systems, operating systems, partitioning, RTOS, HW/SW codesign
1Zhaohui Wu, Hong Li, Zhigang Gao, Jie Sun 0003, Jiang Li An Improved Method of Task Context Switching in OSEK Operating System. Search on Bibsonomy AINA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Zhang Qingnian, Zhou Zhizhong, Yin Daquan, Yang Jie Study of Real-Time Detecting System for Driver's Safety. Search on Bibsonomy APCCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 249 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.