Results 341 to 350 of about 96,976 (366)
Some of the next articles are maybe not open access.
ACM SIGPLAN Notices, 1990
Continuations have proven to be useful for implementing a variety of control structures, including exception handling facilities and breadth-first searching algorithms. However, traditional continuations are not useful in the presence of concurrency, because the notion of the rest of the computation represented by a continuation does not ...
R. Kent Dybvig, Robert Hieb
openaire +2 more sources
Continuations have proven to be useful for implementing a variety of control structures, including exception handling facilities and breadth-first searching algorithms. However, traditional continuations are not useful in the presence of concurrency, because the notion of the rest of the computation represented by a continuation does not ...
R. Kent Dybvig, Robert Hieb
openaire +2 more sources
Quantum Information Processing, 2018
Monogamy relations characterize the distributions of entanglement in multipartite systems. We investigate the monogamy relations satisfied by the concurrence of assistance and the negativity of assistance for multiqubit generalized W-class states ...
Zhi‐Xiang Jin, S. Fei, X. Li-Jost
semanticscholar +1 more source
Monogamy relations characterize the distributions of entanglement in multipartite systems. We investigate the monogamy relations satisfied by the concurrence of assistance and the negativity of assistance for multiqubit generalized W-class states ...
Zhi‐Xiang Jin, S. Fei, X. Li-Jost
semanticscholar +1 more source
A concurrent ML library in concurrent Haskell
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, 2009In Concurrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, called higher-order concurrent programming .
openaire +2 more sources
Journal of Fish Diseases, 2016
Triploid Atlantic salmon populations are associated with higher prevalence of lower jaw skeletal anomalies affecting fish performance, welfare and value deleteriously.
G. Amoroso +4 more
semanticscholar +1 more source
Triploid Atlantic salmon populations are associated with higher prevalence of lower jaw skeletal anomalies affecting fish performance, welfare and value deleteriously.
G. Amoroso +4 more
semanticscholar +1 more source
, 2016
En avril 2014, la Commission europeenne a revise ses Lignes directrices sur les aides d'Etat en matiere d'energie et d'environnement. Dans cet article, nous montrons comment l'analyse economique des effets des aides participe a la politique de la ...
Patrice Bougette, C. Charlier
semanticscholar +1 more source
En avril 2014, la Commission europeenne a revise ses Lignes directrices sur les aides d'Etat en matiere d'energie et d'environnement. Dans cet article, nous montrons comment l'analyse economique des effets des aides participe a la politique de la ...
Patrice Bougette, C. Charlier
semanticscholar +1 more source
1990
Abstract: "Given the initial functional specifications for a product, a designer must create the description of a physical device that meets those requirements. The final design must simultaneously meet cost and quality requirements as well as meet the constraints imposed by activities such as manufacturing, assembly, and maintenance.
Finger, Susan +1 more
openaire +1 more source
Abstract: "Given the initial functional specifications for a product, a designer must create the description of a physical device that meets those requirements. The final design must simultaneously meet cost and quality requirements as well as meet the constraints imposed by activities such as manufacturing, assembly, and maintenance.
Finger, Susan +1 more
openaire +1 more source
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
Data-driven multiscale finite element method: From concurrence to separation
Computer Methods in Applied Mechanics and Engineering, 2020R. Xu +8 more
semanticscholar +1 more source