Results 71 to 80 of about 1,185 (184)
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
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
ScalaBLAST 2.0: rapid and robust BLAST calculations on multiprocessor systems. [PDF]
Oehmen CS, Baxter DJ.
europepmc +1 more source
Instance dataset for a multiprocessor scheduling problem with multiple time windows and time lags: Similar instances with large differences in difficulty. [PDF]
Karlsson E, Rönnberg E.
europepmc +1 more source
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
Design Space Exploration of Clustered Sparsely Connected MPSoC Platforms. [PDF]
Frid N, Sruk V, Jakobović D.
europepmc +1 more source
Energy-constrained workflow scheduling for DVFS-enabled heterogeneous systems in cloud computing environments. [PDF]
Ahmad W +6 more
europepmc +1 more source
Average distance between the processors of biswapped networks. [PDF]
Prabhu S +3 more
europepmc +1 more source
Optimizing multiprocessor performance in real-time systems using an innovative genetic algorithm approach. [PDF]
Hassan HE, Ibrahiem KH, Madian AH.
europepmc +1 more source
Bounding the execution time of parallel applications on unrelated multiprocessors. [PDF]
Voudouris P, Stenström P, Pathan R.
europepmc +1 more source

