Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,110,138 papers from all fields of science
Search
Sign In
Create Free Account
Concurrency (computer science)
Known as:
Concurrency
, Concurrency theory
, Concurrent system
Expand
In computer science, concurrency is the decomposability property of a program, algorithm, or problem into order-independent or partially-ordered…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
ACM Turing Award
Actor model
Behavior tree
Bulk synchronous parallel
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
Unrestricted Transactional Memory: Supporting I/O and System Calls Within Transactions
Comments Comments
,
Colin Blundell
,
E. Lewis
,
Milo M. K. Martin
2006
Corpus ID: 1005509
Hardware transactional memory has great potential to simplify the creation of correct and efficient multithreaded programs…
Expand
Highly Cited
2006
Highly Cited
2006
Blue Matter: Approaching the Limits of Concurrency for Classical Molecular Dynamics
B. Fitch
,
A. Rayshubskiy
,
+6 authors
Almaden-Austin-Beijing-Haifa-India-T J Watson-Tokyo-Zurich
International Conference on Software Composition
2006
Corpus ID: 6344083
This paper describes a novel spatial-force decomposition for N-body simulations for which we observe O(sqrt(p)) communication…
Expand
Highly Cited
2002
Highly Cited
2002
CSP Networking for Java (JCSP.net)
P. Welch
,
Jo R. Aldous
,
Jon Foster
International Conference on Conceptual Structures
2002
Corpus ID: 42006905
JCSP is a library of Java packages providing an extended version of the CSP/occam model for Communicating Processes. The current…
Expand
Highly Cited
1995
Highly Cited
1995
The Codesign of Embedded Systems: A Unified Hardware/Software Representation
Sanjaya Kumar
,
J. Aylor
,
Barry W. Johnson
,
W. Wulf
Springer US
1995
Corpus ID: 43052766
Current practice dictates the separation of the hardware and software development paths early in the design cycle. These paths…
Expand
Highly Cited
1992
Highly Cited
1992
MCP: a protocol for coordination and temporal synchronization in multimedia collaborative applications
R. Yavatkar
[] Proceedings of the 12th International…
1992
Corpus ID: 37960432
The multiflow conversation protocol (MCP), which provides two communication abstractions is discussed. MCP provides a token-based…
Expand
Highly Cited
1992
Highly Cited
1992
Configuring object-based distributed programs in REX
J. Kramer
,
J. Magee
,
M. Sloman
,
Naranker Dulay
Software Engineering Journal
1992
Corpus ID: 15623873
The popularity of the object-oriented programming paradigm has stimulated research into its use for parallel and distributed…
Expand
Highly Cited
1987
Highly Cited
1987
Concurrent motion in infant event perception
P. Kellman
,
C. Hofsten
,
Joaquim J. F. Soares
1987
Corpus ID: 8709367
Highly Cited
1984
Highly Cited
1984
An implementation of GEM: supporting a semantic data model on a relational back-end.
S. Tsur
,
C. Zaniolo
ACM SIGMOD Conference
1984
Corpus ID: 9046097
This paper presents a simple approach for extending the relational system INGRES into one supporting a semantic data model it…
Expand
Highly Cited
1983
Highly Cited
1983
NIL: An integrated language and system for distributed programming
R. Strom
,
S. Yemini
SIGPLAN Conferences and Workshops
1983
Corpus ID: 16064742
This paper presents features of the NIL programming language which support the construction of distributed software systems: (1…
Expand
Highly Cited
1978
Highly Cited
1978
A Synthesis Rule for Concurrent Systems
T. Agerwala
,
Yong-Chai Choed-Amphai
Design Automation Conference
1978
Corpus ID: 15248776
Concurrent (hardware and software) systems can become extremely complex due to the existence of multiple loci of control…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE