Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,771 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.
2009
2009
Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems
Jia Zou
,
Slobodan Matic
,
Edward A. Lee
,
T. Feng
,
P. Derler
15th IEEE Real-Time and Embedded Technology and…
2009
Corpus ID: 2865936
We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed…
Expand
2004
2004
Actor-oriented models for codesign: balancing re-use and performance
Edward A. Lee
,
S. Neuendorffer
2004
Corpus ID: 2000912
Most current hardware engineering practice is deeply rooted in discrete-event modeling and synchronous design. Most current…
Expand
2002
2002
Path locks for XML document collaboration
Stijn Dekeyser
,
J. Hidders
Proceedings of the Third International Conference…
2002
Corpus ID: 14744876
The hierarchical and semistructured nature of XML data can cause complicated update-behavior. The updates are not limited to…
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
1994
1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model
E. Börger
,
Igor Durdanovic
,
D. Rosenzweig
Programming Concepts and Methods
1994
Corpus ID: 2952714
We develop several simple operational models of Occam at different levels of abstraction, and relate them by relative correctness…
Expand
Review
1992
Review
1992
Dimensions of object-oriented modeling
P. Wegner
Computer
1992
Corpus ID: 17108472
The problem-solving power of object-oriented and logic programming is discussed in terms of the dimensions of encapsulation…
Expand
1992
1992
Designing a high-throughput VLC decoder. I. Parallel decoding methods
Horng-Dar Lin
,
D. Messerschmitt
IEEE Trans. Circuits Syst. Video Technol.
1992
Corpus ID: 46537955
For pt.I see ibid, vol.2, no.2, p.187, 1992, For applications in graphic computers, image and video composition, high-definition…
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
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
1966
1966
Parallel Processing of Algebraic Expressions
H. Hellerman
IEEE Transactions on Electronic Computers
1966
Corpus ID: 45387160
A classification of the objectives and types of parallel processing gives the context of the prinicipal subjects of this paper. A…
Expand