مرکز منطقه ای اطلاع رساني علوم و فناوري

Keywords :

multiprocessing systems; operating systems (computers); processor scheduling; real-time systems; timing; CAN; aperiodic request scheduling; approximate schedulability analysis; avionics; dynamic scan scheduling; embedded system design; end-to-end fairness analysis; energy constraints; energy-efficient real-time systems; fair queuing networks; fast resource synthesis technique; fine-grain concurrency; formal verification; hierarchical real-time virtual resources; implicit prioritized access protocol; locking; low-complexity algorithms; mixed preemption relations; multiprocessors; multitasking hard real-time systems; nonpreemptible sections; optimal partitioning; overhead accounting; periodic hard real-time task scheduling; periodic real-time systems; probabilistic hard real-time systems; processor voltage scheduling; quantized EDF scheduling; queueing model based network server performance control; rate monotonic schedulability; rate-based execution model; real-time operating systems; real-time systems; reservation-based feedback scheduler; secure real-time transaction processing; separate address spaces; simultaneous multithreaded processor; soft real-time scheduling; software thread integration; state-dependent deadline scheduling; static cache locking; stochastic analysis; timeliness guarantees; timing constraints; wireless sensor networks;