Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,467,413 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
,
Sebastian G. 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
,
K. 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
1997
1997
Concurrent reduction and modification of polyaniline emeraldine base with pyrrolidine and other nucleophiles
Chien-Chung Han
,
Rong-Chyuan Jeng
1997
Corpus ID: 97853428
Polyaniline emeraldine base 1 can be easily modified by pyrrolidine and other nucleophiles, e.g. piperidine, morpholine, alkane…
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
Review
1995
Review
1995
Pn-tox: a Paradigm and Development Environment for Object Concurrency Speciications
Pierre VerbaetenDept
1995
Corpus ID: 7875124
In the domain of concurrent object-oriented programming (COOP) there is a strong need for a formalism to describe concurrency…
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
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