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

pedagand library [183 articles]

最近 pedagand さんのライブラリ .
  • MULTILISP: a language for concurrent symbolic computation
    ACM Trans. Program. Lang. Syst., Vol. 7, No. 4. (October 1985), pp. 501-538.
    by Robert H Halstead
    posted to parallel-computing lisp concurrency by pedagand on 2008-07-25 18:19:32 as ** along with 5 people jrw proportional Benja ajk clconway
  • What Every Computer Scientist Should Know About Floating-Point Arithmetic
    ACM Computing Surveys, Vol. 23, No. 1. (1991), pp. 5-48.
    by David Goldberg
    posted to floating-point-arithmetic computing by pedagand on 2008-07-25 12:30:29 as ** along with 11 people derek_farn ansobol brian yaroslavvb jrw croys ozarfreo sachingarg dguibert chrisatcite bsilverthorn
  • Cache Behaviour of Lazy Functional Programs
    No. 92-19. (1992)
    by K Langendoen, DJ Agterkamp
    edited by H Kuchen, R Loogen
    posted to optimization lazy-language haskell cache by pedagand on 2008-07-25 10:16:39 as **
  • A language for mathematical language management
    (9 May 2008)
    by Steven Kieffer, Jeremy Avigad, Harvey Friedman
    posted to mathematics language by pedagand on 2008-07-24 21:00:01 as ** along with 2 people and 1 group amatos jrw Lambda the Ultimate
  • Practical type inference for arbitrary-rank types
    J. Funct. Program., Vol. 17, No. 1. (January 2007), pp. 1-82.
    by Simon P Jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields
    posted to types type-inference higher-order by pedagand on 2008-07-24 12:49:04 as ** along with 1 person americovargas
  • Chasing Bottoms, A Case Study in Program Verification in the Presence of Partial and Infinite Values
    Vol. 3125 (July 2004), pp. 85-109.
    by Nils A Danielsson, Patrik Jansson
    edited by Dexter Kozen
    posted to software-verification haskell by pedagand on 2008-07-22 11:56:33 as **
  • Evaluating MapReduce for Multi-core and Multiprocessor Systems
    hpca, Vol. 0 (2007), pp. 13-24.
    by Colby Ranger, Ramanan Raghuraman, Arun Penmetsa, Gary Bradski, Christos Kozyrakis
    posted to multi-core map-reduce by pedagand on 2008-07-20 17:21:47 as **
  • Explaining Algebraic Theory with Functional Programs
    (1995), pp. 139-158.
    by Jeroen Fokker
    posted to functional-programming algebra by pedagand on 2008-07-14 22:31:10 as **
  • Adaptive functional programming
    SIGPLAN Not., Vol. 37, No. 1. (January 2002), pp. 247-259.
    by Umut A Acar, Guy E Blelloch, Robert Harper
    posted to ml functional-programming adaptive by pedagand on 2008-07-08 04:25:49 as **
  • A functional-logic library for wired
    (2007), pp. 37-48.
    by Matthew Naylor, Emil Axelsson, Colin Runciman
    posted to wired logic-programming haskell functional-circuit by pedagand on 2008-07-07 12:17:07 as ** along with 2 people msakai keigoi
  • Formal certification of a compiler back-end or: programming a compiler with a proof assistant
    SIGPLAN Not., Vol. 41, No. 1. (January 2006), pp. 42-54.
    by Xavier Leroy
    posted to software-verification coq-programming compiler by pedagand on 2008-07-06 14:47:57 as **
  • Virtual machine showdown: Stack versus registers
    ACM Trans. Archit. Code Optim., Vol. 4, No. 4. (January 2008), pp. 1-36.
    by Yunhe Shi, Kevin Casey, Anton M Ertl, David Gregg
    posted to optimization interpreter by pedagand on 2008-07-06 09:36:33 as ** along with 2 people and 1 group Inopia nominolo Lambda the Ultimate
  • Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences
    Compiler Construction (2003), pp. 170-184.
    by Etienne Gagnon, Laurie Hendren
    posted to optimization interpreter by pedagand on 2008-07-06 09:30:31 as ** along with 1 group Lambda the Ultimate
  • YETI: a graduallY extensible trace interpreter
    (2007), pp. 83-93.
    by Mathew Zaleski, Angela D Brown, Kevin Stoodley
    posted to optimization interpreter by pedagand on 2008-07-06 09:28:07 as ** along with 1 group Lambda the Ultimate
  • The case for virtual register machines
    (2003), pp. 41-49.
    by Brian Davis, Andrew Beatty, Kevin Casey, David Gregg, John Waldron
    posted to optimization interpreter by pedagand on 2008-07-06 09:27:04 as ** along with 1 person mstone
  • Optimizing indirect branch prediction accuracy in virtual machine interpreters
    ACM Trans. Program. Lang. Syst., Vol. 29, No. 6. (October 2007)
    by Kevin Casey, Anton M Ertl, David Gregg
    posted to optimization interpreter by pedagand on 2008-07-06 09:25:36 as ** along with 1 person and 1 group yasuhito Lambda the Ultimate
  • Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters
    (2005), pp. 15-26.
    by Marc Berndl, Benjamin Vitale, Mathew Zaleski, Angela D Brown
    posted to optimization interpreter by pedagand on 2008-07-06 09:24:52 as ** along with 2 people and 1 group yasuhito nikomatsakis Lambda the Ultimate
  • The structure and performance of interpreters
    SIGPLAN Not., Vol. 31, No. 9. (September 1996), pp. 150-159.
    by Theodore H Romer, Dennis Lee, Geoffrey M Voelker, Alec Wolman, Wayne A Wong, Jean-Loup Baer, Brian N Bershad, Henry M Levy
    posted to optimization interpreter by pedagand on 2008-07-06 09:23:53 as ** along with 1 group Lambda the Ultimate
  • Executing Higher Order Logic
    Types for Proofs and Programs (2002), pp. 725-725.
    by Stefan Berghofer, Tobias Nipkow
    posted to isabelle code-generation by pedagand on 2008-07-05 16:13:42 as **
  • Monads for Incremental Computing - Functional Pearl
    by Magnus Carlsson
    posted to monads haskell cps by pedagand on 2008-06-30 13:42:01 as **
  • Designing extensible IP router software
    (2005), pp. 189-202.
    by Mark Handley, Eddie Kohler, Atanu Ghosh, Orion Hodson, Pavlin Radoslavov
    posted to xorp router-software by pedagand on 2008-06-30 09:56:07 as read along with 1 person srinivas_krishnan
  • The Small-World Phenomenon: An Algorithmic Perspective
    (2000)
    by Jon Kleinberg
    posted to small-world gossip by pedagand on 2008-06-26 15:54:47 as read along with 31 people and 12 groups wangjava paulovn camster mercutio korakot twleung A_Olympia khop01 ansobol macartisan jrw xxc zqshen nkorf rahul srinaths lyongu ddahlem scis0000001 bigbossman merazzle jwdietrich pcchen001 luk jpah deysandeep furykerry gvdh casst122 mpotamias kaks Philosophy_of_Information dbk-lab Blog_and_Wiki_Research GraphVis UCD_SmallWorldGraphVis Semantic-Social-Networks Wikipedia SRL Cybernetics oktave-labs Community_SSTZ Social Web
  • Data parallel Haskell: a status report
    (2007), pp. 10-18.
    by Manuel MT Chakravarty, Roman Leshchinskiy, Simon P Jones, Gabriele Keller, Simon Marlow
    posted to parallel haskell data-flow by pedagand on 2008-06-25 23:34:23 as ** along with 2 people tov brecknell
  • Nepal - Nested Data Parallelism in Haskell
    (2001), pp. 524-534.
    by Manuel MT Chakravarty, Gabriele Keller, Roman Lechtchinsky, W Pfannenstiel
    posted to parallel haskell data-flow by pedagand on 2008-06-25 23:33:44 as **
  • Correlating instrumentation data to system states: a building block for automated diagnosis and control
    (2004), pp. 16-16.
    by Ira Cohen, Moises Goldszmidt, Terence Kelly, Julie Symons, Jeffrey S Chase
    posted to performance-debugging distributed by pedagand on 2008-06-25 15:06:19 as **
  • Quantitative static analysis of distributed systems
    J. Funct. Program., Vol. 15, No. 5. (September 2005), pp. 703-749.
    by Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    posted to time-analysis performance-debugging distributed by pedagand on 2008-06-25 13:55:21 as **
  • A nave time analysis and its theory of cost equivalence
    (1993)
    by D Sands
    posted to time-analysis performance-debugging by pedagand on 2008-06-25 13:49:50 as **
  • Epidemic-Style Management of Semantic Overlays for Content-Based Searching
    : Euro-Par 2005 Parallel Processing (2005), pp. 1143-1152.
    by Spyros Voulgaris, Maarten van Steen
    posted to semantic-overlay p2p gossip by pedagand on 2008-06-23 21:38:29 as read along with 3 people and 1 group pkoukousoulas macle dowlingj P2P
  • A poor man's concurrency monad
    J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323.
    by Koen Claessen
    posted to monads haskell concurrency by pedagand on 2008-06-23 17:31:51 as read along with 3 people and 2 groups dalev keigoi janschaefer NU-PRL TU-KL-SoftwareTechnologyGroup
  • The Soul of a New Machine
    (1981)
    by Tracy Kidder
    posted to computer-archeology book by pedagand on 2008-06-19 13:43:33 as **
  • A proof environment for the development of group communication systems
    Automated Deduction — CADE-15 (1998), pp. 317-332.
    by Christoph Kreitz, Mark Hayden, Jason Hickey
    posted to software-verification opis io-automata by pedagand on 2008-06-17 16:00:00 as read
  • Specifications and Proofs for Ensemble Layers
    Tools and Algorithms for the Construction and Analysis of Systems (1999), pp. 119-134.
    by Jason Hickey, Nancy Lynch, Robbert van Renesse
    posted to software-verification opis io-automata by pedagand on 2008-06-17 15:58:56 as read
  • Higher-Order Chemical Programming Style
    Unconventional Programming Paradigms (2005), pp. 84-95.
    by JP Banâtre, P Fradet, Y Radenac
    posted to multiset gamma-model chemical-abstract-machine by pedagand on 2008-06-12 21:08:23 as **
  • Towards chemical coordination for grids
    (2006), pp. 445-446.
    by Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
    posted to multiset chemical-abstract-machine by pedagand on 2008-06-12 19:38:19 as **
  • System Level Specification in Lava
    (2003)
    by Satnam Singh
    posted to software-verification lava haskell hardware-design by pedagand on 2008-06-12 18:58:18 as **
  • Automatic Verification of Combinational and Pipelined FFT Circuits
    Computer Aided Verification (1999), pp. 686-686.
    by Per Bjesse
    posted to software-verification lava haskell hardware-design by pedagand on 2008-06-12 18:33:15 as **
  • Lava: hardware design in Haskell
    (1998), pp. 174-184.
    by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
    posted to lava haskell hardware-design by pedagand on 2008-06-12 18:32:29 as read along with 3 people jacob mmuecke SamB
  • Sets in Types, Types in Sets
    by Benjamin Werner
    posted to zfc coq calculus-of-construction by pedagand on 2008-06-12 15:31:49 as ** along with 2 people and 2 groups xiemaisi maggesi Lambda the Ultimate AS-IIS_ReadingGroup
  • Gamma and the chemical reaction model: ten years after
    (1996), pp. 1-39.
    by JP Banâtre, D Le Mètayer
    edited by JM Andreoli, H Gallaire, D Le Mètayer
    posted to review gamma-model chemical-abstract-machine by pedagand on 2008-06-11 17:03:36 as **
  • Structured Gamma
    Science of Computer Programming, Vol. 31, No. 2--3. (1998), pp. 263-289.
    by Pascal Fradet, Daniel Le Métayer
    posted to structured-gamma gamma-model chemical-abstract-machine by pedagand on 2008-06-11 17:03:08 as **
  • Ott: effective tool support for the working semanticist
    (2007), pp. 1-12.
    by Peter Sewell, Francesco Z Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa
    posted to ott by pedagand on 2008-06-07 10:55:29 as ** along with 1 person marcinzalewski
  • Map-reduce-merge: simplified relational data processing on large clusters
    (2007), pp. 1029-1040.
    by Hung-Chih Yang, Ali Dasdan, Ruey-Lung Hsiao, Stott D Parker
    posted to parallel map-reduce grid-computing by pedagand on 2008-06-05 16:40:49 as ** along with 6 people dmeister idornescu jweslley pdlug bunge rstata
  • AtomCaml: first-class atomicity via rollback
    Vol. 40, No. 9. (September 2005), pp. 92-104.
    by Michael F Ringenburg, Dan Grossman
    posted to transaction caml atomcaml by pedagand on 2008-06-05 13:11:05 as ** along with 3 people tautologico robennals nikomatsakis
  • Guaranteed Optimization: Proving Nullspace Properties of Compilers
    Vol. 2477 (2002), pp. 263-277.
    by Todd L Veldhuizen, Andrew Lumsdaine
    posted to optimization compiler by pedagand on 2008-06-04 13:31:17 as ** along with 1 person nominolo
  • Relational parametricity and units of measure
    (1997), pp. 442-455.
    by Andrew J Kennedy
    posted to units-of-measure types by pedagand on 2008-06-03 21:59:45 as **
  • Advanced polymorphic worms: Evading ids by blending in with normal tra#c
    (2004)
    by O Kolesnikov, W Lee
    posted to worms stealth polymorphic by pedagand on 2008-06-03 21:56:06 as **
  • Open Problems in Data-Sharing Peer-to-Peer Systems
    Lecture Notes in Computer Science, Vol. 2572 (8-10 January 2002), pp. 1-15.
    by Neil Daswani, Hector Garcia-Molina, Beverly Yang
    posted to p2p open-problem by pedagand on 2008-06-03 17:59:17 as ** along with 3 people and 1 group gexarchakos ransombriggs hyhu84 P2P
  • Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives
    SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 189-199.
    by Peng Li, Steve Zdancewic
    posted to threads functional-programming event concurrency by pedagand on 2008-06-03 16:51:30 as read along with 1 person shimomura
  • Gamma and the Chemical Reaction Model: Fifteen Years After
    Multiset Processing (2001), pp. 17-44.
    by Jean-Pierre Banătre, Pascal Fradet, Daniel Le Métayer
    posted to parallel-computing parallel multiset gamma-model chemical-abstract-machine by pedagand on 2008-05-24 18:44:20 as **
  • The gamma model and its discipline of programming
    Sci. Comput. Program., Vol. 15, No. 1. (November 1990), pp. 55-77.
    by Jean-Pierre Banâtre, Daniel Le Métayer
    posted to parallel-computing parallel multiset gamma-model chemical-abstract-machine by pedagand on 2008-05-24 18:41:54 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/pedagand

    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.