Search - Grid'5000 Access content directly

Filter your results

4 Results
Deposit type : Notice

Asynchronous multi-splitting method for linear and pseudo-linear problems

Vincent Partimbene , Thierry Garcia , Pierre Spiteri , Philippe Marthon , Léon Ratsifandrihana
Advances in Engineering Software, 2019, Advances in Engineering Software (ISSN: 0965-9978), 133, pp.76-95. ⟨10.1016/j.advengsoft.2019.03.001⟩
Journal articles hal-02381885v1

Systematic Comparison of Symbolic Execution Systems: Intermediate Representation and its Generation

Sebastian Poeplau , Aurélien Francillon
2019 Annual Computer Security Applications Conference (ACSAC’19), Dec 2019, San Juan, Puerto Rico
Conference papers hal-02305914v1

PGxCorpus, a manually annotated corpus for pharmacogenomics

Joël Legrand , Romain Gogdemir , Cedric Bousquet , Kevin Dalleau , Marie-Dominique Devignes , et al.
Scientific Data , 2020, 7, pp.3. ⟨10.1038/s41597-019-0342-9⟩
Journal articles hal-02547607v1

Fireplug: Efficient and Robust Geo-Replication of Graph Databases

Ray Neiheiser , Luciana Rech , Manuel Bravo , Luis Rodrigues , Miguel Correia
IEEE Transactions on Parallel and Distributed Systems, 2020, 31 (8), pp.1942-1953. ⟨10.1109/TPDS.2020.2981019⟩
Journal articles hal-02868732v1