Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
In this paper, we present HirondML, an Objective Caml library implementing migrating threads. Our library is based on a simplified implementation of the Fair Threads, a reactive t...
Emmanuel Chailloux, Vivien Ravet, Julien Verlaguet
: Software applications interoperability is a challenge for modern enterprises. It needs establishing standards and protocols for data exchange between different enterprise systems...
— In this paper, the problem of distributed neutralization of toxic 2D diffusion process is discussed. The diffusion process is modelled by a parabolic PDE system. A group of mob...
Global variable promotion, i.e. allocating unaliased globals to registers, can significantly reduce the number of memory operations. This results in reduced cache activity and less...