サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Wikipedia
www.cs.rice.edu
Articles on Scheme Programming Technology and related topics Published by Rice PLT Members This archive contains freely available technical reports and published papers, as well as PhD dissertations, written by members of the Rice Programming Languages Team on Scheme programming technology and related topics. Since Matthias Felleisen and some of his students moved from Rice University to Northeast
www.cs.rice.edu/~vardi
NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science Room 110, National Science Foundation, Arlington, VA January 22, 2001 Organizer: Moshe Y. Vardi The workshop is open to the general public. Background: During the past twenty five years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides compute
www.cs.rice.edu/~taha
Welcome to the Rice PLT homepage of MetaOCaml A compiled, type-safe, multi-stage programming language. MetaOCaml is a multi-stage extension of the OCaml programming language, and provides three basic constructs called Brackets, Escape, and Run for building, combining, and executing future-stage computations, respectively. (Please read README-META file in distribution for MetaOCaml's syntax for
Kademlia: A Peer-to-peer Information System Based on the XOR Metric Petar Maymounkov and David Mazi`eres {petar,dm}@cs.nyu.edu http://kademlia.scs.cs.nyu.edu Abstract We describe a peer-to-peer system which has prov- able consistency and performance in a fault-prone environment. Our system routes queries and locates nodes using a novel XOR-based metric topology that simplifies the algorithm and fa
このページを最初にブックマークしてみませんか?
『www.cs.rice.edu』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く