Zobrazeno 1 - 10
of 185
pro vyhledávání: '"Hesselink, Wim H."'
Sponges were recently proposed as a generalization of lattices, focussing on joins/meets of sets, while letting go of associativity/transitivity. In this work we provide tools for characterizing and constructing sponges on metric spaces and groups. T
Externí odkaz:
http://arxiv.org/abs/1804.07281
Publikováno v:
In Indagationes Mathematicae March 2019 30(2):265-287
Autor:
Hesselink, Wim H.
Resource allocation is the problem that a process may enter a critical section CS of its code only when its resource requirements are not in conflict with those of other processes in their critical sections. For each execution of CS, these requiremen
Externí odkaz:
http://arxiv.org/abs/1204.6170
Autor:
Hesselink, Wim H.
Partial mutual exclusion is the drinking philosophers problem for complete graphs. It is the problem that a process may enter a critical section CS of its code only when some finite set nbh of other processes are not in their critical sections. For e
Externí odkaz:
http://arxiv.org/abs/1111.5775
Publikováno v:
Distributed Computing 17 (2005) 21-42
We present an efficient lock-free algorithm for parallel accessible hash tables with open addressing, which promises more robust performance and reliability than conventional lock-based implementations. ``Lock-free'' means that it is guaranteed that
Externí odkaz:
http://arxiv.org/abs/cs/0303011
Autor:
Hesselink, Wim H.
Publikováno v:
ACM Trans. on Computational Logic 6 (2005) 175-201.
Simulations of specifications are introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. A specification implements another specification if and onl
Externí odkaz:
http://arxiv.org/abs/cs/0207095