doi:[removed]j.procs[removed]

First Page		Document Content
Date: 2013-02-17 13:47:54 Concurrent computing Scheduling Priority queue Real-time operating system Rate-monotonic scheduling Context switch Double-ended queue Tree traversal Kernel Scheduling algorithms Computing Computer architecture		doi:[removed]j.procs[removed] Add to Reading List Source URL: www.dddas.org Download Document from Source Website File Size: 1,26 MB Share Document on Facebook

	Using GORE method for Requirement Engineering of Planning & Scheduling Javier Martnez Silva Department of Mechatronics Engineering University of S˜ao Paulo, S˜ao Paulo, Brazil, Professor Morais, 2231 DocID: 1xW1J - View Document
	Hierarchical Task Model with Alternatives for Predictive-reactive Scheduling Marek Vlk and Roman Barta´k (supervisor) Charles University in Prague, Faculty of Mathematics and Physics Malostranske´ na´m. 25, Pra DocID: 1xVDu - View Document
	From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis ⋆ ˇ Pavol Cern´ y1 , Edmund M. Clarke2 , Thomas A. Henzinger3 , Arjun 4 DocID: 1xVyQ - View Document
	Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research DocID: 1xVqK - View Document
	2016 IEEE Real-Time Systems Symposium On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge 1 DocID: 1xVlA - View Document