Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,501,187 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.
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
2001
2001
Core Web Programming
Marty Hall
,
Lawrence M. Brown
2001
Corpus ID: 59925665
Introduction. Acknowledgments. I. THE HYPERTEXT MARKUP LANGUAGE. 1. Designing Web Pages with HTML 4.0. 2. Block-Level Elements in…
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
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
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