Searched for: subject%3A%22concurrency%22
(1 - 20 of 50)

Pages

document
Chakraborty, S.S. (author), Krishna, Shankara Narayanan (author), Mathur, Umang (author), Pavlogiannis, Andreas (author)
Weak-memory models are standard formal specifications of concurrency across hardware, programming languages, and distributed systems. A fundamental computational problem is consistency testing: is the observed execution of a concurrent program in alignment with the specification of the underlying system? The problem has been studied...
journal article 2024
document
Verkammen, Marnix (author)
With a continuously growing number of satellites in orbit, it becomes increasingly important to assess their impacts on the Earth's environment in a standardised manner. While interest in Life Cycle Assessment (LCA) for space missions has gained in strength in the past few years – particularly in Europe – no consensus has yet been reached on a...
master thesis 2023
document
LIU, ZHIYANG (author)
Atomics is an important primitive for programming languages like C++ to develop concurrent software. Atomic variables, together with weak memory models allow for a bigger space for instruction reordering and compiler optimizations. However, the current compilers like LLVM do not support many transformations of atomics, which may lose chances of...
master thesis 2023
document
Li, Wenkai (author)
Concurrency bugs are easy to introduce but dif- ficult to detect, especially in implementations of distributed algorithms where concurrency non- determinism is an inherent problem. These bugs may only be identified under very specific order- ings of execution events, making them challenging to reproduce. Controlled concurrency testing tech-...
bachelor thesis 2023
document
Petrov, Martin (author)
Consensus algorithms, as well as distributed systems in general, are vulnerable to concurrency bugs due to non-determinism. Such bugs are hard to detect since it is necessary to test using a lot of different scenarios and even then, there is no guarantee to find one. <br/><br/>Controlled concurrency testing is a proposed solution to that problem...
bachelor thesis 2023
document
de Bruin, Just (author)
This thesis explores the potential of difference and disruption as a productive ground for approaching gentrification in London. Multiple forces are driving the process of gentrification, the focus lies on the aspect of postmodern consumerism. A cultural change in which the individual, through a variety of choices, can meticulously stage their...
master thesis 2023
document
van den Berg, Rob (author)
The problem of finding a target and forming a path to it is known and is well-explored in the field of swarm robotics. Using swarm intelligence, even swarms of simple robots are capable of solving this problem. However, often these works assume that two robots can perceive each other can physically reach each other, or that robots can detect any...
master thesis 2023
document
Rocha, I.B.C.M. (author), Kerfriden, P. (author), van der Meer, F.P. (author)
In this work we present a hybrid physics-based and data-driven learning approach to construct surrogate models for concurrent multiscale simulations of complex material behavior. We start from robust but inflexible physics-based constitutive models and increase their expressivity by allowing a subset of their material parameters to change in...
journal article 2023
document
Tunç, Hünkar Can (author), Abdulla, Parosh Aziz (author), Chakraborty, S.S. (author), Krishna, Shankaranarayanan (author), Mathur, Umang (author), Pavlogiannis, Andreas (author)
Over the years, several memory models have been proposed to capture the subtle concurrency semantics of C/C++. One of the most fundamental problems associated with a memory model M is consistency checking: given an execution X, is X consistent with M? This problem lies at the heart of numerous applications, including specification testing and...
journal article 2023
document
Gao, Mingyu (author), Chakraborty, S.S. (author), Kulahcioglu Ozkan, Burcu (author)
The Probabilistic Concurrency Testing (PCT) algorithm that provides theoretical guarantees on the probability of detecting concurrency bugs does not apply to weak memory programs. The PCT algorithm builds on the interleaving semantics of sequential consistency, which does not hold for weak memory concurrency. It is because weak memory...
conference paper 2023
document
van Meerten, M.C. (author), Kulahcioglu Ozkan, Burcu (author), Panichella, A. (author)
Blockchain systems are prone to concurrency bugs due to the nondeterminism in the delivery order of messages between the distributed nodes. These bugs are hard to detect since they can only be triggered by a specific order or timing of concurrent events in the execution. <br/>Systematic concurrency testing techniques, which explore all possible...
conference paper 2023
document
van den Ham, Pieter (author)
Computer architectures with weak memory models, such as ARMv8 and ARMv7, allow memory accesses to be reordered in many situations.<br/>Therefore, weak memory models may cause a program to exhibit more behavior than a strong memory model, such as x86.<br/>Fency is a static analysis tool that inserts memory fences to ensure that a program exhibits...
master thesis 2022
document
Gao, Mingyu (author)
The Probabilistic Concurrency Testing (PCT) algorithm provides theoretical guarantees for the probability of detecting concurrency bugs in a sequential consistency memory model, but its theoretical guarantees do not apply to weak memory concurrency. The weak memory concurrency refers to the modern compiler’s optimization that relaxes the...
master thesis 2022
document
van Meerten, Martijn (author)
Distributed concurrency bugs (DC bugs) are bugs that are triggered by a specific order of events in distributed systems. Traditional model checkers systematically or randomly test interleavings but suffer from the state-space explosion in long executions. This thesis presents DiscoTest, a testing tool for DC bugs in blockchain consensus...
master thesis 2022
document
Janssen, Martijn (author)
Thread pools, integrated in programming languages, packages and dependencies are widely used by developers. Thread pools assume they are running alone on the system, which is not always the case. Previous research has shown that adapting thread pool size has been effective under specific conditions. In this research, scaling the thread pool with...
master thesis 2022
document
Schifferstein, Michelle (author)
The formal verification of concurrent programs is of particular importance, because concurrent programs are notoriously difficult to test. Because Haskell is a purely functional language, it is relatively easy to reason about the correctness of such programs and write down manual proofs. However, since these methods are still prone to error,...
bachelor thesis 2022
document
Zhilyaev, D. (author), Binnekamp, R. (author), Wolfert, A.R.M. (author)
Within traditional design processes, decisions are often made based on individualistic values and late-stage assessments conducted on a predefined set of design alternatives potentially leading to suboptimal design decisions and conflicts. The issues are further amplified by the growing complexity of construction project management where an...
journal article 2022
document
Alves Maia, M. (author), Rocha, I.B.C.M. (author), van der Meer, F.P. (author)
In a concurrent (FE2) multiscale modeling is an increasingly popular approach for modeling complex materials. As such, it is especially suited for modeling composites, as their complex microstructure can be explicitly modeled and nested to each integration point of the macroscale. However, this generality is often associated with exceedingly...
conference paper 2022
document
le Poole, J.J. (author), Duchateau, E.A.E. (author), Hopman, J.J. (author), Kana, A.A. (author)
The development of concept designs during early warship design stages is essential to inform stakeholder dialogues on technical feasibility, affordability, and risk. One of the key aspects of warship concept designs is the layout of systems in the overall arrangement. The adoption of real-time design processes, such as concurrent design, require...
journal article 2022
document
Trobinger, Matteo (author), de Albuquerque Gleizer, G. (author), Istomin, Timofei (author), Mazo, M. (author), Murphy, Amy L. (author), Picco, Gian Pietro (author)
Event-triggered control (ETC) holds the potential to significantly improve the efficiency of wireless networked control systems. Unfortunately, its real-world impact has hitherto been hampered by the lack of a network stack able to transfer its benefits from theory to practice specifically by supporting the latency and reliability...
journal article 2022
Searched for: subject%3A%22concurrency%22
(1 - 20 of 50)

Pages