Added bibtext bibliography database

This commit is contained in:
Jonatan Pålsson 2011-03-23 00:49:19 +01:00
parent 7fe990cdae
commit e9eeb566b1
4 changed files with 330 additions and 234 deletions

View file

@ -50,7 +50,9 @@
{\vspace{-20ex}%
\LARGE\raggedleft}
[\vspace{1ex}%
{\titlerule[3pt]}]
{\titlerule[1pt]}]
\usepackage[absolute]{textpos}
\end_preamble
\use_default_options true
\language english
@ -97,6 +99,92 @@
\begin_body
\begin_layout Standard
\begin_inset Note Note
status open
\begin_layout Plain Layout
\begin_inset ERT
status open
\begin_layout Plain Layout
\backslash
begin{textblock*}{297mm}(0mm,10mm)
\end_layout
\begin_layout Plain Layout
\backslash
includegraphics[width=
\backslash
paperwidth-10mm]{ChaGUblasvarteng.eps}
\end_layout
\begin_layout Plain Layout
\backslash
end{textblock*}
\end_layout
\end_inset
\end_layout
\end_inset
\end_layout
\begin_layout Standard
\begin_inset Note Note
status open
\begin_layout Plain Layout
\end_layout
\end_inset
\end_layout
\begin_layout Standard
\begin_inset ERT
status open
\begin_layout Plain Layout
\backslash
begin{textblock*}{297mm}(73mm,10mm)
\end_layout
\begin_layout Plain Layout
\backslash
includegraphics[width=
\backslash
paperwidth/3]{LO_CHGU_cen2rCMYK.eps}
\end_layout
\begin_layout Plain Layout
\backslash
end{textblock*}
\end_layout
\end_inset
\end_layout
\begin_layout Title
Generic Game Server
\end_layout
@ -578,9 +666,41 @@ In GGS, we have separated the system in to two large supervised parts.
we restart the nearest supervisor of this child.
This ensures separation of the subsystems so that a crash is as isolated
as possible.
\begin_inset Float figure
wide false
sideways false
status collapsed
\begin_layout Plain Layout
\begin_inset Note Note
status open
\begin_layout Plain Layout
We should really do this graphic in EPS instead of PNG
\end_layout
\begin_layout Standard
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset ERT
status open
\begin_layout Plain Layout
\backslash
begin{centering}
\end_layout
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset Graphics
filename supervisors.png
scale 40
@ -588,6 +708,39 @@ In GGS, we have separated the system in to two large supervised parts.
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset ERT
status open
\begin_layout Plain Layout
\backslash
end{centering}
\end_layout
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset Caption
\begin_layout Plain Layout
The supervisor structure of GGS
\end_layout
\end_inset
\end_layout
\end_inset
\end_layout
\begin_layout Standard
@ -750,9 +903,41 @@ With the information kept in the tables and the Coordinator combined, we
This can be thought of the chess club catching fire, and the Coordinator
rounding up all the tables, running to a new location and building the
club up in the exact state it was prior to the fire.
\begin_inset Float figure
wide false
sideways false
status open
\begin_layout Plain Layout
\begin_inset Note Note
status open
\begin_layout Plain Layout
Convert this graphics to EPS
\end_layout
\begin_layout Standard
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset ERT
status open
\begin_layout Plain Layout
\backslash
begin{centering}
\end_layout
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset Graphics
filename system_structure.png
scale 40
@ -760,6 +945,39 @@ With the information kept in the tables and the Coordinator combined, we
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset ERT
status open
\begin_layout Plain Layout
\backslash
end{centering}
\end_layout
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset Caption
\begin_layout Plain Layout
The layout of GGS
\end_layout
\end_inset
\end_layout
\end_inset
\end_layout
\begin_layout Section
@ -786,87 +1004,15 @@ Statistics
Conclusion
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-1"
\begin_layout Standard
\begin_inset CommandInset bibtex
LatexCommand bibtex
bibfiles "journals"
options "plainnat"
\end_inset
Savor, T.; Seviora, R.E.; , "Hierarchical supervisors for automatic detection
of software failures," PROCEEDINGS The Eighth International Symposium On
Software Reliability Engineering , vol., no., pp.48-59, 2-5 Nov1997 doi: 10.1109/IS
SRE.1997.630847 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=630847&i
snumber=13710
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-6"
\end_inset
Vinoski, S.; , "Reliability with Erlang," Internet Computing, IEEE , vol.11,
no.6, pp.79-81, Nov.-Dec.
2007 doi: 10.1109/MIC.2007.132 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&ar
number=4376232&isnumber=4376216
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-5"
\end_inset
CESARINI, F., & THOMPSON, S.
(2009).
Erlang programming.
Beijing, O'Reilly.
pp.139
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-4"
\end_inset
"Erlang/OTP Product Information: Technical Description of Erlang." Home of
Erlang/OTP.
Web.
01 Mar.
2011.
<http://www.erlang.se/productinfo/erlang_tech.shtml>.
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-3"
\end_inset
Joe Armstrong Armstrong, J.
[2011].
If Erlang is the answer, then what is the question?.
[1].
IT University.
Computer Science and Engineering, 15/2/2011
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-2"
\end_inset
Gul Abdulnabi Agha (1985).
ACTORS: A MODEL OF CONCURRENT COMPUTATION IN DISTRIBUTED SYSTEMS.
Ph.D thesis, Artificial Intelligence Laboratory, MIT.
\end_layout
\end_body

