Sökning: "task scheduling"

Visar resultat 16 - 20 av 100 avhandlingar innehållade orden task scheduling.

1. 16. Formal Verification of Adaptive Real-Time Systems by Extending Task Automata

   Författare :Leo Hatvani; Paul Pettersson; Cristina Seceleanu; Brian Nielsen; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; embedded systems; timed automata; scheduling; Computer Science; datavetenskap;

   Sammanfattning : 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. LÄS MER

3. 17. Techniques to Tighten the Upper Bound on the ExecutionTime of Task-based Parallel Applications

   Författare :Petros Voudouris; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Scheduling; Multiprocessor; WCET; Uniform; Hard; multicore; Related; DAG; Real-Time; Dynamic; Unrelated; Makespan; Homogeneous; Parallel; Identical;

   Sammanfattning : 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. LÄS MER

4. 18. Scientific Computing on Multicore Architectures

   Författare :Martin Tillenius; Elisabeth Larsson; Sverker Holmgren; Jakub Kurzak; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; multicore; scientific computing; shared memory parallelism; task-based programming; parallel programming model; task scheduling; data versioning; Beräkningsvetenskap; Scientific Computing;

   Sammanfattning : 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. LÄS MER

5. 19. Three Aspects of Real-Time Multiprocessor Scheduling: Timeliness, Fault Tolerance, Mixed Criticality

   Författare :Risat Pathan; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Mixed-Criticality Systems; Fault-Tolerant Scheduling; Fixed Priority; Real-Time Systems; Global Multiprocessor Scheduling; Time Redundancy; Sporadic Tasks;

   Sammanfattning : 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. LÄS MER

7. 20. Energy-Centric Scheduling for Real-Time Systems

   Författare :Flavius Gruian; Institutionen för datavetenskap; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; numerisk analys; Datalogi; Computer science; numerical analysis; System-Level Synthesis; Variable Speed Processors; Dynamic Voltage Scaling; Real-Time Scheduling; Energy Efficient Systems; control; systems; system; kontroll;

   Sammanfattning : 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. LÄS MER