Although shared memory programming models show good programmability compared to message passing programming models, their implementation by page-based software distributed shared m...
Peer-to-peer (P2P) file sharing has become increasingly popular, accounting for as much as 70% of Internet traffic by some estimates. Recently, we have been witnessing the emergen...
This paper presents a method to register a preoperative CT volume to a sparse set of intraoperative US slices. In the context of percutaneous renal puncture, the aim is to transfer...
Antoine Leroy, Pierre Mozer, Yohan Payan, Jocelyne...
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...