Search for dissertations about: "task scheduling"
Showing result 16 - 20 of 99 swedish dissertations containing the words task scheduling.
-
16. Formal Verification of Adaptive Real-Time Systems by Extending Task Automata
Abstract : Recently, we have seen an increase in the deployment of safety critical embedded systems in rapidly changing environments, as well as requirement for on-site customizations and rapid adaptation. To address the extended range of requirements, adaptation mechanism are added to the systems to handle large number of situations appropriately. READ MORE
-
17. Techniques to Tighten the Upper Bound on the ExecutionTime of Task-based Parallel Applications
Abstract : To use multiprocessors in hard real-time systems, schedulability analysis is needed to provide formally proven guarantees for the timing behavior of the system. Programming models for parallel applications, such as OpenMP, use pragmas to specify parts of the application as parallel tasks, for example, a function or a body of a loop. READ MORE
-
18. Scientific Computing on Multicore Architectures
Abstract : Computer simulations are an indispensable tool for scientists to gain new insights about nature. Simulations of natural phenomena are usually large, and limited by the available computer resources. READ MORE
-
19. Three Aspects of Real-Time Multiprocessor Scheduling: Timeliness, Fault Tolerance, Mixed Criticality
Abstract : The design of real-time systems faces two important challenges: incorporating more functions/services on existing hardware to make the system more attractive to the market, and deploying existing software on multiprocessors (e.g., multicore) to utilize moreprocessing power. READ MORE
-
20. Energy-Centric Scheduling for Real-Time Systems
Abstract : Energy consumption is today an important design issue for all kinds of digital systems, and essential for the battery operated ones. An important fraction of this energy is dissipated on the processors running the application software. To reduce this energy consumption, one may, for instance, lower the processor clock frequency and supply voltage. READ MORE