Abstract The question of the exact role theology in Schmitt’s political remains undecided. Several authors have raised this and distinct answers been given. In order to reach an accurate representation political–theological dimension work, I will attempt interpretation which takes into account not only more widely known theses, but also perceived esoteric unsaid aspects his work. Against Heinri...

Understanding recolonization processes of intertidal fish assemblages is integral for predicting the consequences of significant natural or anthropogenic impacts on the intertidal zone. Recolonization of experimentally defaunated intertidal rockpools by fishes at Bass Point, New South Wales (NSW), Australia, was assessed quantitatively by using one long-term and two short-term studies. Rockpool...

Various processor allocation strategies have been proposed for scalable parallel computers (SPCs). These strategies try to maximize the overall system utilization and, in the mean time, try to avoid network contention among different processor partitions. This paper provides an intensive simulation study investigating whether contention-free processor allocation strategies are indeed important....

Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the first deterministic specification automata for strict serializability and opacity in STMs. Using an antichain-based tool, we show our deterministic specifications to be equivalent to more intuitive, nondeterministic speci...

This paper presents a fast concurrent binary search tree algorithm. To achieve high performance under contention, the algorithm divides update operations within an eager abstract access that returns rapidly for efficiency reason and a lazy structural adaptation that may be postponed to diminish contention. To achieve high performance under read-only workloads, it features a rebalancing mechanis...