We propose a new classification for evaluating the strength of shared objects. The classification is based on finding, for each object of type o, the strongest progress condition for which it is possible to solve consensus for any number of processes, using any number of objects of type o and atomic registers. We use the strongest progress condition to associate with each object a number call t...

We study the expressive power of Alternating Parity Krivine Automata (APKA), which provide operational semantics to Higher-Order Modal Fixpoint Logic (HFL). APKA consist of ordinary parity automata extended by a variation of the Krivine Abstract Machine. We show that the number and parity of priorities available to an APKA form a proper hierarchy of expressive power as in the modal μ-calculus. ...

In newly formed groups, informal hierarchies emerge automatically and readily. In this study, we argue that emergent group hierarchies enhance group performance (Hypothesis 1) and we assume that the more the power hierarchy within a group corresponds to the task-competence differences of the individual group members, the better the group performs (Hypothesis 2). Twelve three-person groups and 2...

This article studies emotional divorce and the sociological factors effective on it in the city of Tehran. The statistical population of the research includes all the families residing in the city of Tehran and the sampling methodology is two-stage random and cluster sampling method. The theoretical framework of the research is a combination of the theory of structural functionalism and the the...

A key aspect of framing cloud datacenters Service Level Agreements is the derivation of downtime probability distribution function of a set of provisioned servers over a service window. This is further complicated by the hierarchy of power, network and server domains within any datacenter. This hierarchy adds significant complexity in the estimation of transient distributions. The process of fa...

The method of building a network of natural terms hierarchy is proposed which may be regarded as "quasiontology", i.e. the basis for corresponding terminological ontology formation. Natural terms hierarchy network of is based on «significantly informative» text elements, the reference words and phrases. The methodology to identify such terms is given in [1, 2]. The use of such elements can form...

We examine how a d-dimensional mass hierarchy can be generated from a d+1-dimensional set up. We consider a d+1–dimensional scalar, the hierarchon, which has a potential as in gauged supergravities. We find that when it is in its minimum, there exist solutions of Hořava-Witten topology R × S/Z with domain walls at the fixed points and anti-de Sitter geometry in the bulk. We show that while stan...

In this paper, we will propose several different data and instruction cache configurations and analyze their power as well as performance implications on the processor. Unlike most existing work in low power microprocessor design, we explore a high performance processor with the latest innovations for performance. Using a detailed, architectural-level simulator, we evaluate full system performa...