نتایج جستجو برای: trace coherency measure however

تعداد نتایج: 1964553  

2005
Héctor Ruíz Barradas Didier Bert

We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for deriving leads-to properties are proved in this general framework. The general framework is instantiated to minimal progress and weak fairness assumptions and similar results are obtained. We show the power of these results by ...

Journal: :CoRR 2011
Alejandro Fernández

Software is among the most complex endeavors of the human mind; large scale systems can have tens of millions of lines of source code. However, seldom is complexity measured above the lowest level of code, and sometimes source code files or low level modules. In this paper a hierarchical approach is explored in order to find a set of metrics that can measure higher levels of organization. These...

Journal: :Discrete Mathematics 1998

Coherency elastic strain between γ and  is one of the effective factors which affect the morphology, spatial re-arrangement and coarsening kinetics of  precipitates in nickel-base superalloys. In this investigation, using X-ray diffraction (XRD) technique, the - constrained and unconstrained lattice misfits were calculated for different morphologies of the  precipitates in Inconel 738L...

Journal: :Progress of Theoretical Physics 1981

Journal: :Quantum Information Processing 2018

2002
Shetal Shah Krithi Ramamritham Prashant J. Shenoy

In this paper, we consider techniques for disseminating dynamic data—such as stock prices and real-time weather information—from sources to a set of repositories. We focus on the problem of maintaining coherency of dynamic data items in a network of cooperating repositories. We show that cooperation among repositories— where each repository pushes updates of data items to other repositories—hel...

2008
Arian Maleki Nima Asgharbeygi

Despite outstanding successes of the state-of-the-art clustering algorithms, many of them still suffer from shortcomings. Mainly, these algorithms do not capture coherency and homogeneity of clusters simultaneously. We show that some of the best performing spectral as well as hierarchical clustering algorithms can lead to incorrect clustering when the data is comprised of clusters with differen...

Journal: :Journal of English Linguistics 2019

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید