Javascript must be enabled to continue!
Concurrent Systems Design
View through CrossRef
Abstract
A characteristic of all concurrent systems is that of concurrent processing; that is, many activities occurring simultaneously whereby, frequently, the order of incoming events is not predictable. Consequently, as concurrent systems deal with several concurrent activities, it is highly desirable for a concurrent system to be structured into concurrent tasks (also known as concurrent processes).
This article starts by providing an overview of concurrent processing concepts. In the next section, run‐time support for concurrent tasks is briefly discussed. With this background, an overview of a design method for concurrent systems, including distributed and real‐time applications, is given. The COMET method integrates object‐oriented and concurrent processing concepts, and uses the Unified Modeling Language (UML) notation.
Title: Concurrent Systems Design
Description:
Abstract
A characteristic of all concurrent systems is that of concurrent processing; that is, many activities occurring simultaneously whereby, frequently, the order of incoming events is not predictable.
Consequently, as concurrent systems deal with several concurrent activities, it is highly desirable for a concurrent system to be structured into concurrent tasks (also known as concurrent processes).
This article starts by providing an overview of concurrent processing concepts.
In the next section, run‐time support for concurrent tasks is briefly discussed.
With this background, an overview of a design method for concurrent systems, including distributed and real‐time applications, is given.
The COMET method integrates object‐oriented and concurrent processing concepts, and uses the Unified Modeling Language (UML) notation.
Related Results
Association of PTEN and ARID1A Expression in Patients with Atypical Endometrial Hyperplasia and Concurrent Endometrioid Carcinoma: A Retrospective Cohort Study
Association of PTEN and ARID1A Expression in Patients with Atypical Endometrial Hyperplasia and Concurrent Endometrioid Carcinoma: A Retrospective Cohort Study
Objective: Some endometrial biopsies from patients with atypical hyperplasia/endometrial intraepithelial neoplasia (AH/EIN) show concurrent endometrioid carcinoma (EC). Hysterectom...
Concurrent Constraint Programming
Concurrent Constraint Programming
Concurrent Constraint Programming introduces a new and rich class of programming languages based on the notion of computing with partial information, or constraints, that synthesiz...
Concurrent Engineering in Ship Design
Concurrent Engineering in Ship Design
Concurrent engineering is a systematic approach for integration and concurrent design of products. The systematic approach intends to consider all elements influencing the products...
Outcome of neoadjuvant chemotherapy followed by concurrent chemoradiotherapy versus concurrent chemoradiotherapy alone in non-metastatic locally advanced non-small cell lung cancer – A prospective and randomized study
Outcome of neoadjuvant chemotherapy followed by concurrent chemoradiotherapy versus concurrent chemoradiotherapy alone in non-metastatic locally advanced non-small cell lung cancer – A prospective and randomized study
Background: Sequential chemoradiotherapy and concurrent chemoradiotherapy are two treatment options for locally advanced non-small cell lung cancer (NSCLC). Still there is limited ...
Concurrent extreme events of atmospheric moisture transport and precipitation: the role of atmospheric rivers.
Concurrent extreme events of atmospheric moisture transport and precipitation: the role of atmospheric rivers.
An analysis of concurrent extreme events of precipitation and Integrated
Water Vapour Transport (IVT) is crucial to our understanding of the role
of the major global mechanisms of ...
Concurrent dengue infections: Epidemiology & clinical implications
Concurrent dengue infections: Epidemiology & clinical implications
Multiple dengue virus (DENV) serotypes circulating in a geographical area most often lead to simultaneous infection of two or more serotypes in a single individual. The occurrence ...
Proving Linearizability of Concurrent Queues
Proving Linearizability of Concurrent Queues
<p>Linearizability is a commonly accepted correctness criterion for concurrent data structures. Concurrent queues are among the most fundamental concurrent data structures. I...

