Publications
Chosen filters:
Chosen filters:
Partner age differences and concurrency in South Africa Institute of Tropical Medicine
Partner-age difference is an HIV-risk factor among young women in Africa, but the underlying mechanisms are poorly understood. We used nationally representative data among black South Africans (men: 3,530; women: 3,946) to examine the proportion of women in partnerships involving male partner concurrency by age of female partners and by age-disparate (≥5 years) partnerships. Of all partners reported by men, 35 % of young (16-24) women were in ...
Introducing concurrency in policy-based access control KU Leuven
Policy-based access control aims to decouple access control rules from the application they constrain by expressing these rules in declarative access control policies. Performance of policy-based access control is of growing importance, but concurrent and distributed policy evaluation has received little research attention and current policy evaluation engines are still single-machine and fully sequential to the best of our knowledge. We believe ...
Applying a metadata level for concurrency in wireless sensor networks KU Leuven
Achieving a clean separation of concerns is a well known approach to improving system adaptability and evolution. We propose to apply this principle to run-time reconfigurable component models for networked embedded systems. By separating configuration properties from runtime component instances, we achieve: (i) improved support for concurrent component use, (ii) optimized resource use, and (iii) reduced effort in runtime configuration ...
Expressive modular fine-grained concurrency specification KU Leuven
Compared to coarse-grained external synchronization of operations on data structures shared between concurrent threads, fine-grained, internal synchronization can offer stronger progress guarantees and better performance. However, fully specifying operations that perform internal synchronization modularly is a hard, open problem. The state of the art approaches, based on linearizability or on concurrent abstract predicates, have important ...
Expressive modular fine-grained concurrency specification KU Leuven
Compared to coarse-grained external synchronization ofoperations on data structures shared between concurrentthreads, fine-grained, internal synchronization can offerstronger progress guarantees and better performance. However,fully specifying operations that perform internalsynchronization modularly is a hard, open problem. The state ofthe art approaches, based on linearizability or on concurrentabstract predicates, have important limitations ...
Concurrency and the limited effectiveness of behavioural interventions on sexual risk behaviour of youth in sub-Saharan Africa KU Leuven Ghent University
Detecting Concurrency Bugs in Higher-Order Programs through Abstract Interpretation Vrije Universiteit Brussel
Manually detecting bugs in concurrent programs is hard due to the myriad of
thread interleavings that needs to be accounted for. Higher-order programming
features only exacerbate this difficulty. The need for tool support therefore
increases as these features become more widespread. We investigate the \PCESK
abstract machine as the foundation for tool support for detecting concurrency
bugs. This abstract ...
thread interleavings that needs to be accounted for. Higher-order programming
features only exacerbate this difficulty. The need for tool support therefore
increases as these features become more widespread. We investigate the \PCESK
abstract machine as the foundation for tool support for detecting concurrency
bugs. This abstract ...
Concurrency relations of digital planes Ghent University
In this paper we examine concurrency relations between planes whose position is not precisely known. The simplest case consists of four planes, where we have to determine whether the four planes can be forced to pass through one common intersection point by moving them slightly within specified limits. We prove that if such a concurrency relation is possible then it can be found in a finite number of steps by a simple geometrical construction. ...