نتایج جستجو برای: generalized mutual exclusion constraint gmec

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

2015
Shanmugarajan Krishnan Emese Szabo Isabel Burghardt Karl Frei Ghazaleh Tabatabai Michael Weller

Glioblastoma are among the most angiogenic tumors. The molecular mechanisms that control blood vessel formation by endothelial cells (EC) in glioblastoma remain incompletely understood. Transforming growth factor-β (TGF-β) is a key regulatory cytokine that has proinvasive and stemness-maintaining autocrine properties in glioblastoma and confers immunosuppression to the tumor microenvironment. H...

2012
Aasim Khurshid Tabassam Nawaz M. Younas Javed Aamir Khan Farman Ullah

Multiprocessing systems are programmed cleanly using Critical sections. When a process desires to access some shared data it first gets mutual exclusive access to critical sections for reliable outcome as processes may possibly manipulate the data. This paper presents an algorithm that can solve the problem in single processing, multiprocessing and distributed systems efficiently with minimal c...

1998
Shaz Qadeer

We present a detailed description of a machine-assisted veriication of an algorithm for self-stabilizing mutual exclusion that is due to Dijkstra Dij74]. This veriication was constructed using PVS. We compare the mechanical veriication to the informal proof sketch on which it is based. This comparison yields several observations regarding the challenges of formalizing and mechanically verifying...

2002
Hirotsugu Kakugawa Masafumi Yamashita

A self-stabilizing system is a system such that it autonomously converges to a legitimate system state, regardless of the initial system state. The local mutual exclusion problem is the problem of guaranteeing that no two processes neighboring each other execute their critical sections at a time. The process identifiers are said to be chromatic if no two processes neighboring each other have th...

2001
João Araújo Ana Moreira

UML is a standard modelling language that is able to specify a wide range of object-oriented concepts. However, there are some aspects that UML does not fully discuss. For example, UML has no mechanism to prevent the specification, for semantic reasons, of undesirable relationships. With the fast evolution of the requirements of our nowadays applications we cannot simply rely on omitting what w...

2008
Robert Meolic Tatjana Kapus Bogdan Dugonik Zmago Brezočnik

Distributed mutual-exclusion (DME) circuits are an interesting example of asynchronous circuits. They are composed of identical DME cells connected in a ring of arbitrary size. Each DME cell provides a connection point for one user, and all users compete for exclusive access to a shared resource. This paper reports about formal verification of two well-known DME circuit implementations. Externa...

2017
A. Griffault G. Point

4 Checking the model 6 4.1 Validation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 4.2 Mutual exclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 4.3 Liveness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 4.4 Freedom from starvation . . . . . . . . . . . . . . . . . . . . . . . 8 4.5 Results . . . . . . . . . . . . . . . . . . . . . . . . . ....

1999
Kuen-Pin Wu Yuh-Jzer Joung

The design issues for group mutual exclusion have been modeled by Joung as the Congenial Talking Philosophers, and solutions for shared-memory models and complete message-passing networks have been proposed [2, 3]. These solutions, however, cannot be straightforwardly and efficiently converted to ring networks where each philosopher can only communicate directly with its two neighboring philoso...

2007
Yixin Chen Zhao Xing Weixiong Zhang

The use of mutual exclusion (mutex) has led to significant advances in propositional planning. However, previous mutex can only detect pairs of actions or facts that cannot be arranged at the same time step. In this paper, we introduce a new class of constraints that significantly generalizes mutex and can be efficiently computed. The proposed long-distance mutual exclusion (londex) can capture...

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

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