Projects
Concurrency in a machine model supporting multi-dimensional separation of concerns. University of Antwerp
Virtual Machine Support for Many-Core Architectures: Decoupling Abstract From Concrete Concurrency Models Vrije Universiteit Brussel
concurrency to utilize available computational power. Today's
high-level language virtual machines (VMs),
which are a cornerstone of software development, do not
provide sufficient abstraction. Furthermore, they do not account for the
drastic changes of the design of many-core memory architectures.
To overcome this shortcoming, ...
Mechanized verification of liveness properties of concurrent, imperative programs KU Leuven
Many tools and techniques exist for formal verification of imperative programs. However, for most of them, there is significant room for human error, both in applying the tools and in building the tools. This reduces the reliability of the results. Mechanized verification aims to address this issue by reducing the trusted computing base of a verification technique to a small kernel. It is well-vetted, has explicit and clearly defined ...
Between-day reliability and concurrent validity of outcome measures for pain in persons with multiple sclerosis Hasselt University
Elucidation of the molecular mechanisms by which the phytohormone jasmonate triggers the concurrent remodeling of the plant endoplasmic reticulum and reprogramming of plant metabolism. Ghent University
Plants synthesize thousands of metabolites, including bioactive specialized metabolites that serve plant survival and are employed in various human applications Our current understanding of plant specialized metabolism and its organisation is still restricted, by which this rich resource of natural products is still largely untapped Two aspects can be considered key First, plants respond quickly to developmental and environmental signals, ...
Understanding Concurrent Transmission: a Generic Platform for Complex IoT Applications KU Leuven
Current resource-constrained, low-rate wireless networks face prohibitive latency: they lack support for the sub-millisecond, multi-hop interactions between densely deployed distributed sensors and actuators that would enable or greatly benefit envisioned cyber-physical applications, such as real-time feedback control and privacy-preserving distributed inference. This dissertation argues that that gap might be overcome by re-thinking how ...
Concurrent design of control, embedded hardware and software for mechatronic and cyber-physical systems (CSE_codesign_ICON). University of Antwerp
Concurrent design of control, embedded hardware and software for mechatronic and cyber-physical systems (CSE_codesign_ICON). University of Antwerp
Concurrent Fe & Al2O3 recovery from Bauxite Residue KU Leuven
Utilization of bauxite residue (BR) is essential for controlling the annual million metric tons that are the result of the alumina and aluminium production process. This is investigating the potential of a sustainable thermal treatment of BR for iron (Fe) and alumina (Al2O3) recovery. The addition of fluxes like Sodium Borate (Na2B4O7) or Calcium Borate (Ca3(BO3)2) and carbonaceous material will be studied in detail to evaluate their effect ...