Tag concurrency [at least 200 articles] Export

Recent papers classified by the tag concurrency.

	Concurrent Sexual Partnerships and the HIV Epidemics in Africa: Evidence to Move Forward [My Copy] AIDS and Behavior by Timothy Mah, Daniel Halperin posted to review hiv epidemiology concurrency africa by vmarceau on 2009-11-08 19:59:14 as
	Concurrent Partnerships and HIV Prevalence Disparities by Race: Linking Science and Public Health Practice [My Copy] American Journal of Public Health, Vol. 99, No. 6., pp. 1023-1031. by M. Morris, A. E. Kurth, D. T. Hamilton, J. Moody, S. Wakefield posted to race networks hiv epidemiology concurrency by vmarceau on 2009-11-08 19:57:59 as
	Monogamous networks and the spread of sexually transmitted diseases [My Copy] Mathematical Biosciences, Vol. 189, No. 2. (June 2004), pp. 115-130. by K. T. D. Eames, M. J. Keeling posted to sti random networks epidemiology concurrency by vmarceau on 2009-11-04 14:18:56 as
	Lazy Functional State Threads [My Copy] In PLDI 1994, Vol. 29, No. 6. (June 1994), pp. 24-35. by John Launchbury, Simon L. Peyton Jones posted to rank-2-polymorphism parametric-polymorphism non-strict-evaluation mutability monads haskell concurrency by spl on 2009-11-03 17:28:53 as along with 7 people and 2 groups fvogels draganigajic twleung dherman greenrd tautologico pedagand NU-PRL SRG_at_UCD
	Concurrent sexual partnerships and racial disparities in HIV infection among men who have sex with men. [My Copy] Sexually transmitted infections, Vol. 85, No. 5. (September 2009), pp. 367-369. by D. D. Bohl, H. F. Raymond, M. Arnold, W. McFarland posted to usa study racial-mixing race msm hiv concurrency assortativity age-group-mixing by tronella on 2009-11-02 16:31:54 as
	Finding Faults in Multi-Threaded Programs [My Copy] Master’s thesis (2001) by Cyrille Artho posted to static-analysis programming-language-design java concurrency by mcclurmc on 2009-11-01 17:01:58 as
	On the expressiveness of internal mobility in name-passing calculi [My Copy] Theor. Comput. Sci., Vol. 195, No. 2. (1998), pp. 205-226. by Michele Boreale posted to picalculus fullabstraction concurrency by keigoi on 2009-10-27 14:35:48 as
	Locality and Polyadicity in Asynchronous Name-Passing Calculi [My Copy] Foundations of Software Science and Computation Structures (2000), pp. 238-251. by Massimo Merro posted to picalculus concurrency by keigoi on 2009-10-27 03:49:28 as
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted to monad concurrency by jcreed on 2009-10-23 14:33:59 as along with 5 people and 2 groups draganigajic dalev keigoi janschaefer pedagand NU-PRL TU-KL-SoftwareTechnologyGroup
	Using Passive Object Garbage Collection Algorithms for Garbage Collection of Active Objects [My Copy] In In ISMM’02, ACM SIGPLAN Notices (2002), pp. 106-113. by Abhay Vardhan, Gul Agha posted to garbage-collection concurrency by fvogels on 2009-10-21 22:34:44 as
	Communicating sequential processes [My Copy] Commun. ACM, Vol. 21, No. 8. (August 1978), pp. 666-677. by C. A. R. Hoare posted to process-calculi concurrency classic-papers-fall09 by robertjohnsimmons to the group ConcertRG on 2009-10-13 00:17:33 as along with 6 people and 4 groups thermostat alexloh80 michaelbanks rgb cogumbreiro bockfliess pileWorks Wavelets AlgebraicLanguages FPA
	Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) [My Copy] Automated Reasoning (2008), pp. 320-326. by Anders Schack-Nielsen, Carsten Schürmann posted to modal-logic logical-frameworks linear-logic concurrency clf by robertjohnsimmons on 2009-10-09 15:13:39 as
	Processing while routing: a network-on-chipbased parallel system [My Copy] Computers & Digital Techniques, IET, Vol. 3, No. 5. (11 August 2009), pp. 525-538. by S. R. Fernandes, B. C. Oliveira, M. Costa, I. S. Silva posted to thesis noc concurrency computers_digital_techniques_iet belinda by belin87 on 2009-09-29 16:33:53 as along with 1 person jjm7673
	The Concurrency Challenge [My Copy] Design & Test of Computers, IEEE, Vol. 25, No. 4. (01 August 2008), pp. 312-320. by Wen-mei Hwu, K. Keutzer, T. G. Mattson posted to thesis concurrency belinda by belin87 on 2009-09-29 15:05:07 as
	Sinfonia: a new paradigm for building scalable distributed systems [My Copy] In SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007), pp. 159-174. by Marcos K. Aguilera, Arif Merchant, Mehul Shah, Alistair Veitch, Christos Karamanolis posted to distributed_systems concurrency acid 2007 by maropu on 2009-09-29 06:56:52 as along with 8 people and 1 group dowlingj dmeister myui frdr jkominek kzk_mover mstone yongchul SOSP
	CSP Is a Retract of CCS [My Copy] Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62. by Jifeng He, Tony Hoare posted to theory refinement linking csp concurrency ccs 2006 by michaelbanks on 2009-09-26 10:20:50 as along with 3 people mishra_satish christiankissig leonardo
	Meta-analysis for Atomicity Violations under Nested Locking [My Copy] Computer Aided Verification (2009), pp. 248-262. by Azadeh Farzan, P. Madhusudan, Francesco Sorrentino posted to concurrency atomicity by rhishi on 2009-09-25 20:25:02 as
	Term Graph Rewriting for the π-Calculus [My Copy] Programming Languages and Systems (2003), pp. 37-54. by Fabio Gadducci posted to wagnerdm plclub graph_rewriting concurrency categorical_semantics by mgreenbe on 2009-09-22 15:10:15 as
	Two hardware-based approaches for deterministic multiprocessor replay [My Copy] Commun. ACM, Vol. 52, No. 6. (2009), pp. 93-100. by Derek R. Hower, Pablo Montesinos, Luis Ceze, Mark D. Hill, Josep Torrellas posted to replay parallelism debugging concurrency by naoya on 2009-09-20 05:13:32 as
	Optimistic parallelism requires abstractions [My Copy] Commun. ACM, Vol. 52, No. 9. (2009), pp. 89-97. by Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew posted to parallelism concurrency by naoya on 2009-09-19 11:56:06 as
	A Concurrent Logical Framework: The Propositional Fragment [My Copy] Types for Proofs and Programs (2004), pp. 355-377. by Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker posted to logical-frameworks linear-logic lax-logic concurrency clf by robertjohnsimmons on 2009-09-18 14:57:00 as
	SafeJava: A Unified Type System for Safe Programming [My Copy] (2004) by Chandrasekhar Boyapati, Chandrasekhar Boyapati, Martin C. Rinard posted to type-theory programming-language-design java concurrency compilers by mcclurmc on 2009-09-18 03:06:42 as
	Types for safe locking: Static race detection for Java [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 28 (2006) by Martin Abadi, Cormac Flanagan, Stephen N. Freund posted to type-theory programming-language-design ownership-types java concurrency compilers by mcclurmc on 2009-09-18 03:04:37 as
	Ownership Types for Safe Programming: Preventing Data Races and Deadlocks [My Copy] (2002) by Chandrasekhar Boyapati, Robert Lee, Martin Rinard posted to programming-language-design ownership-types java concurrency compilers by mcclurmc on 2009-09-18 02:58:50 as
	A Parameterized Type System for Race-Free Java Programs [My Copy] (2001) by Chandrasekhar Boyapati, Martin Rinard posted to programming-language-design ownership-types concurrency compilers by mcclurmc on 2009-09-18 02:56:39 as
	Verifying correct usage of atomic blocks and typestate [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 227-244. by Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich posted to static-analysis rg-2009 linear-logic concurrency by robertjohnsimmons to the group ConcertRG on 2009-09-17 19:33:06 as along with 1 person tov
	Design of Concurrent Utilities in Jackal: A Software DSM Implementation [My Copy] Distributed Computing and Networking (2008), pp. 176-181. by Pradeep Nalla, Rajeev Wankar, Arun Agarwal posted to java distributed concurrency by ingo on 2009-09-17 13:26:01 as
	Java Concurrency in Practice [My Copy] (19 May 2006) by Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, Doug Lea posted to multi-threading java concurrency by eddymier on 2009-09-17 02:29:20 as along with 3 people nabeelah martinrytter fmc
	A concurrent ML library in concurrent Haskell [My Copy] In ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming (2009), pp. 269-280. by Avik Chaudhuri posted to language-haskell concurrent-ml concurrency by pedagand on 2009-09-04 17:06:00 as
	A moment closure model for sexually transmitted disease transmission through a concurrent partnership network [My Copy] Proceedings of the Royal Society of London. Series B: Biological Sciences, Vol. 267, No. 1456. (7 October 2000), pp. 2019-2027. by C. Bauch, D. A. Rand posted to networks moment-closure epidemiology concurrency by vmarceau on 2009-08-31 21:10:36 as
	Concurrent partnerships and the spread of HIV. [My Copy] AIDS (London, England), Vol. 11, No. 5. (April 1997), pp. 641-648. by M. Morris, M. Kretzschmar posted to networks hiv epidemiology concurrency by vmarceau on 2009-08-31 20:37:45 as
	Concurrent partnerships and transmission dynamics in networks [My Copy] Social Networks, Vol. 17, No. 3-4. (October 1995), pp. 299-318. by M. Morris, M. Kretzschmar posted to networks epidemiology concurrency by vmarceau on 2009-08-31 20:34:20 as
	Measures of concurrency in networks and the spread of infectious disease [My Copy] Mathematical Biosciences, Vol. 133, No. 2. (15 April 1996), pp. 165-195. by M. Kretzschmar posted to networks epidemiology concurrency by vmarceau on 2009-08-31 20:32:26 as
	Integrating concurrency control and energy management in device drivers [My Copy] In SOSP '07: Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles (2007), pp. 251-264. by Kevin Klues, Vlado Handziski, Chenyang Lu, et al.Adam Wolisz, David Culler, David Gay, Philip Levis posted to energy concurrency by yang_peng on 2009-08-27 16:28:38 as along with 1 person and 1 group mortenthansen SOSP
	Scalable synchronous queues [My Copy] Commun. ACM, Vol. 52, No. 5. (2009), pp. 100-111. by William N. Scherer, Doug Lea, Michael L. Scott posted to scalability programming concurrency by germoglio on 2009-08-25 20:31:06 as along with 1 person gvdh
	Reducing concurrent analysis under a context bound to sequential analysis [My Copy] Formal Methods in System Design, Vol. 35, No. 1. (1 August 2009), pp. 73-97. by Akash Lal, Thomas Reps posted to program-analysis concurrency by rhishi on 2009-08-24 22:20:38 as
	Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers [My Copy] Computer Aided Verification (2009), pp. 509-524. by Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamarić posted to smt concurrency by rhishi on 2009-08-24 19:30:29 as
	The Space and Motion of Communicating Agents [My Copy] (2009) by Robin Milner posted to concurrency books by robotact on 2009-08-18 19:49:40 as
	What are the Fundamental Structures of Concurrency?We still don't know! [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 162 (29 September 2006), pp. 37-41. by S. Abramsky posted to physics concurrency computer_science 22 by robotact on 2009-08-18 18:33:27 as
	The chemical abstract machine [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94. by Gerard Berry, Gerard Boudol posted to pi_calculus lambda_calculus concurrency 333 by robotact on 2009-08-13 18:59:00 as along with 8 people fierykylin scis0000001 mstone cogumbreiro erikgarrison bfraser pedagand mperalta
	Functions as Processes [My Copy] In ICALP '90: Proceedings of the 17th International Colloquium on Automata, Languages and Programming (1990), pp. 167-180. by Robin Milner posted to concurrency lambda_calculus pi_calculus by robotact on 2009-08-09 02:41:17 as
	Real-world concurrency [My Copy] Commun. ACM, Vol. 51, No. 11. (2008), pp. 34-39. by Bryan Cantrill, Jeff Bonwick posted to 2008 bryan cacm cantrill concurrency sun by ashwinn on 2009-08-06 13:34:40 as along with 4 people and 1 group bbjwerner laurobeltrao leonardo germoglio Software-Architecture
	Reduction of Verification Conditions for Concurrent System Using Mutually Atomic Transactions [My Copy] Model Checking Software (2009), pp. 68-87. by Malay Ganai, Sudipta Kundu posted to atomicity concurrency software-verification by rhishi on 2009-08-05 16:21:17 as
	Paxos Made Simple [My Copy] SIGACT News, Vol. 32, No. 4. (December 2001), pp. 51-58. by Leslie Lamport posted to concurrency distributed-consensus distributed-programming by robertjohnsimmons on 2009-07-30 19:52:11 as along with 3 people pedagand myui ejones
	Models for concurrency [My Copy] (1995), pp. 1-148. by Glynn Winskel, Mogens Nielsen posted to 4444 category_theory concurrency by robotact on 2009-07-29 21:15:25 as along with 1 person fierykylin
	The temporal logic of programs [My Copy] Symposium on Foundations of Computer Science In Symposium on Foundations of Computer Science, Vol. 0 (1977), pp. 46-57. by Amir Pnueli posted to concurrency linear_temporal_logic ltl nrl parallel by knowlengr on 2009-07-29 16:27:35 as along with 2 people michaelbanks prahlad
	An optimal algorithm for mutual exclusion in computer networks [My Copy] Commun. ACM, Vol. 24, No. 1. (January 1981), pp. 9-17. by Glenn Ricart, Ashok K. Agrawala posted to concurrency lock os qual by gtsysqual on 2009-07-28 21:34:33 as along with 1 person mercutio
	Distributed software engineering [My Copy] In ICSE '94: Proceedings of the 16th international conference on Software engineering (1994), pp. 253-263. by Jeff Kramer posted to concurrency distributed-systems software-architecture software-engineering by germoglio to the group Software-Architecture on 2009-07-24 20:31:55 as
	Transactional events [My Copy] SIGPLAN Not., Vol. 41, No. 9. (September 2006), pp. 124-135. by Kevin Donnelly, Matthew Fluet posted to concurrency monads transactions by robertjohnsimmons on 2009-07-24 00:41:22 as along with 1 person AndreasSchropp
	Logical Semantics of Types for Concurrency [My Copy] Algebra and Coalgebra in Computer Science (2007), pp. 16-35. by Luís Caires posted to concurrency process-calculi spatial-logic by robertjohnsimmons on 2009-07-23 21:49:00 as

Note: You may cite this page as: http://www.citeulike.org/tag/concurrency

Result page: 1 2 3 4 5 6 7 8 9 10 Next

haskell	56
java	34
distributed	28
database	25
race	24
pi-calculus	23
monads	21
picalculus	20
semantics	19
transactions	19
pi	18
atomicity	17
stm	17
programming	15
testing	15
algorithms	14
functional-programming	14
computation	13
scalability	13
systems	13
types	13
category-theory	12
languages	12
threads	12
transactional-memory	12
causality	11
csp	11
lock-free	11
multicore	11
pl	11
programming-language-design	11
analysis	10
databases	10
domain-theory	10
erlang	10
garbage-collection	10
language-implementation	10
refinement	10
theory	10
transactional	10
verification	10
b-tree	9
model-checking	9
networks	9
process	9
chu-space	8
icfp08	8
linear-logic	8
lock	8
logic	8
parallel	8
process-algebra	8
2008	7
algorithm	7
comp-arch	7
concurrent	7
cs262a	7
distributed-programming	7
epidemiology	7
os	7
parallelism	7
type-theory	7
764	6
asynchronous	6
book	6
ccs	6
classics	6
compilers	6
distributed-systems	6
distribution	6
functional	6
hardcopy	6
interactivity	6
language	6
ml	6
program-analysis	6
reference-counting	6
software	6
software-architecture	6
software-engineering	6
time	6
collaboration	5
continuations	5
debugging	5
event	5
eventstructure	5
folder30	5
formal	5
fsm	5
language-haskell	5
linda	5
multi-threaded	5
operationalsemantics	5
replication	5
safety	5
software-verification	5
specification	5
synchronization	5
system	5
thread	5

Tag concurrency [at least 200 articles] Export

Related Tags