Registrati | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

di robennals library [430 articles]

Articoli aggiunti di recente nella biblioteca di robennals .
  • notes QoS's Downfall: At the bottom, or not at all!
    by Jon Crowcroft, Steven Hand, Richard Mortier, Timothy Roscoe, Andrew Warfield
    posted to networking by robennals on 2006-03-06 16:48:35 as ** along with 1 person andywarfield
  • Extensible Language Implementation
    by Donovan M Kolbly
    posted to no-tag by robennals on 2006-03-06 16:11:18 as ** along with 4 people and 1 group JeffreyPalmer jrw mahler ryanc Rightscom
  • notes Combinators for bi-directional tree transformations: a linguistic approach to the view update problem
    (2005), pp. 233-246.
    by Nathan N Foster, Michael B Greenwald, Jonathan T Moore, Benjamin C Pierce, Alan Schmitt
    posted to jekyll language-translation by robennals on 2006-03-06 13:55:34 as read along with 2 people and 1 group sstrickl mahler Rightscom
  • Separation logic and abstraction
    Vol. 40, No. 1. (January 2005), pp. 247-258.
    by Matthew Parkinson, Gavin Bierman
    posted to no-tag by robennals on 2006-03-06 13:36:20 as *** along with 4 people tautologico ctr bec Scis0000002
  • Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
    Vol. 40, No. 1. (January 2005), pp. 195-208.
    by John Field, Carlos A Varela
    posted to no-tag by robennals on 2006-03-06 13:35:06 as ***
  • Mutatis mutandis: safe and predictable dynamic software updating
    Vol. 40, No. 1. (January 2005), pp. 183-194.
    by Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian Neamtiu
    posted to no-tag by robennals on 2006-03-06 13:34:32 as ***
  • Synthesis of interface specifications for Java classes
    Vol. 40, No. 1. (January 2005), pp. 98-109.
    by Rajeev Alur, Pavol &\#268;ern&\#253;, P Madhusudan, Wonhong Nam
    posted to no-tag by robennals on 2006-03-06 13:32:42 as ** along with 1 person newdawn
  • Dynamic optimization for functional reactive programming using generalized algebraic data types
    (2005), pp. 54-65.
    by Henrik Nilsson
    posted to no-tag by robennals on 2006-02-16 15:13:26 as ** along with 8 people and 1 group greenrd zednenem josefs voigt conal serebryakov blue_entropy bhuber SRG_at_UCD
  • The anatomy of a loop: a story of scope and control
    (2005), pp. 2-14.
    by Olin Shivers
    posted to no-tag by robennals on 2006-02-16 15:03:49 as ** along with 5 people hamish JeffreyPalmer voigt pintman ryanc
  • AtomCaml: first-class atomicity via rollback
    Vol. 40, No. 9. (September 2005), pp. 92-104.
    by Michael F Ringenburg, Dan Grossman
    posted to no-tag by robennals on 2006-02-16 15:03:34 as ** along with 3 people tautologico nikomatsakis pedagand
  • An expressive language of signatures
    Vol. 40, No. 9. (September 2005), pp. 27-40.
    by Norman Ramsey, Kathleen Fisher, Paul Govereau
    posted to no-tag by robennals on 2006-02-16 15:02:59 as **
  • notes Sashay: Designing for Wonderment
    by Eric Paulos, Chris Beckmann
    posted to no-tag by robennals on 2006-02-16 14:53:01 as **
  • notes Source-to-source translation: Ada to Pascal and Pascal to Ada
    (1980), pp. 183-193.
    by Paul F Albrecht, Phillip E Garrison, Susan L Graham, Robert H Hyerle, Patricia Ip, Bernd K Br&\#252;ckner
    posted to jekyll language-translation old by robennals on 2006-02-16 14:32:47 as read
  • notes Distributed programming in Argus
    Commun. ACM, Vol. 31, No. 3. (March 1988), pp. 300-312.
    by Barbara Liskov
    posted to transactions by robennals on 2006-01-04 13:30:55 as ** along with 1 person Black
  • The Argus Language and System
    (1985), pp. 343-430.
    by Barbara Liskov
    posted to transactions by robennals on 2006-01-04 13:18:39 as **
  • Language support for lightweight transactions
    Vol. 38, No. 11. (November 2003), pp. 388-402.
    by Tim Harris, Keir Fraser
    posted to transactions by robennals on 2006-01-04 13:15:31 as ** along with 8 people and 1 group tautologico thsutton epaulson spl janschaefer RalfMitschke brecknell getpost TU-KL-SoftwareTechnologyGroup
  • notes The Common Case Transactional Behaviour of Multithreaded Programs
    by J Chung, H Chafi, C Minh, A Mcdonald, B Calstrom, C Kozyrakis, K Olukotun
    posted to survey tcc transactions by robennals on 2005-12-05 15:45:11 as ** along with 1 person eraman
  • AnnoDomini: From Type Theory to Year 2000 Conversion Tool
    (1999), pp. 1-14.
    by Peter H Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten H Sorensen, Mads Tofte
    posted to cobol jekyll old-programs type-system by robennals on 2005-11-29 13:14:54 as **
  • notes Transaction Net: Ithaca HOURS
    posted to economics micropayments by robennals on 2005-11-29 11:16:21 as **
  • notes Type Inference for COBOL Systems
    (1998)
    by A Van Deursen, L Moonen
    posted to cobol jekyll old-programs type-system by robennals on 2005-11-29 10:45:36 as **
  • notes I, Cringely . May 31, 2001 - Paying the Piper | PBS
    posted to micropayments micropayments-criticism micropayments-donation by robennals on 2005-11-29 10:11:22 as read
  • Micropayments Pushed in Norway | evolt.org
    posted to micropayments by robennals on 2005-11-28 20:05:36 as **
  • notes Microrefunds for a Creative Economy
    posted to flat-fee micropayments by robennals on 2005-11-28 19:55:34 as read
  • notes upay: micropayment barriers
    posted to flat-fee micropayments micropayments-criticism by robennals on 2005-11-28 19:51:09 as read
  • Alias Types
    Lecture Notes in Computer Science, Vol. 1782 (2000)
    by Frederick Smith, David Walker, Greg Morrisett
    posted to linear-types by robennals on 2005-11-21 13:22:20 as ** along with 1 person tautologico
  • Exploring the acceptability envelope
    (2005), pp. 21-30.
    by Martin Rinard, Cristian Cadar, Huu H Nguyen
    posted to fault-tolerance recommended by robennals on 2005-11-21 11:30:25 as read
  • Call-by-value is dual to call-by-name
    Vol. 38, No. 9. (September 2003), pp. 189-201.
    by Philip Wadler
    posted to recommended theory by robennals on 2005-11-21 11:26:04 as read along with 2 people and 1 group msakai mcclurmc Lambda the Ultimate
  • The Glasgow Haskell compiler: a technical overview
    (93)
    by Simon, Cordelia V Hall, Kevin Hammond, Will Partain, Philip Wadler
    posted to ghc haskell by robennals on 2005-11-21 11:21:51 as read along with 4 people and 1 group jrw rahul tmiya tov SRL
  • Once upon a type
    (1995)
    by David N Turner, Philip Wadler, Christian Mossin
    posted to linear-types by robennals on 2005-11-21 11:21:23 as read along with 7 people and 3 groups dherman JacquesC A_Olympia JeffreyPalmer kschiess cedricboidin tautologico NU-PRL Philosophy_of_Information Blog_and_Wiki_Research
  • Linear types can change the world!
    (1990), pp. 347-359.
    by P Wadler
    edited by M Broy, C Jones
    posted to linear-types by robennals on 2005-11-21 11:20:57 as ** along with 11 people and 2 groups draganigajic dherman JacquesC hamish JeffreyPalmer rwtodd jrw tautologico bfraser ds mcclurmc NU-PRL Lambda the Ultimate
  • How to make ad-hoc polymorphism less ad hoc
    (1989), pp. 60-76.
    by P Wadler, S Blott
    posted to type-classes by robennals on 2005-11-21 11:20:30 as ** along with 9 people and 2 groups draganigajic dherman JacquesC yallop ben_moseley dwehr RalfMitschke jpbernardy pedagand NU-PRL complogic
  • Views: a way for pattern matching to cohabit with data abstraction
    (1987), pp. 307-313.
    by P Wadler
    posted to functional views by robennals on 2005-11-21 11:19:19 as ** along with 6 people and 1 group fvogels jimburton samth dherman dfisher spl NU-PRL
  • Why no one uses functional languages
    SIGPLAN Not., Vol. 33, No. 8. (August 1998), pp. 23-27.
    by Philip Wadler
    posted to functional language-acceptance by robennals on 2005-11-21 11:17:39 as ** along with 10 people and 6 groups samth twleung dherman jacob hamish greenrd voigt yish umbra ryanc NU-PRL mathgamespatterns SRG_at_UCD dtl vds-arg eni
  • Type Classes in Haskell
    ACM Transactions on Programming Languages and Systems, Vol. 18, No. 2. (March 1996), pp. 109-138.
    by Cordelia V Hall, Kevin Hammond, SLP Simon, Philip L Wadler
    posted to haskell type-classes by robennals on 2005-11-21 11:16:15 as read along with 4 people and 2 groups dherman rgb tov bendiken NU-PRL pileWorks
  • Cyclone: A safe dialect of c
    (2002)
    by T Jim, G Morrisett, D Grossman, M Hicks, J Cheney, Y Wang
    posted to c-like language regions by robennals on 2005-11-21 10:52:16 as read along with 6 people tautologico MattOConnor bdauvergne krisn11 _Anne_ srccheck
  • Quasi-Linear Types
    (1999), pp. 29-42.
    by Naoki Kobayashi
    posted to linear-types by robennals on 2005-11-21 10:48:34 as read along with 2 people and 1 group dherman shinyak NU-PRL
  • PacLang
    by Rob Ennals, Richard Sharp, Alan Mycroft
    posted to mypapers np paclang by robennals on 2005-11-21 10:38:18 as read
  • Compiler Optimizations for Asynchronous Systolic Array Programs
    (1998)
    by Monica Lam
    posted to task-splitting by robennals on 2005-11-21 10:38:18 as read
  • Microengine C Language Support Reference Manual
    (2003)
    posted to intel language np by robennals on 2005-11-21 10:38:18 as read
  • Teja NP: The First Software Platform for Multiprocessor System-on-Chip Architectures
    by Teja
    posted to np by robennals on 2005-11-21 10:38:18 as read
  • Taming the IXP network processor
    (2003), pp. 26-37.
    by Lal George, Matthias Blume
    posted to np by robennals on 2005-11-21 10:38:18 as read
  • Multilevel Heuristics for Task Assignment in Distributed Systems
    (1998)
    by Murat Ikinci
    posted to task-splitting by robennals on 2005-11-21 10:38:18 as read
  • Heuristic Algorithms for Task Assignment in Distributed Systems
    IEEE Transactions on Computers (1988), pp. 1384-1397.
    by VM Lo
    posted to task-splitting by robennals on 2005-11-21 10:38:18 as read
  • Scheduling for functional pipelining and loop winding
    (1991), pp. 764-769.
    by Cheng T Hwang, Yu C Hsu, Youn L Lin
    posted to task-splitting by robennals on 2005-11-21 10:38:18 as read
  • Software Pipelining: An Effective Scheduling Technique for VLIW Machines
    (1988), pp. 318-328.
    by Monica Lam
    posted to task-splitting by robennals on 2005-11-21 10:38:18 as read
  • High-level automatic pipelining for sequential circuits
    (2001), pp. 215-220.
    by Maria, Martin Rinard
    posted to task-splitting by robennals on 2005-11-21 10:38:18 as read
  • Region-Based Memory Management in Cyclone
    by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney
    posted to c-like language regions by robennals on 2005-11-21 10:38:17 as read
  • Theory and Practice of Action Semantics
    Vol. 1113 (1996), pp. 37-61.
    by Peter D Mosses
    posted to semantics by robennals on 2005-11-21 10:38:17 as read
  • Id Reference Manual (Version 90.1)
    No. Memo 284-2. (1991)
    by RS Nikhil
    posted to dataflow language by robennals on 2005-11-21 10:38:17 as read
  • The Essence of Compiling with Continuations
    Vol. 28(6) (1993), pp. 237-247.
    by Cormac Flanagan, Amr Sabry, Bruce F Duba, Matthias Felleisen
    posted to compilers by robennals on 2005-11-21 10:38:17 as read
    • Puoi citare questa pagina come: http://www.citeulike.org/user/robennals

    Result page: 1 2 3 4 5 6 7 8 9 Next RIS BibTeX
    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.