Register | Log in | FAQ      [?] 

Tag concurrency [427 articles]

Recent papers classified by the tag concurrency.
  • Bigraphs and mobile processes
    (2003)
    by O Jensen, R Milner
    posted to concurrency graphs by zzkt on 2005-06-16 20:47:16 as **
  • Subcontinuations
    Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 83-110.
    by Robert Hieb, Kent Dybvig, Claude Anderson
    posted to concurrency lisp by zzkt on 2005-06-22 09:36:42 as ** along with 1 person msakai
  • A Truly Concurrent view of Linda Interprocess Communication
    (1997)
    by N Busi, R Gorrieri, G Zavattaro
    posted to concurrency linda by znmeb on 2007-04-21 18:33:59 as *****
  • A Theory of “May” Testing for Asynchronous Languages
    Lecture Notes in Computer Science, Vol. 1578 (1999), pp. 165-179.
    by M Boreale, R De Nicola, R Pugliese
    posted to concurrency process-algebra by znmeb on 2007-04-21 20:18:57 as **
  • Towards a Calculus for Generative Communication
    (1996), pp. 289-306.
    by P Ciancarini, R Gorrieri, G Zavattaro
    edited by E Najm, J Stefani
    posted to concurrency linda mobility by znmeb on 2007-04-21 18:44:38 as *****
  • Permanent, Ephemeral, and Temporary Data in Shared Dataspace Coordination Languages
    by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    posted to concurrency linda by znmeb on 2007-04-21 19:04:38 as *****
  • A COMPARISON OF SIMULATION TECHNIQUES AND ALGEBRAIC TECHNIQUES FOR VERIFYING CONCURRENT SYSTEMS
    No. MIT/LCS/TM-499. (1993)
    by N Lynch, R Segala
    posted to concurrency by znmeb on 2007-04-21 20:16:51 as ** along with 1 person Scis0000002
  • Resource Management In Open Tuple Space Systems
    by Ronaldo P de Menezes
    posted to concurrency linda by znmeb on 2007-04-21 18:40:33 as *****
  • Escaping the event loop: an alternative control structure for multi-threaded GUIs
    (1995), pp. 69-87.
    by M Fuchs
    posted to concurrency continuations gui by zednenem on 2006-05-20 17:53:05 as read along with 5 people hamish JeffreyPalmer dsilva conal danlentz
  • notes Type-Directed Concurrency
    by Deepak G And
    posted to concurrency type-system type-theory by zednenem on 2007-03-28 02:39:55 as ** along with 2 people jrw harshrc
  • Implementing Distributed Systems Using Linear Naming
    No. AITR-1627. (1993)
    by Alan Bawden
    posted to concurrency by zednenem on 2007-08-30 07:06:50 as ** along with 1 person and 1 group dherman NU-PRL
  • Asynchronous Exceptions in Haskell
    (2001), pp. 274-285.
    by Simon Marlow, Simon, Andrew Moran, John H Reppy
    posted to concurrency exceptions haskell by zednenem on 2005-09-09 16:52:21 as **** along with 3 people JeffreyPalmer kinaba neuralwarp
  • Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems
    (2001)
    by J Regehr
    posted to concurrency by zednenem on 2007-08-01 05:25:37 as **
  • Continuations for parallel logic programming
    (2000), pp. 257-267.
    by Eneia Todoran, Nikolaos Papaspyrou
    posted to concurrency haskell logic-programming by zednenem on 2006-06-02 19:16:56 as read along with 1 person scis0000001
  • A Monadic Categorical Semantics for Threads
    by Jonathan Sobel, Steven E Ganz, Daniel P Friedman, Mitchell Wand
    posted to category-theory concurrency monads by zednenem on 2005-08-05 19:01:41 as ** along with 8 people and 1 group dalev jrw bfraser dmitri83 EdwardKmett jsala neuralwarp ps_ttf NU-PRL
  • Imperative streams--a monadic combinator library for synchronous programming
    Vol. 34, No. 1. (January 1998), pp. 261-272.
    by Enno Scholz
    posted to concurrency haskell monads by zednenem on 2005-08-26 22:22:02 as **** along with 5 people and 1 group twleung greenrd JeffreyPalmer jrw josefs SRG_at_UCD
  • Type Systems for Concurrent Programs
    Formal Methods at the Crossroads: From Panacea to Foundational Support (2003), pp. 439-453.
    by Naoki Kobayashi
    posted to concurrency copy type-theory by yoriyuki on 2008-07-01 03:56:05 as ** along with 2 people olegus msakai
  • Debugging concurrent processes: a case study
    (1988), pp. 145-153.
    by JM Stone
    posted to concurrency debugging by yang on 2007-04-03 04:02:46 as **
  • Pointer and escape analysis for multithreaded programs
    (2001), pp. 12-23.
    by Alexandru Salcianu, Martin Rinard
    posted to analysis concurrency by yang on 2006-08-22 02:58:13 as ** along with 2 people bfraser schuh
  • Debugging concurrent programs
    ACM Comput. Surv., Vol. 21, No. 4. (December 1989), pp. 593-622.
    by Charles E Mcdowell, David P Helmbold
    posted to concurrency debugging by yang on 2007-04-03 04:02:51 as **
  • Squeak: A language for Communicating with Mice
    Vol. 19 (1985), pp. 199-204.
    by Luca Cardelli, Robert Pike
    edited by BA Barsky
    posted to concurrency languages by yang on 2006-11-25 05:44:07 as **
  • On the duality of operating system structures
    SIGOPS Oper. Syst. Rev., Vol. 13, No. 2. (April 1979), pp. 3-19.
    by Hugh C Lauer, Roger M Needham
    posted to concurrency systems by yang on 2006-11-25 03:49:52 as * along with 1 person pjdonald
  • On optimistic methods for concurrency control
    ACM Trans. Database Syst., Vol. 6, No. 2. (June 1981), pp. 213-226.
    by HT Kung, John T Robinson
    posted to concurrency databases transactions by yang on 2007-10-26 05:36:27 as ** along with 3 people epaulson bunge ejones
  • A Java fork/join framework
    (2000), pp. 36-43.
    by Doug Lea
    posted to concurrency java by yang on 2007-09-02 21:08:44 as **
  • An Operational Foundation for Delimited Continuations in<br><br> the<br><br><br> CPS<br><br> Hierarchy
    (8 Dec 2005)
    by Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
    posted to concurrency continuation control-flow cps by water451 on 2005-12-23 23:03:57 as ***
  • The Semantic Layers of Timber
    Lecture Notes in Computer Science, Vol. 2895 (January 2003), pp. 339-356.
    by Magnus Carlsson, Johan Nordlander, Dick Kieburtz
    posted to concurrency embedded-systems functional-programming haskell monads objects real-time side-effects by voigt on 2005-09-13 08:26:38 as read along with 1 person pejo
  • Concepts, Techniques, and Models of Computer Programming
    (01 March 2004)
    by Peter V Van Roy, Seif Haridi
    posted to concurrency distrsys fp language oop paradigm by vlasovskikh on 2008-04-08 23:53:22 as **** along with 13 people and 1 group robertlischke olegus hamish ujh grzegorz 4vgacias mahler wadler ben_moseley fsteeg jonathlela NSumner jasmithoffice Rightscom
  • Concurrent Haskell
    (FebruaryJanuary--FebruaryApril 1996), pp. 295-308.
    by Simon P Jones, Andrew Gordon, Sigbjorn Finne
    posted to concurrency by twleung on 2005-01-06 08:04:51 along with 8 people olegus JeffreyPalmer cedricboidin tautologico Bluetulip tov calvins conal
  • Reentrant polygon clipping
    Commun. ACM, Vol. 17, No. 1. (January 1974), pp. 32-42.
    by Ivan E Sutherland, Gary W Hodgman
    posted to concurrency icfp08 pl by tov on 2008-03-27 11:49:57 as ** along with 1 person denizinho
  • An implementation of session types
    (2004)
    by M Neubauer, P Thiemann
    posted to concurrency haskell icfp08 types by tov on 2008-01-11 20:20:15 as read along with 1 person keigoi
  • Continuations and transducer composition
    (2006), pp. 295-307.
    by Olin Shivers, Matthew Might
    posted to concurrency icfp08 pl by tov on 2008-03-27 11:48:09 as **
  • Lazy Functional State Threads
    (1994), pp. 24-35.
    by John Launchbury, Simon
    posted to concurrency haskell pl types by tov on 2007-10-19 22:33:40 as read along with 2 people conal americovargas
  • Types and Subtypes for Client-Server Interactions
    (1999), pp. 74-90.
    by Simon J Gay, Malcolm Hole
    posted to concurrency icfp08 pl types by tov on 2008-03-27 10:43:59 as **
  • Session types for inter-process communication
    (2003)
    by S Gay, V Vasconcelos, A Ravara
    posted to concurrency haskell icfp08 pl types by tov on 2008-03-27 10:45:19 as **
  • Modeling Erlang in the pi-calculus
    (2005), pp. 72-77.
    by Thomas Noll, Chanchal K Roy
    posted to concurrency erlang pl by tov on 2007-04-01 00:39:08 as read along with 6 people and 3 groups dherman tautologico bfraser keigoi janschaefer mcclurmc NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
  • CML: A higher concurrent language
    Vol. 26, No. 6. (June 1991), pp. 293-305.
    by John H Reppy
    posted to concurrency icfp08 ml pl types by tov on 2008-03-27 11:49:17 as ** along with 1 person dsilva
  • Concurrent Programming in ML
    (1999)
    by John H Reppy
    posted to concurrency haskell icfp08 ml pl by tov on 2008-03-27 10:52:17 as **
  • Language support for lightweight transactions
    Vol. 38, No. 11. (November 2003), pp. 388-402.
    by Tim Harris, Keir Fraser
    posted to concurrency cs languages programming transactions by thsutton on 2006-03-31 06:28:45 as *** along with 8 people and 1 group tautologico robennals epaulson spl janschaefer RalfMitschke brecknell getpost TU-KL-SoftwareTechnologyGroup
  • Threads cannot be implemented as a library
    Vol. 40, No. 6. (June 2005), pp. 261-268.
    by H Hans-J
    posted to compilers concurrency cs languages programming threads by thsutton on 2006-04-11 05:03:54 as read along with 9 people DickSilver LittleWood kinaba JosephKoshy qiongc arsyed damaru Bluetulip brothers
  • Memory Consistency Models
    Operating Systems Review, Vol. 27, No. 1. (1993), pp. 18-26.
    by David Mosberger
    posted to concurrency consistence by thiagomanel on 2008-06-05 22:00:38 as ** along with 1 person and 1 group elsantosneto Desktop Data Grid
  • The Polymorphic Pi-Calculus: Theory and Implementation
    (1996)
    by David N Turner
    posted to concurrency language-implementation pi-calculus types by tautologico on 2008-04-11 23:42:17 as ** along with 1 person jrw
  • An on-the-fly reference-counting garbage collector for java
    ACM Trans. Program. Lang. Syst., Vol. 28, No. 1. (January 2006), pp. 1-69.
    by Yossi Levanoni, Erez Petrank
    posted to concurrency reference-counting by tautologico on 2006-05-19 22:07:49 as ** along with 2 people ReiOdaira jrw
  • Implementing the Evaluation Transformer Model of Reduction on Parallel Machines
    Journal of Functional Programming, Vol. 1, No. 3. (1991), pp. 329-366.
    by Geoffrey L Burn
    posted to concurrency functional language-implementation by tautologico on 2006-03-05 22:10:17 as ** along with 1 person jrw
  • A methodology for implementing highly concurrent data objects
    ACM Trans. Program. Lang. Syst., Vol. 15, No. 5. (November 1993), pp. 745-770.
    by Maurice Herlihy
    posted to concurrency lock-free by tautologico on 2007-10-29 19:50:08 as *** along with 5 people myui jrw sverker NSumner frej
  • notes Parallel Garbage Collection for Shared Memory Multiprocessors
    (2001)
    by Christine Flood, Dave Detlefs, Nir Shavit, Catherine Zhang
    posted to concurrency garbage-collection by tautologico on 2006-05-18 03:55:55 as read along with 1 person jrw
  • How to make a correct multiprocess program execute correctly on a multiprocessor
    Computers, IEEE Transactions on, Vol. 46, No. 7. (1997), pp. 779-782.
    by L Lamport
    posted to concurrency by tautologico on 2006-08-21 01:42:07 as **
  • Lock-free reference counting
    Distributed Computing, Vol. 15, No. 4. (December 2002), pp. 255-271.
    by David L Detlefs, Paul A Martin, Mark Moir, Steele
    posted to concurrency reference-counting by tautologico on 2006-05-19 22:08:22 as ** along with 1 person syoyo
  • An efficient parallel heap compaction algorithm
    Vol. 39, No. 10. (October 2004), pp. 224-236.
    by Diab Abuaiadh, Yoav Ossia, Erez Petrank, Uri Silbershtein
    posted to concurrency garbage-collection by tautologico on 2006-05-18 04:20:58 as ** along with 1 person jrw
  • Pict: A Programming Language Based on the Pi-Calculus
    (2000)
    by Benjamin C Pierce, David N Turner
    edited by G Plotkin, C Stirling, M Tofte
    posted to concurrency languages pi-calculus by tautologico on 2008-04-11 23:53:23 as ** along with 4 people jrw wneumann cogumbreiro shimomura
  • How to write parallel programs: a guide to the perplexed
    ACM Comput. Surv., Vol. 21, No. 3. (September 1989), pp. 323-357.
    by Nicholas Carriero, David Gelernter
    posted to concurrency by tautologico on 2006-03-05 21:31:17 as ** along with 5 people ansobol pdlug jrw proportional gane5h
    • Note: You may cite this page as: http://www.citeulike.org/tag/concurrency

    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.