added report submodule
This commit is contained in:
Jeena Paradies
parent
a7ae620176
commit
c3bacc2158
14 changed files with 4 additions and 4829 deletions
3
.gitmodules
vendored
3
.gitmodules
vendored
|
|
@ -1,3 +1,6 @@
|
||||||
[submodule "erlang_js"]
|
[submodule "erlang_js"]
|
||||||
path = erlang_js
|
path = erlang_js
|
||||||
url = https://github.com/jonte/erlang_js.git
|
url = https://github.com/jonte/erlang_js.git
|
||||||
|
[submodule "doc/report"]
|
||||||
|
path = doc/report
|
||||||
|
url = git@github.com:jeena/GGS-report.git
|
||||||
|
|
|
||||||
1
doc/report
Submodule
1
doc/report
Submodule
|
|
@ -0,0 +1 @@
|
||||||
|
Subproject commit aad268d03a3c23de917cfecf767d583d3cb32633
|
||||||
File diff suppressed because it is too large
Load diff
Binary file not shown.
Binary file not shown.
Binary file not shown.
|
|
@ -1,352 +0,0 @@
|
||||||
#LyX 1.6.3 created this file. For more info see http://www.lyx.org/
|
|
||||||
\lyxformat 345
|
|
||||||
\begin_document
|
|
||||||
\begin_header
|
|
||||||
\textclass report
|
|
||||||
\begin_preamble
|
|
||||||
\usepackage{indentfirst}
|
|
||||||
\usepackage{tocloft}
|
|
||||||
\usepackage{calc}
|
|
||||||
\date{}
|
|
||||||
\usepackage[section] {placeins}
|
|
||||||
\def\myClearpage{%
|
|
||||||
\ifvmode
|
|
||||||
\ifnum \@dbltopnum =\m@ne
|
|
||||||
\ifdim \pagetotal <\topskip
|
|
||||||
\hbox{}%
|
|
||||||
\fi
|
|
||||||
\fi
|
|
||||||
\fi
|
|
||||||
% \newpage
|
|
||||||
\write\m@ne{}%
|
|
||||||
\vbox{}%
|
|
||||||
\penalty -\@Mi
|
|
||||||
}
|
|
||||||
\def\myCleardoublepage{\myClearpage\if@twoside \ifodd\c@page\else
|
|
||||||
\hbox{}\if@twocolumn\hbox{}\fi\fi\fi}
|
|
||||||
\usepackage{morefloats}
|
|
||||||
\usepackage{graphicx}
|
|
||||||
\usepackage{subfig}
|
|
||||||
\usepackage{tocloft}
|
|
||||||
\renewcommand{\cftchapfont}{\bfseries}
|
|
||||||
\renewcommand{\cftchappagefont}{\bfseries}
|
|
||||||
\renewcommand{\cftchappresnum}{Chapter }
|
|
||||||
\renewcommand{\cftchapnumwidth}{6em}
|
|
||||||
\oddsidemargin 0.5in
|
|
||||||
\textwidth 6in
|
|
||||||
\topmargin 0.0in
|
|
||||||
\textheight 8.0in
|
|
||||||
\setlength\topskip{24pt}
|
|
||||||
\footskip 0.75in
|
|
||||||
\end_preamble
|
|
||||||
\use_default_options true
|
|
||||||
\language english
|
|
||||||
\inputencoding auto
|
|
||||||
\font_roman lmodern
|
|
||||||
\font_sans default
|
|
||||||
\font_typewriter default
|
|
||||||
\font_default_family rmdefault
|
|
||||||
\font_sc false
|
|
||||||
\font_osf false
|
|
||||||
\font_sf_scale 100
|
|
||||||
\font_tt_scale 100
|
|
||||||
|
|
||||||
\graphics default
|
|
||||||
\paperfontsize default
|
|
||||||
\spacing double
|
|
||||||
\use_hyperref false
|
|
||||||
\papersize default
|
|
||||||
\use_geometry true
|
|
||||||
\use_amsmath 1
|
|
||||||
\use_esint 1
|
|
||||||
\cite_engine natbib_authoryear
|
|
||||||
\use_bibtopic false
|
|
||||||
\paperorientation portrait
|
|
||||||
\paperwidth 11in
|
|
||||||
\paperheight 8.5in
|
|
||||||
\leftmargin 1.25in
|
|
||||||
\topmargin 1in
|
|
||||||
\rightmargin 1in
|
|
||||||
\bottommargin 1.7in
|
|
||||||
\secnumdepth 3
|
|
||||||
\tocdepth 3
|
|
||||||
\paragraph_separation indent
|
|
||||||
\defskip medskip
|
|
||||||
\quotes_language english
|
|
||||||
\papercolumns 1
|
|
||||||
\papersides 1
|
|
||||||
\paperpagestyle default
|
|
||||||
\tracking_changes false
|
|
||||||
\output_changes false
|
|
||||||
\author ""
|
|
||||||
\author ""
|
|
||||||
\end_header
|
|
||||||
|
|
||||||
\begin_body
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset ERT
|
|
||||||
status open
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
pagenumbering{roman}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
setcounter{page}{5}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
renewcommand
|
|
||||||
\backslash
|
|
||||||
contentsname{Table of Contents}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
renewcommand{
|
|
||||||
\backslash
|
|
||||||
cfttoctitlefont}{
|
|
||||||
\backslash
|
|
||||||
hfill
|
|
||||||
\backslash
|
|
||||||
Large}
|
|
||||||
\backslash
|
|
||||||
renewcommand{
|
|
||||||
\backslash
|
|
||||||
cftaftertoctitle}{
|
|
||||||
\backslash
|
|
||||||
hfill}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
renewcommand
|
|
||||||
\backslash
|
|
||||||
cftpartdotsep{6.6}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
renewcommand
|
|
||||||
\backslash
|
|
||||||
cftchapdotsep{6.6}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\begin_inset CommandInset toc
|
|
||||||
LatexCommand tableofcontents
|
|
||||||
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset Newpage newpage
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset ERT
|
|
||||||
status open
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
addcontentsline{toc}{chapter}{List of Tables}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
renewcommand{
|
|
||||||
\backslash
|
|
||||||
cftlottitlefont}{
|
|
||||||
\backslash
|
|
||||||
hfill
|
|
||||||
\backslash
|
|
||||||
Large}
|
|
||||||
\backslash
|
|
||||||
renewcommand{
|
|
||||||
\backslash
|
|
||||||
cftafterlottitle}{
|
|
||||||
\backslash
|
|
||||||
hfill}
|
|
||||||
\backslash
|
|
||||||
renewcommand{
|
|
||||||
\backslash
|
|
||||||
cfttabpresnum}{Table~}
|
|
||||||
\backslash
|
|
||||||
setlength
|
|
||||||
\backslash
|
|
||||||
cfttabnumwidth{60pt}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset FloatList table
|
|
||||||
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset Newpage newpage
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset ERT
|
|
||||||
status open
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
addcontentsline{toc}{chapter}{List of Figures}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
renewcommand{
|
|
||||||
\backslash
|
|
||||||
cftloftitlefont}{
|
|
||||||
\backslash
|
|
||||||
hfill
|
|
||||||
\backslash
|
|
||||||
Large}
|
|
||||||
\backslash
|
|
||||||
renewcommand{
|
|
||||||
\backslash
|
|
||||||
cftafterloftitle}{
|
|
||||||
\backslash
|
|
||||||
hfill}
|
|
||||||
\backslash
|
|
||||||
renewcommand{
|
|
||||||
\backslash
|
|
||||||
cftfigpresnum}{Figure~}
|
|
||||||
\backslash
|
|
||||||
setlength
|
|
||||||
\backslash
|
|
||||||
cftfignumwidth{60pt}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset FloatList figure
|
|
||||||
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset Newpage newpage
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset ERT
|
|
||||||
status open
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
pagenumbering{arabic}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Plain Layout
|
|
||||||
|
|
||||||
|
|
||||||
\backslash
|
|
||||||
setcounter{page}{1}
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Chapter
|
|
||||||
Introduction
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
Text goes here...
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Section
|
|
||||||
Objectives
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
\begin_inset Newpage newpage
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
Figures go here...
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Chapter
|
|
||||||
Methodology
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Section
|
|
||||||
Overview
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
Text goes here...
|
|
||||||
\begin_inset Newpage newpage
|
|
||||||
\end_inset
|
|
||||||
|
|
||||||
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\begin_layout Standard
|
|
||||||
Figures go here...
|
|
||||||
\end_layout
|
|
||||||
|
|
||||||
\end_body
|
|
||||||
\end_document
|
|
||||||
File diff suppressed because it is too large
Load diff
|
|
@ -1,110 +0,0 @@
|
||||||
@book{Knuth:1997:ACP:260999,
|
|
||||||
author = {Knuth, Donald E.},
|
|
||||||
title = {The art of computer programming, volume 1 (3rd ed.): fundamental algorithms},
|
|
||||||
year = {1997},
|
|
||||||
isbn = {0-201-89683-4},
|
|
||||||
publisher = {Addison Wesley Longman Publishing Co., Inc.},
|
|
||||||
address = {Redwood City, CA, USA},
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{Savor:1997:HSA:851010.856089,
|
|
||||||
author = {Savor, T. and Seviora, R. E.},
|
|
||||||
title = {Hierarchical Supervisors For Automatic Detection Of Software Failures},
|
|
||||||
booktitle = {Proceedings of the Eighth International Symposium on Software Reliability Engineering},
|
|
||||||
series = {ISSRE '97},
|
|
||||||
year = {1997},
|
|
||||||
isbn = {0-8186-8120-9},
|
|
||||||
pages = {48--},
|
|
||||||
url = {http://portal.acm.org/citation.cfm?id=851010.856089},
|
|
||||||
acmid = {856089},
|
|
||||||
publisher = {IEEE Computer Society},
|
|
||||||
address = {Washington, DC, USA},
|
|
||||||
keywords = {automatic collection, automatic detection, base supervisor layer, call processing software, computational cost, correct behavior, detailed behavior checking, direct single layer supervisor, failure data, fault localization, hierarchical approach, hierarchical supervisors, online failure detection, path detection layer, random telephone traffic, real time reactive systems, requirement specification, seeded failures, small telephone exchange, software failure detection, software performance evaluation, software supervision, specification nondeterminism},
|
|
||||||
}
|
|
||||||
|
|
||||||
@article{Vinoski:2007:RE:1304062.1304553,
|
|
||||||
author = {Vinoski, Steve},
|
|
||||||
title = {Reliability with Erlang},
|
|
||||||
journal = {IEEE Internet Computing},
|
|
||||||
volume = {11},
|
|
||||||
issue = {6},
|
|
||||||
month = {November},
|
|
||||||
year = {2007},
|
|
||||||
issn = {1089-7801},
|
|
||||||
pages = {79--81},
|
|
||||||
numpages = {3},
|
|
||||||
url = {http://portal.acm.org/citation.cfm?id=1304062.1304553},
|
|
||||||
doi = {10.1109/MIC.2007.132},
|
|
||||||
acmid = {1304553},
|
|
||||||
publisher = {IEEE Educational Activities Department},
|
|
||||||
address = {Piscataway, NJ, USA},
|
|
||||||
keywords = {toward integration, Erlang, programming language, middleware, telecommunications, reliability, enterprise-integration},
|
|
||||||
}
|
|
||||||
|
|
||||||
@book{Cesarini:2009:EP:1717841,
|
|
||||||
author = {Cesarini, Francesco and Thompson, Simon},
|
|
||||||
title = {ERLANG Programming},
|
|
||||||
year = {2009},
|
|
||||||
isbn = {0596518188, 9780596518189},
|
|
||||||
edition = {1st},
|
|
||||||
publisher = {O'Reilly Media, Inc.},
|
|
||||||
}
|
|
||||||
|
|
||||||
@misc{armstrong2011,
|
|
||||||
author = {Joe Armstrong},
|
|
||||||
title = {If Erlang is the answer, then what is the question?},
|
|
||||||
year = {2011},
|
|
||||||
address = {IT University, Gothenburg},
|
|
||||||
}
|
|
||||||
|
|
||||||
@phdthesis{Agha:1985:AMC:912083,
|
|
||||||
author = {Agha, Gul Abdulnabi},
|
|
||||||
title = {Actors: a model of concurrent computation in distributed systems (parallel processing, semantics, open, programming languages, artificial intelligence)},
|
|
||||||
year = {1985},
|
|
||||||
note = {AAI8520855},
|
|
||||||
publisher = {University of Michigan},
|
|
||||||
address = {Ann Arbor, MI, USA},
|
|
||||||
}
|
|
||||||
|
|
||||||
@phdthesis{Armstrong03,
|
|
||||||
author = {Joe Armstrong},
|
|
||||||
institution = {KTH, Microelectronics and Information Technology, IMIT},
|
|
||||||
pages = {xii, 283},
|
|
||||||
publisher = {Mikroelektronik och informationsteknik},
|
|
||||||
school = {KTH, Microelectronics and Information Technology, IMIT},
|
|
||||||
title = {Making reliable distributed systems in the presence of software errors},
|
|
||||||
series = {Trita-IMIT. LECS},
|
|
||||||
number = {03:09},
|
|
||||||
year = {2003}
|
|
||||||
}
|
|
||||||
|
|
||||||
@inproceedings{Bondi:2000:CSI:350391.350432,
|
|
||||||
author = {Bondi, Andr\'{e} B.},
|
|
||||||
title = {Characteristics of scalability and their impact on performance},
|
|
||||||
booktitle = {Proceedings of the 2nd international workshop on Software and performance},
|
|
||||||
series = {WOSP '00},
|
|
||||||
year = {2000},
|
|
||||||
isbn = {1-58113-195-X},
|
|
||||||
location = {Ottawa, Ontario, Canada},
|
|
||||||
pages = {195--203},
|
|
||||||
numpages = {9},
|
|
||||||
url = {http://doi.acm.org/10.1145/350391.350432},
|
|
||||||
doi = {http://doi.acm.org/10.1145/350391.350432},
|
|
||||||
acmid = {350432},
|
|
||||||
publisher = {ACM},
|
|
||||||
address = {New York, NY, USA},
|
|
||||||
keywords = {load scalability, performance, structural and space scalability},
|
|
||||||
}
|
|
||||||
|
|
||||||
@article{10.1109/MS.2001.936218,
|
|
||||||
author = {Jeffrey Voas},
|
|
||||||
title = {Fault Tolerance},
|
|
||||||
journal ={IEEE Software},
|
|
||||||
volume = {18},
|
|
||||||
issn = {0740-7459},
|
|
||||||
year = {2001},
|
|
||||||
pages = {54-57},
|
|
||||||
doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2001.936218},
|
|
||||||
publisher = {IEEE Computer Society},
|
|
||||||
address = {Los Alamitos, CA, USA},
|
|
||||||
}
|
|
||||||
Binary file not shown.
|
Before Width: | Height: | Size: 15 KiB |
File diff suppressed because it is too large
Load diff
Binary file not shown.
Binary file not shown.
|
Before Width: | Height: | Size: 24 KiB |
Binary file not shown.
|
Before Width: | Height: | Size: 55 KiB |
Reference in a new issue