Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,166,566 papers from all fields of science
Search
Sign In
Create Free Account
Concurrent computing
Known as:
Concurrent programming language
, COPL
, Concurrent programming languages
Expand
Concurrent computing is a form of computing in which several computations are executed during overlapping time periods—concurrently—instead of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Actor model
Blocking (computing)
Bulk synchronous parallel
Cigarette smokers problem
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
BiC-MAC: Bidirectional-Concurrent MAC protocol with packet bursting for underwater acoustic networks
Hai-Heng Ng
,
Wee-Seng Soh
,
M. Motani
OCEANS MTS/IEEE SEATTLE
2010
Corpus ID: 17420313
Underwater communication mainly relies on acoustic waves. Its unique characteristics, such as slow propagation speed and low bit…
Expand
2009
2009
Saturation-based testing of concurrent programs
Elena Sherman
,
Matthew B. Dwyer
,
S. Elbaum
ESEC/FSE '09
2009
Corpus ID: 17753219
Coverage measures help to determine whether a test suite exercises a program adequately according to a testing criterion. Many…
Expand
2008
2008
A colored Petri net-based model for web service composition
Zhao-Li Zhang
,
Fan Hong
,
Hai-Jun Xiao
2008
Corpus ID: 60032909
In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the…
Expand
1999
1999
Automated test sequence generation using sequencing constraints for concurrent programs
B. Karaçali
,
Kuo-Chung Tai
Proceedings International Symposium on Software…
1999
Corpus ID: 37504575
Sequencing constraints for a concurrent program specify restrictions on the allowed sequences of synchronization events, and they…
Expand
1998
1998
Verification in concurrent programming with Petri nets structural techniques
Kamel Barkaoui
,
Jean-François Pradat-Peyre
Proceedings Third IEEE International High…
1998
Corpus ID: 1907227
The paper deals with verification of flow control in concurrent programs. We use the Ada language model as reference. After…
Expand
1995
1995
Evolving the Architecture of a Multi-part Program in Genetic Programming Using Architecture-Altering Operations
J. Koza
Evolutionary Programming
1995
Corpus ID: 7854597
This paper describes six new architecture-altering operations that provide a way to dynamically determine the architecture of a…
Expand
1994
1994
Software Architecture of the EPOCA Integrated Environment
S. Donatelli
,
G. Franceschinis
,
N. Mazzocca
,
S. Russo
Computer Performance Evaluation
1994
Corpus ID: 41088255
We describe the software architecture of EPOCA (Environment for analysis and Performance evaluation Of Concurrent Applications…
Expand
1994
1994
Modeling and performance analysis of medical services systems using Petri nets
H. Xiong
,
Mengchu Zhou
,
C. Manikopoulos
Proceedings of IEEE International Conference on…
1994
Corpus ID: 60665515
This paper presents Petri net modeling and performance analysis of an emergency medical services system (EMS). Petri nets are…
Expand
1993
1993
Towards a Semantics for Concurrent METATEM
Michael Fisher
Executable Modal and Temporal Logics
1993
Corpus ID: 1751555
Concurrent MetateM is a programming language based on the notion of concurrent, communicating objects, where each object directly…
Expand
1992
1992
Implementing concurrent C
N. Gehani
,
W. D. Roome
Software, Practice & Experience
1992
Corpus ID: 17224627
Concurrent C (C++) is a parallel superset of C (C++). Versions of Concurrent C have now been implemented for a variety of…
Expand