\relax 
\citation{phillips_graph-based_1998}
\citation{schneier_modeling_1999}
\citation{ou_scalable_2006}
\citation{CPSIOT,ming_jo}
\citation{10.1145/3105760}
\citation{8290918}
\citation{centrality_based}
\citation{j_hale_compliance_nodate,baloyi_guidelines_2019,allman_complying_2006}
\@writefile{toc}{\contentsline {section}{\numberline {I}INTRODUCTION}{1}{}\protected@file@percent }
\citation{sheyner_automated_2002}
\citation{ou_scalable_2006}
\citation{zhang_boosting_2017}
\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}{}\protected@file@percent }
\newlabel{sec:sync-lit}{{II}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {III}Inseparable Features}{2}{}\protected@file@percent }
\newlabel{sec:inseparable}{{III}{2}}
\citation{cook_rage_2018}
\citation{louthan_hybrid_2011}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A network without Synchronous Firing generating infeasible states}}{3}{}\protected@file@percent }
\newlabel{fig:non-sync_ex}{{1}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {IV}Implementing Synchronous Firing}{3}{}\protected@file@percent }
\newlabel{sec:implementing}{{IV}{3}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A}GNU Bison and Flex}{3}{}\protected@file@percent }
\citation{nichols_2018}
\citation{cook_rage_2018}
\citation{cook_rage_2018}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Inclusion of Synchronous Firing into GNU Bison, GNU Flex, and the overall program}}{4}{}\protected@file@percent }
\newlabel{fig:bison-flex}{{2}{4}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B}PostgreSQL}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {C}Compound Operators}{4}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {D}Graph Generation}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {E}{\hl {Accuracy of Generated Graphs}}}{5}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {V}Results}{5}{}\protected@file@percent }
\newlabel{sec:Results}{{V}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A}Experimental Networks and Computing Platform}{5}{}\protected@file@percent }
\newlabel{sec:test-platform}{{A}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Synchronous Firing in the Graph Generation Process}}{5}{}\protected@file@percent }
\newlabel{fig:sync-fire}{{3}{5}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces {\hl {Car Example With and Without Synchronous Firing}}}}{5}{}\protected@file@percent }
\newlabel{fig:non-sync_side}{{4}{5}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1}{\hl {Automobile Maintenance}}}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2}{\hl {DMCA Takedown}}}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {B}Results and Analysis}{6}{}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{\numberline {1}Results for the Theoretical \DIFaddbegin  {\hl {Automobile }}\DIFaddend  Environment}{6}{}\protected@file@percent }
\newlabel{sec:theo_res}{{1}{6}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Results for the Non-Synchronous Firing Testing}}{7}{}\protected@file@percent }
\newlabel{table:NS-Table}{{1}{7}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {2}Results for a Grouped \DIFaddbegin  {\hl {Automobile }}\DIFaddend  Environment}{7}{}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces Synchronous Firing on Runtime}}{7}{}\protected@file@percent }
\newlabel{fig:Sync-RT}{{5}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces Bar Graph and Line Graph Representations of Synchronous Firing on State Space}}{7}{}\protected@file@percent }
\newlabel{fig:Sync-State}{{6}{7}}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Results for the Synchronous Firing Testing}}{7}{}\protected@file@percent }
\newlabel{table:S-Table}{{2}{7}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces Speedup (Amdahl's) \DIFaddbeginFL  {\hl {and State Space Reduction Factor }}\DIFaddendFL  Obtained When Using Synchronous Firing}}{8}{}\protected@file@percent }
\newlabel{fig:Sync-Spd}{{7}{8}}
\@writefile{lot}{\contentsline {table}{\numberline {3}{\ignorespaces Results for the Comprehensive Services without Synchronous Firing}}{8}{}\protected@file@percent }
\newlabel{table:Non-Sync-Comp-Table}{{3}{8}}
\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Results for the Comprehensive Services with Synchronous Firing}}{8}{}\protected@file@percent }
\newlabel{table:Sync-Comp-Table}{{4}{8}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Synchronous Firing on Runtime}}{9}{}\protected@file@percent }
\newlabel{fig:Comp-Sync-RT}{{8}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Bar Graph and Line Graph Representations of Synchronous Firing with Comprehensive Services on State Space}}{9}{}\protected@file@percent }
\newlabel{fig:Comp-Sync-State}{{9}{9}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces Speedup (Amdahl's) Obtained When Using Synchronous Firing with Comprehensive Services}}{9}{}\protected@file@percent }
\newlabel{fig:Comp-Sync-Spd}{{10}{9}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3}{\hl {Results for the DMCA Takedown Environment}}}{9}{}\protected@file@percent }
\newlabel{sec:dmca_res}{{3}{9}}
\@writefile{lot}{\contentsline {table}{\numberline {5}{\ignorespaces {\hl {Results for the Non-Synchronous Firing Testing}}}}{9}{}\protected@file@percent }
\newlabel{table:DMCA-NS-Table}{{5}{9}}
\@writefile{lot}{\contentsline {table}{\numberline {6}{\ignorespaces {\hl {Results for the Synchronous Firing Testing}}}}{9}{}\protected@file@percent }
\newlabel{table:DMCA-S-Table}{{6}{9}}
\bibdata{Bibliography}
\bibcite{phillips_graph-based_1998}{1}
\bibcite{schneier_modeling_1999}{2}
\bibcite{ou_scalable_2006}{3}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces {\hl {Synchronous Firing on State Space and Runtime for the DMCA Takedown Environment}}}}{10}{}\protected@file@percent }
\newlabel{fig:DMCA-States-Runtime}{{11}{10}}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces {\hl {Speedup (Amdahl's) and State Space Reduction Factor Obtained When Using Synchronous Firing}}}}{10}{}\protected@file@percent }
\newlabel{fig:DMCA-Sync-Spd}{{12}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {VI}Future Works}{10}{}\protected@file@percent }
\newlabel{sec:fw}{{VI}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {VII}Conclusion}{10}{}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{REFERENCES}{10}{}\protected@file@percent }
\bibcite{CPSIOT}{4}
\bibcite{ming_jo}{5}
\bibcite{10.1145/3105760}{6}
\bibcite{8290918}{7}
\bibcite{centrality_based}{8}
\bibcite{j_hale_compliance_nodate}{9}
\bibcite{baloyi_guidelines_2019}{10}
\bibcite{allman_complying_2006}{11}
\bibcite{sheyner_automated_2002}{12}
\bibcite{zhang_boosting_2017}{13}
\bibcite{Monotonicity}{14}
\bibcite{TVA}{15}
\bibcite{louthan_hybrid_2011}{16}
\bibcite{cook_rage_2018}{17}
\bibcite{nichols_2018}{18}
\bibstyle{ieeetr}
\gdef \@abspage@last{11}
