- 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
-
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 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
-
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
-
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
-
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
- document
-
Hinrichsen, Jonas Kastberg (author), Bengtson, Jesper (author), Krebbers, R.J. (author)Message passing is a useful abstraction for implementing concurrent programs. For real-world systems, however, it is often combined with other programming and concurrency paradigms, such as higher-order functions, mutable state, shared-memory concurrency, and locks. We present Actris: a logic for proving functional correctness of programs...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
-
Tavera Diaz, Daniela (author)Nowadays, one of the main requirements from civil engineering structures is the level of reliability and safety that they must provide to the users. In structural analysis, the exponential application of numerical methods, as the nonlinear finite element analysis (NLFEA), is due to the increasing growth of computational power. These powerful...master thesis 2021
- document
-
Timm, Jannes (author)Thread pools are a pervasive building block for concurrent applications, but their optimal size is often tedious to determine or it changes during execution. Many modern systems use dedicated thread pools for operations that are restricted to a specific resource (e.g IO-bound), their performance can be correlated to OS metrics such as disk...master thesis 2021
- document
-
Chakraborty, S.S. (author)Robustness of a concurrent program ensures that its behaviors on a weak concurrency model are indistinguishable from those on a stronger model. Enforcing robustness is particularly useful when porting or migrating applications between architectures. Existing tools mostly focus on ensuring sequential consistency (SC) robustness which is a...conference paper 2021
- document
-
Frumin, Dan (author), Krebbers, R.J. (author), Birkedal, Lars (author)Non-interference is a program property that ensures the absence of information leaks. In the context of programming languages, there exist two common approaches for establishing non-interference: type systems and program logics. Type systems provide strong automation (by means of type checking), but they are inherently restrictive in the kind...conference paper 2021
- document
-
Rocha, I.B.C.M. (author), Kerfriden, P. (author), van der Meer, F.P. (author)Concurrent multiscale finite element analysis (FE<sup>2</sup>) is a powerful approach for high-fidelity modeling of materials for which a suitable macroscopic constitutive model is not available. However, the extreme computational effort associated with computing a nested micromodel at every macroscopic integration point makes FE<sup>2</sup>...journal article 2021
- document
-
Hinrichsen, Jonas Kastberg (author), Louwrink, Daniël (author), Krebbers, R.J. (author), Bengtson, Jesper (author)Session types- A family of type systems for message-passing concurrency-have been subject to many extensions, where each extension comes with a separate proof of type safety. These extensions cannot be readily combined, and their proofs of type safety are generally not machine checked, making their correctness less trustworthy. We overcome...conference paper 2021
- document
-
Li, Martin (author), Wang, Wang Hao (author), van Rijn, Cas (author), Lee, Quentin (author)Recent times once more informed us on the relevance of capable online collaborative tools. For our online collaborative XML editor, we have looked into technologies for constrained block editing which, obeying schemas such as with XML, permit on- and offline users or agents to add, delete, copy, move, split and merge blocks of text. To that end,...bachelor thesis 2020