Explore projects

Project containing the necessary files to set up a NodeRed server for the connected marmot cages.

Projet Tutoré pour le MASTER RIE 2017-2018 1er Année Réalisation d'une application d'echange de messages.

Build image for exist.jmmc.fr

Petits outils autour de la manipulation de fichiers pour le calcul scientifique en sismologie:

reorganization de datasets HDF5 extraction de données brutes stockées sous irods ...

Givaro, a C++ library for computer algebra: exact arithmetic and data structures

Reproduce the experimental results of an article currently under submission

"Assessing Software Abstractions inWCET Analysis of Reactive Programs"

cf http://www-verimag.imag.fr/TR/TR-2018-2.pdf

A Wordpress plugin + reactJS app to display the current statistics of DBnary server.

This project contains the iot-analyzer used to compare different IoT technologies in the paper : [Comparison of the Device Lifetime in Wireless Networks for the Internet of Things]

DecentMon: an OCaml Benchmark for Decentralised Monitoring of LTL Formulae

Indexation des données dans l'archive BUD