Results 261 to 270 of about 36,627 (309)
RETRACTION: An Integrated Framework for COVID-19 Classification Based on Classical and Quantum Transfer Learning from a Chest Radiograph. [PDF]
Concurr Computeuropepmc +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 ...
Éric Badouel +4 more
openaire +2 more sources
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 ...
Éric Badouel +4 more
openaire +2 more sources
Analyzing concurrency in streaming applications
Journal of Systems Architecture, 2008 We present a concurrency model that allows reasoning about concurrency in executable specifications of streaming applications. It provides measures for five different concurrency properties.
Twan Basten, Sander Stuijk
exaly +3 more sources
The concurrency hierarchy, and algorithms for unbounded concurrency
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, 2001We study wait-free computation using (read/write) shared memory under a range of assumptions on the arrival pattern of processes. We distinguish first between bounded and infinite arrival patterns, and further distinguish these models by restricting the number of arrivals minus departures, the concurrency.
Eli Gafni +2 more
openaire +1 more source
Fundamenta Informaticae, 1996
In the paper Gaussian monoids with zero as a basis for modeling of concurrence and a kind of consistence are proposed and a notion of concurrent system is defined. The main idea is to replace the binary relation of concurrence defined on a set of activities (transitions in Petri nets, events etc.) by a more general notion of independence of multisets.
openaire +3 more sources
In the paper Gaussian monoids with zero as a basis for modeling of concurrence and a kind of consistence are proposed and a notion of concurrent system is defined. The main idea is to replace the binary relation of concurrence defined on a set of activities (transitions in Petri nets, events etc.) by a more general notion of independence of multisets.
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 ...
Narain H. Gehani, William D. Roome
openaire +2 more sources
Applied Categorical Structures, 2001
This article considers how S. Abramsky's interaction categories [\textit{S. Abramsky}, \textit{S. J. Gay} and \textit{R. Nagarajan}, ``Interaction categories and the foundation of typed concurrent programming'', in: Deductive program design, 35-115 (1996; Zbl 0842.00044)], can be usefully viewed as quantaloids. Quantaloids are categories enriched in \({
openaire +2 more sources
This article considers how S. Abramsky's interaction categories [\textit{S. Abramsky}, \textit{S. J. Gay} and \textit{R. Nagarajan}, ``Interaction categories and the foundation of typed concurrent programming'', in: Deductive program design, 35-115 (1996; Zbl 0842.00044)], can be usefully viewed as quantaloids. Quantaloids are categories enriched in \({
openaire +2 more sources
IEEE Design & Test of Computers, 2008
The evolutionary path of microprocessor design includes both multicore and many-core architectures. Harnessing the most computing throughput from these architectures requires concurrent or parallel execution of instructions. The authors describe the challenges facing the industry as parallel-computing platforms become even more widely available.
Wen-mei W. Hwu +2 more
openaire +1 more source
The evolutionary path of microprocessor design includes both multicore and many-core architectures. Harnessing the most computing throughput from these architectures requires concurrent or parallel execution of instructions. The authors describe the challenges facing the industry as parallel-computing platforms become even more widely available.
Wen-mei W. Hwu +2 more
openaire +1 more source
Concurrent Semantics for Concurrent Constraint Programs
1994A concurrent semantics is a semantics where concurrency can be realistically represented and naturally described. Therefore we believe that every concurrent language should be provided with a formal concurrent semantics. Here we describe three concurrent semantics for concurrent constraint (cc) programs.
Francesca Rossi 0001, Ugo Montanari
openaire +1 more source
1987
A definition of Continuity properly generalized from full to partial orders is presented. In addition to the continuity requirements of Dedekind (no gaps, no jumps) the definition includes requirements taken from physics and from engineering. All these requirements are fulfilled by the total order structure of real numbers, but at the cost of ...
C. A. Petri 0001, Einar Smith
openaire +1 more source
A definition of Continuity properly generalized from full to partial orders is presented. In addition to the continuity requirements of Dedekind (no gaps, no jumps) the definition includes requirements taken from physics and from engineering. All these requirements are fulfilled by the total order structure of real numbers, but at the cost of ...
C. A. Petri 0001, Einar Smith
openaire +1 more source