67
bibliography.bib Normal file
View file

@ -0,0 +1,67 @@
@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},
}

View file

@ -1004,87 +1004,15 @@ Statistics
Conclusion
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-1"
\begin_layout Standard
\begin_inset CommandInset bibtex
LatexCommand bibtex
bibfiles "bibliography"
options "plainnat"
\end_inset
Savor, T.; Seviora, R.E.; , "Hierarchical supervisors for automatic detection
of software failures," PROCEEDINGS The Eighth International Symposium On
Software Reliability Engineering , vol., no., pp.48-59, 2-5 Nov1997 doi: 10.1109/IS
SRE.1997.630847 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=630847&i
snumber=13710
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-6"
\end_inset
Vinoski, S.; , "Reliability with Erlang," Internet Computing, IEEE , vol.11,
no.6, pp.79-81, Nov.-Dec.
2007 doi: 10.1109/MIC.2007.132 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&ar
number=4376232&isnumber=4376216
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-5"
\end_inset
CESARINI, F., & THOMPSON, S.
(2009).
Erlang programming.
Beijing, O'Reilly.
pp.139
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-4"
\end_inset
"Erlang/OTP Product Information: Technical Description of Erlang." Home of
Erlang/OTP.
Web.
01 Mar.
2011.
<http://www.erlang.se/productinfo/erlang_tech.shtml>.
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-3"
\end_inset
Joe Armstrong Armstrong, J.
[2011].
If Erlang is the answer, then what is the question?.
[1].
IT University.
Computer Science and Engineering, 15/2/2011
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-2"
\end_inset
Gul Abdulnabi Agha (1985).
ACTORS: A MODEL OF CONCURRENT COMPUTATION IN DISTRIBUTED SYSTEMS.
Ph.D thesis, Artificial Intelligence Laboratory, MIT.
\end_layout
\end_body

View file

@ -908,6 +908,19 @@ wide false
sideways false
status open
\begin_layout Plain Layout
\begin_inset Note Note
status open
\begin_layout Plain Layout
Convert this graphics to EPS
\end_layout
\end_inset
\end_layout
\begin_layout Plain Layout
\begin_inset ERT
status open
@ -981,97 +994,39 @@ Results and discussion
\begin_layout Section
Software development methodology
\begin_inset CommandInset citation
LatexCommand citet
key "Knuth:1997:ACP:260999"
\end_inset
\end_layout
\begin_layout Section
Statistics
\begin_inset CommandInset citation
LatexCommand citet
key "armstrong2011"
\end_inset
\end_layout
\begin_layout Chapter
Conclusion
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-1"
\begin_layout Standard
\begin_inset CommandInset bibtex
LatexCommand bibtex
bibfiles "bibliography"
options "plainnat"
\end_inset
Savor, T.; Seviora, R.E.; , "Hierarchical supervisors for automatic detection
of software failures," PROCEEDINGS The Eighth International Symposium On
Software Reliability Engineering , vol., no., pp.48-59, 2-5 Nov1997 doi: 10.1109/IS
SRE.1997.630847 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=630847&i
snumber=13710
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-6"
\end_inset
Vinoski, S.; , "Reliability with Erlang," Internet Computing, IEEE , vol.11,
no.6, pp.79-81, Nov.-Dec.
2007 doi: 10.1109/MIC.2007.132 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&ar
number=4376232&isnumber=4376216
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-5"
\end_inset
CESARINI, F., & THOMPSON, S.
(2009).
Erlang programming.
Beijing, O'Reilly.
pp.139
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-4"
\end_inset
"Erlang/OTP Product Information: Technical Description of Erlang." Home of
Erlang/OTP.
Web.
01 Mar.
2011.
<http://www.erlang.se/productinfo/erlang_tech.shtml>.
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-3"
\end_inset
Joe Armstrong Armstrong, J.
[2011].
If Erlang is the answer, then what is the question?.
[1].
IT University.
Computer Science and Engineering, 15/2/2011
\end_layout
\begin_layout Bibliography
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "key-2"
\end_inset
Gul Abdulnabi Agha (1985).
ACTORS: A MODEL OF CONCURRENT COMPUTATION IN DISTRIBUTED SYSTEMS.
Ph.D thesis, Artificial Intelligence Laboratory, MIT.
\end_layout
\end_body