Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

brecknell library [60 articles]

Статьи, недавно добавленные в библиотеку brecknell .
  • Transactional memory with data invariants
    (11 June 2006)
    by Tim Harris, Simon P Jones
    posted to stm by brecknell on 2008-02-22 05:24:55 as **
  • Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell
    by Simon P Jones
    posted to haskell by brecknell on 2008-02-22 04:41:45 as **
  • Lock Free Data Structures Using STM in Haskell
    Functional and Logic Programming (2006), pp. 65-80.
    by Anthony Discolo, Tim Harris, Simon Marlow, Simon Jones, Satnam Singh
    posted to haskell stm by brecknell on 2008-02-21 23:54:53 as ** along with 4 people draganigajic pedagand keigoi msakai
  • Modular Checkpointing for Atomicity
    Electron. Notes Theor. Comput. Sci., Vol. 174, No. 9. (June 2007), pp. 85-115.
    by Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
    posted to concurrency by brecknell on 2008-02-13 06:31:48 as **
  • Open nesting in software transactional memory
    (2007), pp. 68-78.
    by Yang Ni, Vijay S Menon, Ali-Reza Adl-Tabatabai, Antony L Hosking, Richard L Hudson, Eliot, Bratin Saha, Tatiana Shpeisman
    posted to stm by brecknell on 2008-02-13 06:30:43 as **
  • Composable memory transactions
    (2005), pp. 48-60.
    by Tim Harris, Simon Marlow, Simon Peyton-Jones, Maurice Herlihy
    posted to stm by brecknell on 2008-02-13 06:29:36 as ** along with 17 people and 2 groups draganigajic hamish greenrd tautologico amorkan damaru epaulson joelh ben_moseley scook0 AndreasSchropp neilc pjdonald janschaefer kazuya pedagand frej SRG_at_UCD TU-KL-SoftwareTechnologyGroup
  • Combining software transactional memory with a domain modeling language to simplify web application development
    (2006), pp. 297-304.
    by Ao C Jo\, António Rito-Silva
    posted to stm by brecknell on 2008-02-13 06:29:03 as **
  • Exploiting distributed version concurrency in a transactional memory cluster
    (2006), pp. 198-208.
    by Kaloian Manassiev, Madalin Mihailescu, Cristiana Amza
    posted to transactions by brecknell on 2008-02-13 06:28:15 as **
  • Executing Java programs with transactional memory
    Sci. Comput. Program., Vol. 63, No. 2. (December 2006), pp. 111-129.
    by Brian D Carlstrom, Jaewoong Chung, Hassan Chafi, Austen Mcdonald, Chi C Minh, Lance Hammond, Christos Kozyrakis, Kunle Olukotun
    posted to stm by brecknell on 2008-02-13 05:29:13 as **
  • Multiversion concurrency control—theory and algorithms
    ACM Trans. Database Syst., Vol. 8, No. 4. (December 1983), pp. 465-483.
    by Philip A Bernstein, Nathan Goodman
    posted to concurrency by brecknell on 2008-02-13 05:26:18 as ** along with 1 person jkominek
  • Versioned boxes as the basis for memory transactions
    Sci. Comput. Program., Vol. 63, No. 2. (December 2006), pp. 172-185.
    by Ao C Jo\, António Rito-Silva
    posted to stm by brecknell on 2008-02-13 05:20:54 as ** along with 2 people draganigajic pedagand
  • Optimizing memory transactions
    (2006), pp. 14-25.
    by Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi
    posted to stm by brecknell on 2008-02-13 05:18:03 as ** along with 1 person tautologico
  • Architectural Support for Software Transactional Memory
    (2006), pp. 185-196.
    by Bratin Saha, Ali-Reza Adl-Tabatabai, Quinn Jacobson
    posted to stm by brecknell on 2008-02-13 05:16:00 as ** along with 2 people mwmarkland jdinan
  • Transactions with isolation and cooperation
    (2007), pp. 191-210.
    by Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young
    posted to transactions by brecknell on 2008-02-13 05:13:55 as **
  • Store Atomicity for Transactional Memory
    Electron. Notes Theor. Comput. Sci., Vol. 174, No. 9. (June 2007), pp. 117-137.
    by Jan-Willem Maessen, Arvind
    posted to stm by brecknell on 2008-02-13 05:10:01 as **
  • Featherweight transactions: decoupling threads and atomic blocks
    (2007), pp. 134-135.
    by Virendra J Marathe, Tim Harris, James R Larus
    posted to transactions by brecknell on 2008-02-13 04:54:34 as **
  • What do high-level memory models mean for transactions?
    (2006), pp. 62-69.
    by Dan Grossman, Jeremy Manson, William Pugh
    posted to transactions by brecknell on 2008-02-13 04:53:44 as **
  • Isolation-only transactions by typing and versioning
    (2005), pp. 70-81.
    by Pawe\l T Wojciechowski
    posted to transactions by brecknell on 2008-02-13 04:49:50 as **
  • Hybrid transactional memory
    (2006), pp. 209-220.
    by Sanjeev Kumar, Michael Chu, Christopher J Hughes, Partha Kundu, Anthony Nguyen
    posted to stm by brecknell on 2008-02-13 04:49:32 as ** along with 1 person mwmarkland
  • Semantics of transactional memory and automatic mutual exclusion
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 63-74.
    by Mart∈ Abadi, Andrew Birrell, Tim Harris, Michael Isard
    posted to stm by brecknell on 2008-02-13 04:45:31 as ** along with 1 person pedagand
  • Architectural Semantics for Practical Transactional Memory
    SIGARCH Comput. Archit. News, Vol. 34, No. 2. (May 2006), pp. 53-65.
    by Austen Mcdonald, Jaewoong Chung, Brian D Carlstrom, Chi C Minh, Hassan Chafi, Christos Kozyrakis, Kunle Olukotun
    posted to stm by brecknell on 2008-02-13 04:44:02 as **
  • The transactional memory / garbage collection analogy
    SIGPLAN Not., Vol. 42, No. 10. (October 2007), pp. 695-706.
    by Dan Grossman
    posted to stm by brecknell on 2008-02-13 04:41:59 as **
  • High-level small-step operational semantics for transactions
    SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 51-62.
    by Katherine F Moore, Dan Grossman
    posted to stm by brecknell on 2008-02-13 04:39:52 as **
  • Supporting nested transactional memory in logTM
    (2006), pp. 359-370.
    by Michelle J Moravan, Jayaram Bobba, Kevin E Moore, Luke Yen, Mark D Hill, Ben Liblit, Michael M Swift, David A Wood
    posted to stm by brecknell on 2008-02-13 04:37:48 as **
  • A flexible framework for implementing software transactional memory
    SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 253-262.
    by Maurice Herlihy, Victor Luchangco, Mark Moir
    posted to stm by brecknell on 2008-02-13 04:32:56 as **
  • Compiler and runtime support for efficient software transactional memory
    SIGPLAN Not., Vol. 41, No. 6. (June 2006), pp. 26-37.
    by Ali-Reza Adl-Tabatabai, Brian T Lewis, Vijay Menon, Brian R Murphy, Bratin Saha, Tatiana Shpeisman
    posted to stm by brecknell on 2008-02-13 04:31:35 as **
  • A file system interface for concurrent access
    (1994), pp. 128-133.
    by Andrea Skarra, Herman Rao
    posted to concurrency by brecknell on 2008-02-11 02:10:32 as **
  • A type and effect system for atomicity
    (2003), pp. 338-349.
    by Cormac Flanagan, Shaz Qadeer
    posted to concurrency by brecknell on 2008-02-11 02:03:50 as ** along with 2 people amorkan zuleger
  • Coordinating functional processes with Haskell<sub>\#</sub>
    (2002), pp. 393-400.
    by FH Carvalho, RMF Lima, RD Lins
    posted to haskell by brecknell on 2008-02-08 07:16:28 as **
  • 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 haskell by brecknell on 2008-02-08 07:16:04 as ** along with 3 people draganigajic tov pedagand
  • Haskell on a shared-memory multiprocessor
    (2005), pp. 49-61.
    by Tim Harris, Simon Marlow, Simon P Jones
    posted to haskell by brecknell on 2008-02-08 07:15:22 as ** along with 8 people hamish jrw tautologico voigt msakai neilc benchambers kazuya
  • A history of Haskell: being lazy with class
    (2007)
    by Paul Hudak, John Hughes, Simon P Jones, Philip Wadler
    posted to haskell by brecknell on 2008-02-08 07:14:54 as ** along with 1 person SamB
  • Concurrent Haskell
    (1996), pp. 295-308.
    by Simon P Jones, Andrew Gordon, Sigbjorn Finne
    posted to haskell by brecknell on 2008-02-08 05:06:08 as ** along with 1 person mcclurmc
  • Static elaboration of recursion for concurrent software
    (2008), pp. 71-80.
    by Stephen A Edwards, Jia Zeng
    posted to concurrency by brecknell on 2008-02-08 05:03:43 as **
  • Searching for deadlocks while debugging concurrent haskell programs
    (2004), pp. 28-39.
    by Jan Christiansen, Frank Huch
    posted to haskell by brecknell on 2008-02-08 05:00:08 as **
  • User-level transactional programming in Haskell
    (2006), pp. 84-95.
    by Peter Thiemann
    posted to haskell by brecknell on 2008-02-08 04:56:44 as ** along with 1 person keigoi
  • Extending the Haskell foreign function interface with concurrency
    (2004), pp. 22-32.
    by Simon Marlow, Simon P Jones, Wolfgang Thaller
    posted to concurrency haskell by brecknell on 2008-02-08 04:52:37 as ** along with 3 people jacob croys wtribbey
  • Plugging Haskell in
    (2004), pp. 10-21.
    by André Pang, Don Stewart, Sean Seefried, Manuel MT Chakravarty
    posted to haskell by brecknell on 2008-02-08 04:50:14 as ** along with 2 people draganigajic pedagand
  • Concurrent programming without locks
    ACM Trans. Comput. Syst., Vol. 25, No. 2. (May 2007)
    by Keir Fraser, Tim Harris
    posted to concurrency by brecknell on 2008-02-08 04:05:00 as ** along with 4 people mwmarkland ariels jdinan getpost
  • Revocable locks for non-blocking programming
    (2005), pp. 72-82.
    by Tim Harris, Keir Fraser
    posted to concurrency by brecknell on 2008-02-08 03:42:39 as **
  • Language support for lightweight transactions
    Vol. 38, No. 11. (November 2003), pp. 388-402.
    by Tim Harris, Keir Fraser
    posted to stm by brecknell on 2008-02-08 03:39:04 as ** along with 8 people and 1 group tautologico thsutton robennals epaulson spl janschaefer RalfMitschke getpost TU-KL-SoftwareTechnologyGroup
  • Modelling deterministic concurrent I/O
    (2006), pp. 148-159.
    by Malcolm Dowse, Andrew Butterfield
    posted to io by brecknell on 2008-02-06 23:27:28 as **
  • Adaptive Software Transactional Memory
    Distributed Computing (2005), pp. 354-368.
    by Virendra J Marathe, Scherer, Michael L Scott
    posted to stm by brecknell on 2008-02-01 02:16:32 as **
  • Transactional Monitors for Concurrent Objects
    ECOOP 2004 – Object-Oriented Programming (2004), pp. 518-541.
    by Adam Welc, Suresh Jagannathan, Antony L Hosking
    posted to stm by brecknell on 2008-02-01 02:10:40 as ** along with 1 person sparikh
  • Software transactional memory
    Distributed Computing, Vol. 10, No. 2. (22 February 1997), pp. 99-116.
    by Nir Shavit, Dan Touitou
    posted to stm by brecknell on 2008-02-01 02:07:36 as ** along with 2 people sparikh hro
  • A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell
    Implementation and Application of Functional Languages (2006), pp. 124-141.
    by Frank Huch, Frank Kupke
    posted to stm by brecknell on 2008-02-01 02:05:22 as **
  • Transactional Locking II
    Distributed Computing (2006), pp. 194-208.
    by Dave Dice, Ori Shalev, Nir Shavit
    posted to stm by brecknell on 2008-02-01 01:40:55 as ** along with 1 person pedagand
  • GPSL: A Programming Language for Service Implementation
    Fundamental Approaches to Software Engineering (2006), pp. 3-17.
    by Dominic Cooney, Marlon Dumas, Paul Roe
    posted to no-tag by brecknell on 2007-12-18 02:10:50 as **
  • Experiences with an object-oriented, multi-stage language
    Science of Computer Programming, Vol. 62, No. 1. (September 2006), pp. 85-94.
    by Gregory Neverov, Paul Roe
    posted to no-tag by brecknell on 2007-12-17 23:23:16 as **
  • Modelling angelic and demonic nondeterminism with multirelations
    Science of Computer Programming, Vol. 65, No. 2. (15 March 2007), pp. 140-158.
    by CE Martin, SA Curtis, I Rewitzky
    posted to no-tag by brecknell on 2007-12-17 13:24:31 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/brecknell

    Result page: 1 2 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.