Results 71 to 80 of about 1,185 (184)

An Exact Schedulability Test for Real-Time Systems with Abstract Scheduler on Multiprocessor Platforms

open access: yesМоделирование и анализ информационных систем
This paper uses the model checking method for an exact schedulability test of real-time systems running on multiprocessor platforms. To use this method, we formally describe real-time systems with an abstract scheduler as Kripke models.
Natalia O. Garanina
doaj   +1 more source

A MIXED INTEGER LINEAR PROGRAMMING MODEL FOR REAL-TIME TASK SCHEDULING IN MULTIPROCESSOR COMPUTER SYSTEM

open access: yesJournal of ICT, 2012
There has been an upsurge in real-time multimedia applications in recent time. On a network, the ability of an average uniprocessor computer to handle such data may be limited due to the large size of such data.
Samuel Adeboyo Oluwadare   +1 more
doaj  

Distribution of Computational Load between Processors in an Exact Solution of the Knapsack Problem with Exhaustive Search

open access: yesБезопасность информационных технологий, 2015
Keywords:  In this paper, we propose a new approach to the definition of basic problems in a constructive enumeration of combinations of knapsack vector elements.
Georgii Ivanovich Borzunov   +1 more
doaj  

Energy-constrained workflow scheduling for DVFS-enabled heterogeneous systems in cloud computing environments. [PDF]

open access: yesSci Rep
Ahmad W   +6 more
europepmc   +1 more source

Average distance between the processors of biswapped networks. [PDF]

open access: yesSci Rep
Prabhu S   +3 more
europepmc   +1 more source

Bounding the execution time of parallel applications on unrelated multiprocessors. [PDF]

open access: yesReal Time Syst (Dordr), 2022
Voudouris P, Stenström P, Pathan R.
europepmc   +1 more source

Home - About - Disclaimer - Privacy