Results 311 to 320 of about 104,454 (340)
Some of the next articles are maybe not open access.
A concurrent optimization methodology for concurrent engineering
IEEE Transactions on Engineering Management, 1999The authors describe a methodology for making the decisions associated with the concurrent engineering of a product and its downstream held support. They adopt, for the overall metrics for evaluating these decisions, long-run system availability and life-cycle cost. The decisions that constitute the concurrent engineering effort can be categorized into
Melanie L. Hatch, Ralph D. Badinelli
openaire +2 more sources
The correctness of concurrencies in (reversible) concurrent calculi
Journal of Logical and Algebraic Methods in ProgrammingThis article designs a general principle to check the correctness of the definition of concurrency (a.k.a. independence) of events for concurrent calculi. Concurrency relations are central in process algebras, but also two-sided: they are often defined independently on composable and on coinitial transitions, and no criteria exists to assess whether ...
openaire +2 more sources
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, Ugo Montanari
openaire +2 more sources
High‐coverage metamorphic testing of concurrency support in C compilers
Software Testing Verification and Reliability, 2022Matt Windsor +2 more
exaly
Concurrent garbage collection for concurrent rewriting
1995We describe an algorithm that achieves garbage collection when performing concurrent rewriting. We show how this algorithm follows the implementation model of concurrent graph rewriting. This model has been studied and directly implemented on MIMD machines where nodes of the graph are distributed over a set of processors.
openaire +2 more sources