111 lines
8.1 KiB
TeX
111 lines
8.1 KiB
TeX
\relax
|
|
\providecommand\hyper@newdestlabel[2]{}
|
|
\providecommand\babel@aux[2]{}
|
|
\@nameuse{bbl@beforestart}
|
|
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
|
|
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
|
|
\global\let\oldcontentsline\contentsline
|
|
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
|
|
\global\let\oldnewlabel\newlabel
|
|
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
|
|
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
|
|
\AtEndDocument{\ifx\hyper@anchor\@undefined
|
|
\let\contentsline\oldcontentsline
|
|
\let\newlabel\oldnewlabel
|
|
\fi}
|
|
\fi}
|
|
\global\let\hyper@last\relax
|
|
\gdef\HyperFirstAtBeginDocument#1{#1}
|
|
\providecommand\HyField@AuxAddToFields[1]{}
|
|
\providecommand\HyField@AuxAddToCoFields[2]{}
|
|
\citation{phillips_graph-based_1998}
|
|
\citation{schneier_modeling_1999}
|
|
\citation{ou_scalable_2006}
|
|
\citation{j_hale_compliance_nodate}
|
|
\citation{baloyi_guidelines_2019}
|
|
\citation{allman_complying_2006}
|
|
\citation{sheyner_automated_2002}
|
|
\citation{ou_scalable_2006}
|
|
\citation{zhang_boosting_2017}
|
|
\babel@aux{nil}{}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{section.1}\protected@file@percent }
|
|
\citation{Monotonicity}
|
|
\citation{TVA}
|
|
\citation{ou_scalable_2006}
|
|
\citation{louthan_hybrid_2011}
|
|
\citation{louthan_hybrid_2011}
|
|
\citation{louthan_hybrid_2011}
|
|
\citation{louthan_hybrid_2011}
|
|
\citation{louthan_hybrid_2011}
|
|
\citation{cook_rage_2018}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {II}Related Work}{2}{section.2}\protected@file@percent }
|
|
\newlabel{sec:sync-lit}{{II}{2}{Related Work}{section.2}{}}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {III}Inseparable Features}{2}{section.3}\protected@file@percent }
|
|
\newlabel{sec:inseparable}{{III}{2}{Inseparable Features}{section.3}{}}
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A network without Synchronous Firing generating infeasible states}}{2}{figure.1}\protected@file@percent }
|
|
\newlabel{fig:non-sync_ex}{{1}{2}{A network without Synchronous Firing generating infeasible states}{figure.1}{}}
|
|
\citation{cook_rage_2018}
|
|
\citation{louthan_hybrid_2011}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {IV}Implementing Synchronous Firing}{3}{section.4}\protected@file@percent }
|
|
\newlabel{sec:implementing}{{IV}{3}{Implementing Synchronous Firing}{section.4}{}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-A}}Base Generator Description}{3}{subsection.4.1}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-B}}GNU Bison and Flex}{3}{subsection.4.2}\protected@file@percent }
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Inclusion of Synchronous Firing into GNU Bison, GNU Flex, and the overall program}}{3}{figure.2}\protected@file@percent }
|
|
\newlabel{fig:bison-flex}{{2}{3}{Inclusion of Synchronous Firing into GNU Bison, GNU Flex, and the overall program}{figure.2}{}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-C}}PostgreSQL}{3}{subsection.4.3}\protected@file@percent }
|
|
\citation{nichols_2018}
|
|
\citation{cook_rage_2018}
|
|
\citation{cook_rage_2018}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-D}}Compound Operators}{4}{subsection.4.4}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {IV-E}}Graph Generation}{4}{subsection.4.5}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {section}{\numberline {V}Results}{4}{section.5}\protected@file@percent }
|
|
\newlabel{sec:Results}{{V}{4}{Results}{section.5}{}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {V-A}}Experimental Networks and Computing Platform}{4}{subsection.5.1}\protected@file@percent }
|
|
\newlabel{sec:test-platform}{{\mbox {V-A}}{4}{Experimental Networks and Computing Platform}{subsection.5.1}{}}
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Synchronous Firing in the Graph Generation Process}}{5}{figure.3}\protected@file@percent }
|
|
\newlabel{fig:sync-fire}{{3}{5}{Synchronous Firing in the Graph Generation Process}{figure.3}{}}
|
|
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox {V-B}}Results and Analysis}{5}{subsection.5.2}\protected@file@percent }
|
|
\newlabel{sec:theo_res}{{\mbox {V-B}1}{5}{Results for the Theoretical Environment}{subsubsection.5.2.1}{}}
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {V-B}1}Results for the Theoretical Environment}{5}{subsubsection.5.2.1}\protected@file@percent }
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Synchronous Firing on Runtime}}{6}{figure.4}\protected@file@percent }
|
|
\newlabel{fig:Sync-RT}{{4}{6}{Synchronous Firing on Runtime}{figure.4}{}}
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Bar Graph and Line Graph Representations of Synchronous Firing on State Space}}{6}{figure.5}\protected@file@percent }
|
|
\newlabel{fig:Sync-State}{{5}{6}{Bar Graph and Line Graph Representations of Synchronous Firing on State Space}{figure.5}{}}
|
|
\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox {V-B}2}Results for a Grouped Environment}{6}{subsubsection.5.2.2}\protected@file@percent }
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Speedup (Amdahl's) Obtained When Using Synchronous Firing}}{6}{figure.6}\protected@file@percent }
|
|
\newlabel{fig:Sync-Spd}{{6}{6}{Speedup (Amdahl's) Obtained When Using Synchronous Firing}{figure.6}{}}
|
|
\@writefile{lot}{\contentsline {table}{\numberline {I}{\ignorespaces Tabled Results for the Non-Synchronous Firing Testing}}{6}{table.1}\protected@file@percent }
|
|
\newlabel{table:NS-Table}{{I}{6}{Tabled Results for the Non-Synchronous Firing Testing}{table.1}{}}
|
|
\@writefile{lot}{\contentsline {table}{\numberline {II}{\ignorespaces Tabled Results for the Synchronous Firing Testing}}{7}{table.2}\protected@file@percent }
|
|
\newlabel{table:S-Table}{{II}{7}{Tabled Results for the Synchronous Firing Testing}{table.2}{}}
|
|
\@writefile{lot}{\contentsline {table}{\numberline {III}{\ignorespaces Tabled Results for the Comprehensive Services without Synchronous Firing}}{7}{table.3}\protected@file@percent }
|
|
\newlabel{table:Non-Sync-Comp-Table}{{III}{7}{Tabled Results for the Comprehensive Services without Synchronous Firing}{table.3}{}}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {VI}Future Works}{7}{section.6}\protected@file@percent }
|
|
\newlabel{sec:fw}{{VI}{7}{Future Works}{section.6}{}}
|
|
\@writefile{lot}{\contentsline {table}{\numberline {IV}{\ignorespaces Tabled Results for the Comprehensive Services with Synchronous Firing}}{7}{table.4}\protected@file@percent }
|
|
\newlabel{table:Sync-Comp-Table}{{IV}{7}{Tabled Results for the Comprehensive Services with Synchronous Firing}{table.4}{}}
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Synchronous Firing on Runtime}}{7}{figure.7}\protected@file@percent }
|
|
\newlabel{fig:Comp-Sync-RT}{{7}{7}{Synchronous Firing on Runtime}{figure.7}{}}
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Bar Graph and Line Graph Representations of Synchronous Firing with Comprehensive Services on State Space}}{7}{figure.8}\protected@file@percent }
|
|
\newlabel{fig:Comp-Sync-State}{{8}{7}{Bar Graph and Line Graph Representations of Synchronous Firing with Comprehensive Services on State Space}{figure.8}{}}
|
|
\bibdata{Bibliography}
|
|
\bibcite{phillips_graph-based_1998}{1}
|
|
\bibcite{schneier_modeling_1999}{2}
|
|
\bibcite{ou_scalable_2006}{3}
|
|
\bibcite{j_hale_compliance_nodate}{4}
|
|
\bibcite{baloyi_guidelines_2019}{5}
|
|
\bibcite{allman_complying_2006}{6}
|
|
\bibcite{sheyner_automated_2002}{7}
|
|
\bibcite{zhang_boosting_2017}{8}
|
|
\bibcite{Monotonicity}{9}
|
|
\bibcite{TVA}{10}
|
|
\bibcite{louthan_hybrid_2011}{11}
|
|
\bibcite{cook_rage_2018}{12}
|
|
\bibcite{nichols_2018}{13}
|
|
\bibstyle{ieeetr}
|
|
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Speedup (Amdahl's) Obtained When Using Synchronous Firing with Comprehensive Services}}{8}{figure.9}\protected@file@percent }
|
|
\newlabel{fig:Comp-Sync-Spd}{{9}{8}{Speedup (Amdahl's) Obtained When Using Synchronous Firing with Comprehensive Services}{figure.9}{}}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {VII}Conclusion}{8}{section.7}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {section}{References}{8}{section*.1}\protected@file@percent }
|
|
\gdef \@abspage@last{8}
|