Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,034,043 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.
2007
2007
Fault tolerant irregular augmented shuffle network
H. Sadawarti
,
P. Bansal
2007
Corpus ID: 61284039
The Performance of a system depends directly on the time required to perform an operation and number of these operations that can…
Expand
Review
1996
Review
1996
Correctness issues in workflow management
Distributed Syst. Eng.
1996
Corpus ID: 15509232
Workflow management is a technique to integrate and automate the execution of steps that comprise a complex process, e.g., a…
Expand
1996
1996
Exception handling and resolution in distributed object-oriented systems
Jie Xu
,
A. Romanovsky
,
B. Randell
Proceedings of 16th International Conference on…
1996
Corpus ID: 2574279
We address the problem of how to handle exceptions in distributed object-oriented systems. In a distributed computing environment…
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
1994
1994
Static Analysis of Barrier Synchronization in Explicitly Parallel Programs
Tor E. Jeremiassen
,
S. Eggers
Parallel Architectures and Compilation Techniques
1994
Corpus ID: 2396738
Many coarse-grained, explicitly parallel programs execute in phases delimited by barriers to preserve sets of cross process data…
Expand
1988
1988
Debugging concurrent processes: a case study
J. Stone
ACM-SIGPLAN Symposium on Programming Language…
1988
Corpus ID: 17899216
We present a case study that illustrates a method of debugging concurrent processes in a parallel programming environment. It…
Expand
1985
1985
On the Parameterized Algebraic Specification of Concurrent Systems
E. Astesiano
,
G. Mascari
,
G. Reggio
,
M. Wirsing
TAPSOFT, Vol.1
1985
Corpus ID: 21283448
A technique for specifying concurrent systems is shown, that uses the algebraic specification language ASL. A system is…
Expand
Highly Cited
1983
Highly Cited
1983
Managing the chip design database
R. Katz
Computer
1983
Corpus ID: 15173232
A design data management system bridges the gap between design tools and database systems, creating an integrated tool…
Expand
Highly Cited
1981
Highly Cited
1981
A Two-Level Pipelined Systolic Array for Convolutions
H. T. Kung
,
Lawrence M. Ruane
,
David W. L. Yen
1981
Corpus ID: 59827955
Pipelining computations over a large array of cells has been an important feature of systolic arrays. To achieve even higher…
Expand
1980
1980
Special-purpose devices for signal and image processing : an opportunity in VLSI
H. T. Kung
1980
Corpus ID: 8711658
Abstract : Based on the systolic array approach, new designs of special-purpose devices for filtering, correlation, convolution…
Expand