Results 291 to 300 of about 190,212 (326)
A software reliability model for open source big data systems based on Weibull-Weibull distribution. [PDF]
Sci RepWang J, Geng H, Li P.
europepmc +1 more source
Analysis of Flow Structure and Calculation of Drag Coefficient for Concurrent-up Gas-Solid Flow
, 2003 Ning Yang +3 more
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Discrete Event Dynamic Systems, 2006
Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers can ever find out that a trajectory of the system belongs to some secret. We search for a regular control on the system, enforcing the specified secrets on the observers, even ...
E. Badouel +4 more
openaire +1 more source
Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers can ever find out that a trajectory of the system belongs to some secret. We search for a regular control on the system, enforcing the specified secrets on the observers, even ...
E. Badouel +4 more
openaire +1 more source
ACM Computing Surveys, 1996
Concurrency theory is concerned with the modeling and verification of concurrent systems, while concurrency practice promulgates the application of concurrency theory to concurrent systems of practical interest. We assert that a strong interplay between concurrency theory and practice is essential for the continued development of both fields.
De Nicola, Rocco, Smolka, Scott A.
openaire +3 more sources
Concurrency theory is concerned with the modeling and verification of concurrent systems, while concurrency practice promulgates the application of concurrency theory to concurrent systems of practical interest. We assert that a strong interplay between concurrency theory and practice is essential for the continued development of both fields.
De Nicola, Rocco, Smolka, Scott A.
openaire +3 more sources
Concurrent C++: Concurrent programming with class(es)
Software: Practice and Experience, 1988AbstractC++ and Concurrent C are both upward‐compatible supersets of C that provide data abstraction and parallel programming facilities, respectively. Although data abstraction facilities are important for writing concurrent programs, we did not provide data abstraction facilities in Concurrent C because we did not want to duplicate the C++ research ...
Gehani, N. H., Roome, W. D.
openaire +1 more source
Concurrency and Concurrent Constraint Programming
1995The intent of this paper is to provide the basic ideas and the possible alternatives underlying the task of giving a semantics to a concurrent system/language, and to describe a particular approach which makes some specific choices in order to give a semantics to the class of CC languages.
U. Montanari, ROSSI, FRANCESCA
openaire +2 more sources