Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,025,116 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
2010
Highly Cited
2010
A geometric approach to improve spectrum efficiency for cognitive relay networks
Min Xie
,
Wei Zhang
,
Kai‐Kit Wong
IEEE Transactions on Wireless Communications
2010
Corpus ID: 6939637
Cognitive radio (CR) enables dynamic spectrum access (DSA). In CR networks (CRNs), unlicensed cognitive users (CUs) can share the…
Expand
Highly Cited
2005
Highly Cited
2005
On the architectural requirements for efficient execution of graph algorithms
David A. Bader
,
Guojing Cong
,
J. Feo
International Conference on Parallel Processing
2005
Corpus ID: 9097149
Combinatorial problems such as those from graph theory pose serious challenges for parallel machines due to non-contiguous…
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
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
1990
Highly Cited
1990
Object-oriented specification of reactive systems
Hannu-Matti Järvinen
,
R. Kurki-Suonio
,
Markku Sakkinen
,
Kari Systä
[] Proceedings. 12th International Conference on…
1990
Corpus ID: 18378924
A novel approach to the operational specification of concurrent systems that leads to an object-oriented specification language…
Expand
Highly Cited
1986
Highly Cited
1986
Concurrent C
N. Gehani
,
W. D. Roome
Software, Practice & Experience
1986
Corpus ID: 1909160
Concurrent programming is becoming increasingly important because multicomputers, particularly networks of microprocessors, are…
Expand
Highly Cited
1986
Highly Cited
1986
File Placement on Distributed Computer Systems
B. Wah
Computer
1986
Corpus ID: 18741940
Advances in large-scale integrated logic and communication technology coupled with the applications explosion have led to…
Expand
Review
1982
Review
1982
A New Method for Concurrency in B-Trees
Y. Kwong
,
D. Wood
IEEE Transactions on Software Engineering
1982
Corpus ID: 16408088
In this paper we study the problem of supporting concurrent operations in B-trees and their variants. A survey of previous work…
Expand
Highly Cited
1980
Highly Cited
1980
The Structure of Parallel Algorithms
H. T. Kung
Advances in Computing
1980
Corpus ID: 11273946
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