Explore projects
-
For the paper Generic algorithms for scheduling applications on hybrid multi-core machines. Contains the source code of algorithms and input data (traces of applications), the tex files of the paper and my M2 internship report.
UpdatedUpdated -
Packaging for Debian of the r CRAN ascii package.
source: https://cran.r-project.org/web/packages/ascii/index.html
Updated -
vidjil / sdsl-lite
OtherUpdatedUpdated -
Material about the Energy vs Responsiveness Trade-off in EASY Back Filling article submitted to Cluster 2017.
Updated -
-
How to reproduce experiments submitted to the 2017 RAPD special isssue of CCPE.
Updated -
Updated
-
Set of Satellite Image Time Series Tools developed in C++ and Python.
Updated -
Artifact repository for the TOPLAS article pertaining to the THEMIS tool.
Updated -
WIDE / Similitude experiments - public
Apache License 2.0Public repository hosting the simulator for the Similitude paper, imported from github on 2018-06-11: https://github.com/plroman/similitude_experiments
Updated -
Updated
-
Updated
-
-
Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.
Updated -
Artifact for the Smart Home case study using THEMIS submitted to RV'18: Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes
Updated -
-
ordo-bdx / io-peak
CeCILL Free Software License Agreement v2.1Estimation of IO peak as a function of average IO load + min size burst buffers
Updated -
Matrix Matrix Multiplication using Static Algorithms on Multicores and GPUs.
Updated -
parallel-replica / QSD.gen.samples
BSD 3-Clause "New" or "Revised" LicenseC++ software for generating configurations of a molecular system (coordinates and velocities) distributed according to the QSD (Quasi Stationary Distribution) within a user defined metastable state.
Updated