新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

mstone library [197 articles]

最近 mstone さんのライブラリ .
  • Selecting Cryptographic Key Sizes
    Journal of Cryptology: the journal of the International Association for Cryptologic Research, Vol. 14, No. 4. (2001), pp. 255-293.
    by Arjen K Lenstra, Eric R Verheul
    posted to key-length cryptography by mstone on 2008-06-15 16:41:10 as ** along with 1 person dhein1030
  • Portably Solving File TOCTTOU Races with Hardness Amplification
    (FAST 2008) (28 February 2008)
    by Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva
    posted to tocttou security race-conditions hardness-amplification file-system-apis by mstone on 2008-06-15 01:13:26 as **
  • Type Checking with Open Type Functions
    (April 2008)
    by Tom Schrijvers, Simon P Jones, Manuel Chakravarty, Martin Sulzmann
    posted to type-functions rewriting-systems haskell dependent-types constraint-satisfaction by mstone on 2008-05-17 23:06:36 as **
  • Hot or not: revealing hidden services by their clock skew
    (2006), pp. 27-36.
    by Steven J Murdoch
    posted to tor covert-channels anonymity by mstone on 2008-05-17 22:24:05 as read
  • Implementing IPv6 as a Peer-to-Peer Overlay Network
    srds, Vol. 00 (2002)
    by Lidong Zhou, Robbert van Renesse, Michael Marsh
    posted to ipv6 overlay-network by mstone on 2008-04-13 19:22:07 as read
  • Distributed $k$-ary System: Algorithms for Distributed Hash Tables
    (October 2006)
    by Ali Ghodsi
    posted to distributed-hash-tables by mstone on 2008-04-11 05:55:10 as **
  • Honest Ideals on Strand Spaces
    (June 1998)
    by Javier, Jonathan C Herzog, Joshua D Guttman
    posted to protocols security by mstone on 2008-03-11 06:42:42 as **
  • PersiFS: a versioned file system with an efficient representation
    (2005), pp. 1-2.
    by Dan RK Ports, Austin T Clements, Erik D Demaine
    posted to data-structures persistent-b-trees version-control versioned-filesystems by mstone on 2008-03-10 22:04:41 as **
  • notes Data types à la carte
    by Wouter Swierstra
    posted to coproducts fixed-points free-monads functional-pearls haskell monads by mstone on 2008-03-03 04:57:52 as read
  • Lest We Remember: Cold Boot Attacks on Encryption Keys
    (21 February 2008)
    by Alex J Halderman, Seth D Schoen, Nadia Heninger, William Clarkson, William Paul, Joseph A Calandrino, Ariel J Feldman, Jacob Appelbaum, Edward W Felten
    posted to cryptography memory side-channels by mstone on 2008-02-21 17:30:51 as **
  • Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation
    (18 January 2008)
    by William M Farmer
    posted to logic by mstone on 2008-02-17 23:36:37 as **
  • Unifying Logical and Statistical AI
    Proceedings of the Twenty-First National Conference on Artificial Intelligence (2006), pp. 2-7.
    by Pedro Domingos, Stanley Kok, Hoifung Poon, Matthew Richardson, Parag Singla
    posted to artificial-intelligence first-order-logic markov-chain-monte-carlo markov-logic by mstone on 2008-02-17 00:40:56 as **
  • The case for virtual register machines
    (2003), pp. 41-49.
    by Brian Davis, Andrew Beatty, Kevin Casey, David Gregg, John Waldron
    posted to register-machines virtual-machines by mstone on 2008-01-31 06:28:46 as ** along with 1 person pedagand
  • Configuring the SELinux Policy
    (February 2005)
    by Stephen Smalley
    posted to security selinux by mstone on 2008-01-25 22:07:18 as **
  • Integrating Flexible Support for Security Policies into the Linux Operating System
    (2001), pp. 29-42.
    by Peter Loscocco, Stephen Smalley
    posted to security selinux by mstone on 2008-01-25 21:59:44 as ***
  • Parameterized Notions of Computation
    Proceedings of Workshop on Mathematically Structured Functional Programming (July 2006)
    by Robert Atkey
    posted to category-theory monads monoidal-categories notions-of-computation by mstone on 2008-01-24 06:03:43 as read along with 2 people alec tov
  • Bigtable: a distributed storage system for structured data
    (2006), pp. 205-218.
    by Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C Hsieh, Deborah A Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, Robert E Gruber
    posted to distributed-computing by mstone on 2008-01-20 02:28:17 as read along with 1 person kzk_mover
  • Sinfonia: a new paradigm for building scalable distributed systems
    (2007), pp. 159-174.
    by Marcos K Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, Christos Karamanolis
    posted to distributed-computing minitransactions by mstone on 2008-01-20 02:01:07 as ** along with 1 person and 1 group yongchul SOSP
  • Flux: A Mechanism for Building Robust, Scalable Dataflows
    (2004)
    by Mehul Shah
    posted to continuous-query dataflow distributed-computing by mstone on 2008-01-20 01:44:35 as **
  • A Parallel Tree Difference Algorithm
    Information Processing Letters, Vol. 60, No. 5. (1996), pp. 231-235.
    by DB Skillicorn
    posted to diff-algorithms by mstone on 2008-01-04 05:27:32 as **
  • A Practical Approach to Replication of Abstract Data Objects
    (May 1990)
    by Joshua J Bloch
    posted to distributed-computing replicated-sparse-memories replication by mstone on 2007-12-24 21:16:09 as ****
  • A dynamical system using the Voronoi tessellation
    (21 Dec 2007)
    by Natalie P Frank, Sean Hart
    posted to dynamical-systems voronoi-tesselation by mstone on 2007-12-24 19:03:21 as read along with 1 person ansobol
  • A Top-Down Approach for Mining Most Specific Frequent Patterns in Biological Sequence Data
    by Xiang Zhang
    posted to bioinformatics computational-genetics by mstone on 2007-12-18 05:25:13 as **
  • DHAES: An Encryption Scheme Based on the Diffie-Hellman Problem
    No. 99-07. (1999)
    by Michel Abdalla, Mihir Bellare, Phillip Rogaway
    posted to cryptography by mstone on 2007-12-13 03:41:18 as **
  • Comprehending Queries
    (18 October 1999)
    by Torsten Grust
    posted to optimization relational-algebra type-theory by mstone on 2007-11-03 19:16:46 as **
  • Abstract for Quality Improvement in Volunteer Free and Open Source Software Projects
    (2007)
    by Martin Michlmayr
    posted to release-engineering by mstone on 2007-10-30 02:08:58 as **
  • Static checking of system behaviors using derived component assumptions
    ACM Transactions on Software Engineering and Methodology, Vol. 9, No. 3. (2000), pp. 239-272.
    by Paola Inverardi, Alexander L Wolf, Daniel Yankelevich
    posted to chemical-abstract-machine by mstone on 2007-09-14 20:23:46 as read
  • Checking assumptions in components dynamics at the architectural level
    Vol. 1282 (1997), pp. 46-63.
    by P Inverardi, A Wolf, D Yankelevich
    edited by D Garlan, D Lemetayer
    posted to chemical-abstract-machine by mstone on 2007-09-14 20:23:28 as **
  • Declarative Assembler
    No. 20. (October 2004)
    by Christopher K Anand, Jacques Carette, Wolfram Kahl, Cale Gibbard, Ryan Lortie
    posted to assembler declarative haskell optimization scheduling by mstone on 2007-08-22 18:21:40 as read
  • Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell
    Relations and Kleene Algebra in Computer Science (2006), pp. 235-250.
    by Wolfram Kahl
    posted to category-theory haskell relation-algebras by mstone on 2007-08-21 06:25:28 as read
  • Lightweight concurrency primitives for GHC
    (2007)
    by Peng Li, Andrew Tolmach, Simon Marlow, Simon Peyton-Jones
    posted to concurrency haskell by mstone on 2007-07-15 23:08:28 as **
  • notes Architectural and Compiler Support for Strongly Atomic Transactional Memory
    (June 2007)
    by Scott C Ananian
    posted to java transactional-memory by mstone on 2007-07-15 23:03:29 as read
  • The Euler characteristic of a category as the sum of a divergent series
    (5 Jul 2007)
    by Tom Leinster
    posted to analytic-continuation category-theory euler-characteristic by mstone on 2007-07-15 20:11:35 as read along with 1 person jrw
  • Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
    ACM Transactions on Programming Languages and Systems, Vol. 29, No. 3. (May 2007)
    by Nathan J Foster, Michael B Greenwald, Jonathan T Moore, Benjamin C Pierce, Alan Schmitt
    posted to synchronization by mstone on 2007-07-07 23:24:20 as **
  • A Linear Logic of Authorization and Knowledge
    by Deepak Garg, Lujo Bauer, Kevin Bowers, Frank Pfenning, Michael Reiter
    posted to authorization logic by mstone on 2007-07-06 03:28:18 as ** along with 1 person and 1 group mfrydr complogic
  • Dependent Types in Practical Programming
    (1999), pp. 214-227.
    by Howgwei Xi, Frank Pfenning
    posted to dependent-types by mstone on 2007-07-06 03:27:40 as ** along with 6 people and 1 group sclv dherman tautologico bdauvergne radico pedagand NU-PRL
  • CLL: A concurrent language built from logical principles
    (2005)
    by D Garg
    posted to concurrency concurrent-logic-programming by mstone on 2007-07-04 17:58:27 as ** along with 2 people jrw pirapira
  • The chemical abstract machine
    (1990), pp. 81-94.
    by Gerard Berry, Gerard Boudol
    posted to concurrency concurrent-logic-programming process-calculi by mstone on 2007-07-04 17:57:57 as ** along with 6 people mperalta pedagand bfraser erikgarrison scis0000001 cogumbreiro
  • Bayesian Filtering: From Kalman Filters to Particle Filters, and Beyond
    (2003)
    by Zhe Chen
    posted to bayesian-filters kalman-filters particle-filters probability by mstone on 2007-06-26 02:39:20 as ** along with 1 person jrblevin
  • A Framework for Purpose-Built Keys (PBK)
    by Scott Bradner, Allison Mankin, Jeffrey I Schiller
    posted to authentication cryptography by mstone on 2007-06-22 20:39:50 as read
  • Naming and Synchronization in a Decentralized Computer System
    (1 October 1978)
    by David P Reed
    posted to croquet distributed-computing synchronization by mstone on 2007-06-22 19:24:00 as *****
  • HOT Pickles ...and how to serve them
    (2007)
    by Andreas Rossberg, Guido Tack, Leif Kornstaedt
    posted to alice-ml pickling typed-intermediate-languages by mstone on 2007-06-22 02:33:28 as read
  • The Purely Functional Software Deployment Model
    (January 2006)
    by Eelco Dolstra
    posted to configuration-management nix by mstone on 2007-06-21 18:06:49 as ***
  • Purely Functional System Configuration Management
    USENIX 2007: HotOS XI (May 2007)
    by Eelco Dolstra, Armijn Hemel
    posted to configuration-management nix by mstone on 2007-06-21 18:02:10 as read
  • Correspondence principle for idempotent calculus and some computer applications
    (3 Jan 2001)
    by Grigori Litvinov, Victor Maslov
    posted to idempotent-calculus semirings by mstone on 2007-06-17 20:43:25 as **
  • Derivatives of Regular Expressions
    J. ACM, Vol. 11, No. 4. (October 1964), pp. 481-494.
    by Janusz A Brzozowski
    posted to regular-expressions by mstone on 2007-06-16 19:10:25 as ** along with 7 people msakai egh zednenem kavabean bunge jennie dfisher
  • OpenCM: Early Experiences and Lessons Learned
    USENIX - Freenix '03 (2003)
    by Jonathan S Shapiro, John Vanderburgh, Jack Lloyd
    posted to version-control xanadu by mstone on 2007-06-16 18:12:52 as read
  • Less Hashing, Same Performance: Building a Better Bloom Filter
    Lecture Notes in Computer Science, Vol. 4158 (2006), pp. 456-467.
    by Adam Kirsch, Michael Mitzenmacher
    edited by Y Azar, T Erlebach
    posted to algorithms bloom-filter hashing probability by mstone on 2007-06-12 19:39:14 as **** along with 1 person HailunTan
  • Towards a better SCM: Revlog and Mercurial
    Ottawa Linux Symposium (19 July 2006)
    by Matt Mackall
    posted to mercurial version-control by mstone on 2007-06-11 23:48:43 as read
  • A Divergence-Based Model of Synchrony and Distribution in Collaborative Systems
    (1994)
    by P Dourish
    posted to collaboration synchronization version-control by mstone on 2007-06-07 23:40:43 as **** along with 2 people and 1 group momo54 jfischer ecoo-ce
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/mstone

    Result page: 1 2 3 4 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.