2 % Zulässige Class Options: |
2 % Zulässige Class Options: |
3 % Typ der Arbeit: diplom, master (default), bachelor, praktikum |
3 % Typ der Arbeit: diplom, master (default), bachelor, praktikum |
4 % Hauptsprache: german (default), english |
4 % Hauptsprache: german (default), english |
5 %%------------------------------------------------------------ |
5 %%------------------------------------------------------------ |
6 |
6 |
7 \graphicspath{{images/}} % wo liegen die Bilder? |
7 % TODO !!! amdahl & gustafson: set samples to 2000+ |
8 \bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change |
8 % TODO !!! edit: appendix b cd-rom / dvd !? |
|
9 % TODO !!! appendix b add Repo date |
|
10 % TODO !!! render all images to png |
|
11 % TODO !!! README windows line breaks! |
|
12 % TODO !!! "Overfull" grep |
9 |
13 |
10 \newcommand{\isac}{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
14 \graphicspath{{images/}} % wo liegen die Bilder? |
11 \def\sisac{{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}} |
15 \bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change |
12 \newcommand{\isabelle}{{\it Isabelle}} |
16 |
|
17 \usepackage{tikz,pgfplots,pgfplotstable} |
|
18 \pgfplotsset{compat=1.9} |
|
19 \usetikzlibrary{positioning} |
|
20 |
|
21 \usepackage{listings} % syntax highlighting |
|
22 |
|
23 \definecolor{color1}{HTML}{a40000} |
|
24 \definecolor{color2}{HTML}{3465a4} |
|
25 \definecolor{color3}{HTML}{ce5c00} |
|
26 \definecolor{color4}{HTML}{4e9a06} |
|
27 \definecolor{color5}{HTML}{eeeeec} |
|
28 \definecolor{color6}{HTML}{2e3436} |
|
29 |
|
30 \lstnewenvironment{MLCode}[1][] % code environment for ML |
|
31 {\lstset{ |
|
32 language=ML, |
|
33 keywordstyle=\bfseries\color{color1}, |
|
34 %identifierstyle=\ttfamily, |
|
35 commentstyle=\color{color2}, |
|
36 stringstyle=\color{color3}, |
|
37 showstringspaces=false, |
|
38 basicstyle=\ttfamily\footnotesize, |
|
39 numberstyle=\tiny\ttfamily\color{color6}, |
|
40 numbers=left, |
|
41 numbersep=10pt, |
|
42 tabsize=2, |
|
43 breaklines=true, |
|
44 %prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}}, |
|
45 breakatwhitespace=false, |
|
46 %aboveskip={1.5\baselineskip}, |
|
47 columns=fixed, |
|
48 upquote=true, |
|
49 extendedchars=true, |
|
50 % frame=single, |
|
51 backgroundcolor=\color{color5}, |
|
52 %literate=% |
|
53 % *{0}{{{\color[rgb]{1,0,0}0}}}1 |
|
54 % {1}{{{\color[rgb]{1,0,0}1}}}1 |
|
55 % {2}{{{\color[rgb]{1,0,0}2}}}1 |
|
56 % {3}{{{\color[rgb]{1,0,0}3}}}1 |
|
57 % {4}{{{\color[rgb]{1,0,0}4}}}1 |
|
58 % {5}{{{\color[rgb]{1,0,0}5}}}1 |
|
59 % {6}{{{\color[rgb]{1,0,0}6}}}1 |
|
60 % {7}{{{\color[rgb]{1,0,0}7}}}1 |
|
61 % {8}{{{\color[rgb]{1,0,0}8}}}1 |
|
62 % {9}{{{\color[rgb]{1,0,0}9}}}1 |
|
63 escapeinside={/+}{+/},% makes "/+" and "+/" available for Latex escapes (labels etc.) |
|
64 #1 |
|
65 }} |
|
66 {} |
|
67 \lstdefinelanguage{Scala}{ |
|
68 morekeywords={abstract,case,catch,class,def,% |
|
69 do,else,extends,false,final,finally,% |
|
70 for,if,implicit,import,match,mixin,% |
|
71 new,null,object,override,package,% |
|
72 private,protected,requires,return,sealed,% |
|
73 super,this,throw,trait,true,try,% |
|
74 type,val,var,while,with,yield}, |
|
75 otherkeywords={=>,<-,<\%,<:,>:,\#,@}, |
|
76 sensitive=true, |
|
77 morecomment=[l]{//}, |
|
78 morecomment=[n]{/*}{*/}, |
|
79 morestring=[b]", |
|
80 morestring=[b]', |
|
81 morestring=[b]""" |
|
82 } |
|
83 \lstnewenvironment{ScalaCode}[2][] % code environment for Scala |
|
84 {\noindent\minipage{\linewidth} |
|
85 \lstset{ |
|
86 language=Scala, |
|
87 keywordstyle=\bfseries\color{color1}, |
|
88 %identifierstyle=\ttfamily, |
|
89 commentstyle=\color{color2}, |
|
90 stringstyle=\color{color3}, |
|
91 showstringspaces=false, |
|
92 basicstyle=\ttfamily\footnotesize, |
|
93 numberstyle=\tiny\ttfamily\color{color6}, |
|
94 numbers=left, |
|
95 numbersep=10pt, |
|
96 tabsize=2, |
|
97 breaklines=true, |
|
98 prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}}, |
|
99 breakatwhitespace=false, |
|
100 aboveskip={1.5\baselineskip}, |
|
101 columns=fixed, |
|
102 upquote=true, |
|
103 extendedchars=true, |
|
104 % frame=single, |
|
105 backgroundcolor=\color{color5}, |
|
106 %literate=% |
|
107 % *{0}{{{\color[rgb]{1,0,0}0}}}1 |
|
108 % {1}{{{\color[rgb]{1,0,0}1}}}1 |
|
109 % {2}{{{\color[rgb]{1,0,0}2}}}1 |
|
110 % {3}{{{\color[rgb]{1,0,0}3}}}1 |
|
111 % {4}{{{\color[rgb]{1,0,0}4}}}1 |
|
112 % {5}{{{\color[rgb]{1,0,0}5}}}1 |
|
113 % {6}{{{\color[rgb]{1,0,0}6}}}1 |
|
114 % {7}{{{\color[rgb]{1,0,0}7}}}1 |
|
115 % {8}{{{\color[rgb]{1,0,0}8}}}1 |
|
116 % {9}{{{\color[rgb]{1,0,0}9}}}1 |
|
117 label={#1}, |
|
118 caption={#2}, |
|
119 captionpos=b, |
|
120 escapeinside={/+}{+/}% makes "/+" and "+/" available for Latex escapes (labels etc.) |
|
121 }} |
|
122 {\endminipage} |
|
123 \renewcommand{\lstlistingname}{Snippet} % Caption name |
|
124 |
|
125 %\newcommand{\isac}{\texorpdfstring{$\mathcal{I}\mkern-2mu\mathcal{S}\mkern-5mu\mathcal{AC}$}{Isac}} |
|
126 %\def\sisac{\texorpdfstring{{\footnotesize \isac{}}}{Isac}} |
|
127 \newcommand{\isac}{\textit{Isac}} |
|
128 \newcommand{\isabelle}{\textit{Isabelle}} |
|
129 \newcommand{\imlcode}[1]{{\ttfamily \begin{tabbing}#1\end{tabbing}}} |
13 |
130 |
14 %%%---------------------------------------------------------- |
131 %%%---------------------------------------------------------- |
15 \begin{document} |
132 \begin{document} |
16 %%%---------------------------------------------------------- |
133 %%%---------------------------------------------------------- |
17 |
134 |
18 % Einträge für ALLE Arbeiten: -------------------------------- |
135 % Einträge für ALLE Arbeiten: -------------------------------- |
19 \title{Introducing Parallelism and Concurrency in an Educational Mathematics System using Functional Programming} |
136 \title{Introducing Parallelism in an Educational Mathematics System Developed in a Functional Programming Language} |
20 \author{Mathias Lehnfeld} |
137 \author{Mathias Lehnfeld} |
21 \studiengang{Interactive Media} |
138 \studiengang{Interactive Media} |
22 \studienort{Hagenberg} |
139 \studienort{Hagenberg} |
23 \abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD} |
140 \abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD} |
24 \betreuer{Mag. Volker Christian} % oder \betreuerin{..} |
141 \betreuer{Mag. Volker Christian} % oder \betreuerin{..} |
25 \betreuer{Dr. Walther Neuper} % oder \betreuerin{..} |
142 \betreuer{Dr. Walther Neuper} % oder \betreuerin{..} |
26 \firma{ |
143 \firma{ |
27 Institut für Informationssysteme und Computer Medien (IICM)\\ |
144 Institut für Informationssysteme und Computer Medien (IICM)\\ |
28 Fakultät für Informatik - Technische Universität Graz\\ |
145 Fakultät für Informatik - Technische Universität Graz\\ |