نتایج جستجو برای: critical section
تعداد نتایج: 628354 فیلتر نتایج به سال:
In this article a maturity model is proposed, named OD-MM (Open Data Maturity Model) to assess the commitment and capabilities of public agencies in pursuing the principles and practices of open data. The OD-MM model has a three level hierarchical structure, called domains, sub-domains and critical variables. Four capacity levels are defined for each of the 33 critical variables distributed in ...
Abstract. Fix two rectangles A, B in [0, 1] . Then the size of the random set of double points of the N -parameter Brownian motion (Wt)t∈[0,1]N in R, i.e. the set of pairs (s, t), where s ∈ A, t ∈ B, and Ws = Wt, can be measured as usual by a self-intersection local time. If A = B, we show that the critical dimension below which self-intersection local time does not explode, is given by d = 2N ...
This paper presents new compiler analysis for the elimination of invalidation traac in virtual shared memory, using a hybrid distributed invalidation coherence scheme. The invalidation and acknowledgement messages are removed; this reduces both network invalidation traac and the latency of a write fault. It aggressively exploits the SPMD execution model and uses array section analysis to accura...
IN RECENT years I have heard many moral theologians express the opinion that the treatise on mutilation, as usually given in the manuals, needs extensive revision. Needless to say, a satisfactory revision could hardly be the work of one man. The purpose of the following pages is merely to suggest, for constructive criticism, a number of points that ought to be considered in making the revision....
My subtitle is not intended as a slighting reference to the current state of the art for validation and veriication of knowledge-based systems, but as a reminder that for many systems the important question concerning deployment is not \how well does it work?" but \how badly can it fail?" This is most obviously the case in safety-critical systems, but it can apply to any system where the conseq...
The lecture is a creative process in which both a lecturer and a student take part. The basic aim of the lecture is to help students to comprehend the major notions of the subject taught which implies creative and active perception of the material. In addition, attention should be paid to basic concepts, definitions, designations, assumptions. A critical analysis of main issues, facts and ideas...
Quorum-based mutual exclusion algorithms enjoy many advantages such as low message complexity and high failure resiliency. The use of quorums is a well-known approach to achieving mutual exclusion in distributed environments. Several distributed based quorum mutual exclusion was presented. The number of messages required by these algorithms require between 3 and 5 , where n is the size of under...
The paper studies a general inverse eigenvalue problem which contains as special cases many well studied pole placement and matrix extension problems. It is shown that the studied problem corresponds on the geometric side to a central projection from some projective variety. The degree for this variety is computed in the critical dimension.
In AI approaches to argumentation, different senses of argument are often conflated. We propose a three-level distinction between arguments, cases, and debates. This allows for modularising issues within levels and identifying systematic relations between levels. Arguments, comprised of rules, facts, and a claim, are the basic units; they instantiate argument schemes; they have no sub-arguments...
Recently in these pages appeared a report by Doran and Thomas [2] which gave partially simplified versions of Dekker-like solutions to the two process mutual exclusion problem with busy-waiting. This report presents a truly simple solution to the problem and attempts in a small way to dispel some myths that seem to have arisen concerning the problem. Briefly, the mutual exclusion problem for tw...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید