Foundational distributed systems papers
On distributed systems broadly defined and other curiosities. The opinions on this site are my own. I talked about the importance of reading foundational papers last week. To followup, here is my compilation of foundational papers in the distributed systems area. (I focused on the core distributed systems area, and did not cover networking, security, distributed ledgers, verification work etc. I e
Best Paper Awards in Computer Science
Collection of best paper awards for 32 computer science conferences since 1996 This is a collection of best paper awards from conferences in each computer science subfield, starting from 1996. Originally, the broadest representative conference for each subfield were selected to be included. This data was entered by hand from sources found online (many of them no longer available), so please email
デジタルオブジェクト識別子 - Wikipedia
デジタルオブジェクト識別子（デジタルオブジェクトしきべつし、英語: Digital Object Identifier、略称DOI）は、インターネット上のドキュメントに恒久的に与えられる識別子である。 URLは、サーバの移転などによって変化するため、古い情報になるほどリンク切れなどの不都合が生じやすい。DOIは、ユーザーとファイルの所有者（出版社や音楽配信業者など）の間にDOIディレクトリを経由させることで、これを回避するものである。 DOIは、学術論文の分野でよく利用されており、NatureやScienceのような学術雑誌や、ACM、IEEEなどの学会が発行した論文誌の記事に付与されている。 また、DOIは著作物のタイトルだけでなく、より細分化したレベルで付与することもできる。書籍なら任意のページや図表ごと、CDであれば曲ごとに識別子がつけられるため、目的とする情報を早く選択的に得ること
JavaScript で構文解析: Days on the Moon
C++ の特徴のひとつである演算子オーバーロード、その粋を極めたのが Boost Lambda (無名関数) と Boost Spirit (構文解析) ではないかと思っています。JavaScript では無名関数が使えるので Lambda に関しては間に合っているとも言えますが、Spirit はそうも行きません。JavaScript 2 で演算子オーバーロードがサポートされるのならチャレンジしてみようかななどと思ってそれきりになっていました。 しかし、一部でパーサブームが起こっているというのを受け、Perl 6 Rules をつらつらと眺めているうち、正規表現のメタ文字を使えば文法定義をきれいに書けるのではと思い至りました。そこで実際に JavaScript でパーサジェネレータを作り、Spirit にあやかって Gin (ジン) と名づけてみました。 文法定義 正規表現リテラルを使うこ
Computer Science archive - arXiv info
Home About Help Brand Labs Policies Categories arXiv Usage Stats Computer Science archive Welcome to the Computing Research Repository (CoRR) in arXiv. The Computer Science section of arXiv was established in 1998 through a partnership of the Association for Computing Machinery, the Networked Computer Science Technical Reference Library, and arXiv. You can view the subject category descriptions an
arXiv.org
arXiv is an e-print service in the fields of physics, mathematics, non-linear science, computer science, quantitative biology and statistics. The contents of arXiv conform to Cornell University academic standards. arXiv is owned, operated and funded by Cornell University, a private not-for-profit educational institution. arXiv is also partially funded by the National Science Foundation. Contact
The Haskell Symposium
Steering Committee Responsibilities The main purpose of the Haskell Symposium Steering Committee is to provide continuity of the symposium and Haskell Implementors' Workshop and to offer help and advice to the current organizer(s) of the symposium. The responsibilities of the steering committee are: To provide continuity of the Haskell Symposium and Haskell Implementors' Workshop, serve the Haskel
ICFP 2011 : The 16th ACM SIGPLAN International Conference on Functional Programming
ICFP 2011 The 16th ACM SIGPLAN International Conference on Functional Programming On the Bright Side of Type Classes: Instance Arguments in Agda Dominique Devriese and Frank Piessens (K.U.Leuven) Set-theoretic Foundation of Parametric Polymorphism and Subtyping Giuseppe Castagna (CNRS - Université Paris Diderot) and Zhiwu Xu (Université Paris Diderot and Institute of Software Chinese Academy of Sc
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://homepages.inf.ed.ac.uk/gdp/publications/