387 lines
14 KiB
BibTeX
387 lines
14 KiB
BibTeX
@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},
|
|
}
|
|
|
|
@article{Gartner:1999:FFD:311531.311532,
|
|
author = {G\"{a}rtner, Felix C.},
|
|
title = {Fundamentals of fault-tolerant distributed computing in asynchronous environments},
|
|
journal = {ACM Comput. Surv.},
|
|
volume = {31},
|
|
issue = {1},
|
|
month = {March},
|
|
year = {1999},
|
|
issn = {0360-0300},
|
|
pages = {1--26},
|
|
numpages = {26},
|
|
url = {http://doi.acm.org/10.1145/311531.311532},
|
|
doi = {http://doi.acm.org/10.1145/311531.311532},
|
|
acmid = {311532},
|
|
publisher = {ACM},
|
|
address = {New York, NY, USA},
|
|
keywords = {agreement problem, asynchronous system, consensus problem, failure correction, failure detection, fault models, fault tolerance, liveness, message passing, possibility detection, predicate detection, redundancy, safety},
|
|
}
|
|
|
|
@inproceedings{Farber:2002:NGT:566500.566508,
|
|
author = {F\"{a}rber, Johannes},
|
|
title = {Network game traffic modelling},
|
|
booktitle = {Proceedings of the 1st workshop on Network and system support for games},
|
|
series = {NetGames '02},
|
|
year = {2002},
|
|
isbn = {1-58113-493-2},
|
|
location = {Braunschweig, Germany},
|
|
pages = {53--57},
|
|
numpages = {5},
|
|
url = {http://doi.acm.org/10.1145/566500.566508},
|
|
doi = {http://doi.acm.org/10.1145/566500.566508},
|
|
acmid = {566508},
|
|
publisher = {ACM},
|
|
address = {New York, NY, USA},
|
|
}
|
|
|
|
@MISC{tuxedo:website,
|
|
AUTHOR = "Oracle Software",
|
|
TITLE = "TUXEDO transaction Processing Products",
|
|
MONTH = "March",
|
|
YEAR = {2011},
|
|
URL = "http://www.oracle.com/tuxedo"
|
|
}
|
|
|
|
@MISC{Leach98uuidsand,
|
|
author = {P J Leach and R Salz},
|
|
title = {UUIDs and GUIDs. Internet Draft draft-leach-uuids-guids-01.txt. Internet Engineering Task Force},
|
|
year = {1998}
|
|
}
|
|
|
|
@MASTERSTHESIS{Lidholt02designand,
|
|
author = {Viktor Lidholt},
|
|
title = {Design and testing of a generic server for multiplayer gaming},
|
|
year = {2002},
|
|
address = {Uppsala, Sweden},
|
|
institution = {Information Technology, Computer Science Departmen, Uppsala University}
|
|
}
|
|
|
|
|
|
@MISC{nethack:website,
|
|
AUTHOR = "NetHack",
|
|
TITLE = "NetHack Information",
|
|
MONTH = "April",
|
|
YEAR = {2011},
|
|
URL = "http://www.nethack.org/common/info.html"
|
|
}
|
|
|
|
@MISC{thenumbers:website,
|
|
AUTHOR = "Nash Information Services, LLC",
|
|
TITLE = "U.S Movie Market Summary 1995 to 2011",
|
|
MONTH = "April",
|
|
YEAR = {2011},
|
|
URL = "http://www.the-numbers.com/market/"
|
|
}
|
|
|
|
@MISC{esa:website,
|
|
AUTHOR = "Entertainment Software Association",
|
|
TITLE = "Industry Facts",
|
|
MONTH = "April",
|
|
YEAR = {2011},
|
|
URL = "http://www.theesa.com/facts/index.asp"
|
|
}
|
|
|
|
@article {Dictionary.com2011,
|
|
title = {Merriam-Webster's Dictionary},
|
|
month = {May},
|
|
day = {12},
|
|
year = {2011},
|
|
url = {http://dictionary.reference.com/browse/fault+tolerance},
|
|
}
|
|
|
|
|
|
@article{Armstrong:2010:ERL:1810891.1810910,
|
|
author = {Armstrong, Joe},
|
|
title = {Erlang},
|
|
journal = {Commun. ACM},
|
|
issue_date = {September 2010},
|
|
volume = {53},
|
|
issue = {9},
|
|
month = {September},
|
|
year = {2010},
|
|
issn = {0001-0782},
|
|
pages = {68--75},
|
|
numpages = {8},
|
|
url = {http://doi.acm.org.proxy.lib.chalmers.se/10.1145/1810891.1810910},
|
|
doi = {http://doi.acm.org.proxy.lib.chalmers.se/10.1145/1810891.1810910},
|
|
acmid = {1810910},
|
|
publisher = {ACM},
|
|
address = {New York, NY, USA},
|
|
}
|
|
@inproceedings{Armstrong:2007:HE:1238844.1238850,
|
|
author = {Armstrong, Joe},
|
|
title = {A history of Erlang},
|
|
booktitle = {Proceedings of the third ACM SIGPLAN conference on History of programming languages},
|
|
series = {HOPL III},
|
|
year = {2007},
|
|
isbn = {978-1-59593-766-7},
|
|
location = {San Diego, California},
|
|
pages = {6-1--6-26},
|
|
url = {http://doi.acm.org/10.1145/1238844.1238850},
|
|
doi = {http://doi.acm.org/10.1145/1238844.1238850},
|
|
acmid = {1238850},
|
|
publisher = {ACM},
|
|
address = {New York, NY, USA},
|
|
}
|
|
@book{ieee_90,
|
|
author = {Electrical, Institute O. and (ieee), Electronics E.},
|
|
citeulike-article-id = {485989},
|
|
keywords = {bibtex-import},
|
|
posted-at = {2006-01-30 15:35:50},
|
|
priority = {2},
|
|
title = {{IEEE 90: IEEE Standard Glossary of Software Engineering Terminology}},
|
|
year = {1990}
|
|
}
|
|
@book{McKusick:2004:DIF:1014910,
|
|
author = {McKusick, Marshall Kirk and Neville-Neil, George V.},
|
|
title = {The Design and Implementation of the FreeBSD Operating System},
|
|
year = {2004},
|
|
isbn = {0201702452},
|
|
publisher = {Pearson Education},
|
|
}
|
|
|
|
|
|
@inproceedings{667766,
|
|
address = {London, UK},
|
|
author = {Haakan Mattsson and Hans Nilsson and Claes Wikstrom},
|
|
booktitle = {PADL '99: Proceedings of the First International Workshop on Practical Aspects of Declarative Languages},
|
|
interhash = {3b61289b4cf321234fcef209681d70e6},
|
|
intrahash = {f9f1e5b94bbcd945aa03459ad1698f61},
|
|
pages = {152--163},
|
|
publisher = {Springer-Verlag},
|
|
title = {Mnesia - A Distributed Robust DBMS for Telecommunications Applications},
|
|
url = {http://portal.acm.org/citation.cfm?id=645769.667766},
|
|
year = 1998,
|
|
timestamp = {2007-12-06T05:02:39.000+0100},
|
|
keywords = {database distributed erlang mnesia},
|
|
added-at = {2007-12-06T05:02:39.000+0100},
|
|
description = {Mnesia - A Distributed Robust DBMS for Telecommunications Applications},
|
|
isbn = {3-540-65527-1},
|
|
biburl = {http://www.bibsonomy.org/bibtex/2f9f1e5b94bbcd945aa03459ad1698f61/jhammerb}
|
|
}
|
|
|
|
@MISC{webstorage:website,
|
|
AUTHOR = "Ian Hickson",
|
|
TITLE = "Web Storage -- Editor's Draft 27 April 2011",
|
|
MONTH = "May",
|
|
YEAR = {2011},
|
|
URL = "http://dev.w3.org/html5/webstorage/"
|
|
}
|
|
|
|
|
|
@MISC{bson:website,
|
|
AUTHOR = "BSON",
|
|
TITLE = "BSON - Binary JSON",
|
|
MONTH = "May",
|
|
YEAR = {2011},
|
|
URL = "http://bsonspec.org"
|
|
}
|
|
|
|
|
|
@techreport{Slee2007,
|
|
author = {Aditya Agarwal and Mark Slee and Marc Kwiatkowski},
|
|
institution = {Facebook},
|
|
interhash = {105e59dd8576a9d92bb7db1ecc7e4980},
|
|
intrahash = {2593c1a9666cfc633d674051d887c8e3},
|
|
title = {Thrift: Scalable Cross-Language Services Implementation},
|
|
url = {http://incubator.apache.org/thrift/static/thrift-20070401.pdf},
|
|
year = 2007,
|
|
timestamp = {2009-11-02T17:24:36.000+0100},
|
|
keywords = {Thrift datamodeling language specification},
|
|
added-at = {2009-11-02T17:24:36.000+0100},
|
|
biburl = {http://www.bibsonomy.org/bibtex/22593c1a9666cfc633d674051d887c8e3/voj},
|
|
month = {April},
|
|
abstract = {Thrift is a software library and set of code-generation tools developed at Facebook to expedite development and implementation of efficient and scalable backend services. Its primary goal is to enable efficient and reliable communication across programming languages by abstracting the portions of each language that tend to require the most customization into a common library that is implemented in each language. Specifically, Thrift allows developers to define datatypes and service interfaces in a single language-neutral file and generate all the necessary code to build RPC clients and servers.
|
|
|
|
This paper details the motivations and design choices we made in Thrift, as well as some of the more interesting implementation details. It is not intended to be taken as research, but rather it is an exposition on what we did and why.
|
|
}
|
|
}
|
|
|
|
@Article{news/cnet/com/WoWProblems,
|
|
title = "World of Warcraft battles server problems",
|
|
author = "Daniel Terdiman",
|
|
journal = "cnet News",
|
|
year = "2006",
|
|
month = "04",
|
|
day = "24",
|
|
url = "http://news.cnet.com/World-of-Warcraft-battles-server-problems/2100-1043_3-6063990.html"
|
|
}
|
|
|
|
@inproceedings{Arts:2006:TTS:1159789.1159792,
|
|
author = {Arts, Thomas and Hughes, John and Johansson, Joakim and Wiger, Ulf},
|
|
title = {Testing telecoms software with quviq QuickCheck},
|
|
booktitle = {Proceedings of the 2006 ACM SIGPLAN workshop on Erlang},
|
|
series = {ERLANG '06},
|
|
year = {2006},
|
|
isbn = {1-59593-490-1},
|
|
location = {Portland, Oregon, USA},
|
|
pages = {2--10},
|
|
numpages = {9},
|
|
url = {http://doi.acm.org/10.1145/1159789.1159792},
|
|
doi = {http://doi.acm.org/10.1145/1159789.1159792},
|
|
acmid = {1159792},
|
|
publisher = {ACM},
|
|
address = {New York, NY, USA},
|
|
keywords = {property based testing, test automation},
|
|
}
|
|
|
|
@article{Gartner:1999:FFD:311531.311532,
|
|
author = {G\"{a}rtner, Felix C.},
|
|
title = {Fundamentals of fault-tolerant distributed computing in asynchronous environments},
|
|
journal = {ACM Comput. Surv.},
|
|
volume = {31},
|
|
issue = {1},
|
|
month = {March},
|
|
year = {1999},
|
|
issn = {0360-0300},
|
|
pages = {1--26},
|
|
numpages = {26},
|
|
url = {http://doi.acm.org/10.1145/311531.311532},
|
|
doi = {http://doi.acm.org/10.1145/311531.311532},
|
|
acmid = {311532},
|
|
publisher = {ACM},
|
|
address = {New York, NY, USA},
|
|
keywords = {agreement problem, asynchronous system, consensus problem, failure correction, failure detection, fault models, fault tolerance, liveness, message passing, possibility detection, predicate detection, redundancy, safety},
|
|
}
|
|
|
|
@article{VM:Jin2010,
|
|
title = "Optimizing the live migration of virtual machine by CPU scheduling",
|
|
journal = "Journal of Network and Computer Applications",
|
|
volume = "In Press, Corrected Proof",
|
|
year = "2010",
|
|
issn = "1084-8045",
|
|
doi = "DOI: 10.1016/j.jnca.2010.06.013",
|
|
url = "http://www.sciencedirect.com/science/article/B6WKB-50GWNDF-1/2/8e238feaccf38844aba14ece109b28a6",
|
|
author = "Hai Jin and Wei Gao and Song Wu and Xuanhua Shi and Xiaoxin Wu and Fan Zhou",
|
|
keywords = "Live virtual machine migration",
|
|
keywords = "Pre-copy algorithm",
|
|
keywords = "CPU scheduling",
|
|
keywords = "Dirty rate"
|
|
}
|
|
|
|
@INPROCEEDINGS{VM:Polze,
|
|
author={Polze, Andreas and Troger, Peter and Salfner, Felix},
|
|
booktitle={Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on}, title={Timely Virtual Machine Migration for Pro-active Fault Tolerance},
|
|
year={2011},
|
|
month={march},
|
|
doi={10.1109/ISORCW.2011.42},
|
|
}
|
|
@MISC{NIF:website,
|
|
AUTHOR = "Ericsson AB",
|
|
TITLE = "Erlang -- erl\_nif",
|
|
MONTH = "May",
|
|
YEAR = {2011},
|
|
URL = "http://www.erlang.org/doc/man/erl_nif.html"
|
|
}
|
|
|