Add other changesHEADmaster

1 files changed, 16 insertions, 12 deletions

diff --git a/chapters/scheduling.tex b/chapters/scheduling.tex
index de83ed2..c012ff3 100644
--- a/chapters/scheduling.tex
+++ b/chapters/scheduling.tex
@@ -7,18 +7,22 @@
 
 \section[introduction]{Introduction}
 
-\oindex{static scheduling}The use of multicore processors has been increasing drastically, thereby
-making parallelising compilers ever more important. In addition to that, the need for custom
-hardware accelerators is also increasing, as traditional processors are not always the best choice
-for all applications. Compilers that support optimisations which can automatically parallelise its
-input programs are therefore also becoming more important, as these back ends all benefit from
-it. For processors, one wants to optimise the pipeline usage as much as possible, whereas in
-hardware one can create custom pipelines, as well as making more use out of the spacial properties
-that hardware offers, making instruction parallelism important as well as speculative
-execution. However, with more powerful optimisations there is a greater chance to make mistakes in
-the compiler, making it possible to generate programs that behave differently to the input
-program. An important step towards making compilers more reliable is to formally verify these
-optimisations so that it can be guaranteed that bugs are not introduced.
+\oindex{static scheduling}The use of multicore processors has been increasing
+drastically, thereby making parallelising compilers ever more important. In
+addition to that, the need for custom hardware accelerators is also increasing,
+as traditional processors are not always the best choice for all
+applications. Compilers that support optimisations which can automatically
+parallelise its input programs are therefore also becoming more important, as
+these back ends all benefit from it. For processors, one wants to optimise the
+pipeline usage as much as possible, whereas in hardware one can create custom
+pipelines, as well as making more use out of the spacial properties that
+hardware offers, making instruction parallelism important as well as speculative
+execution. However, with more powerful optimisations there is a greater chance
+to make mistakes in the compiler, making it possible to generate programs that
+behave differently to the input program. An important step towards making
+compilers more reliable is to formally verify these optimisations, so taoirenst
+arsntoi earsite naoriestn aoirsten aorsnt ot so that it can be guaranteed that
+bugs are not introduced.
 
 A popular optimisation for processors increasing the instruction parallelism of the resulting
 program is to use scheduling. This is an optimisation that is especially important for processors