HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


...
hal-03445804v1  Software
Sébastien Briais, Sid Touati. A C-library for Register Pressure Reduction in Data Dependence Graphs.
2021, ⟨swh:1:dir:0b9ea5cf3f444bf0920d99d5df58af2b6b484133;origin=https://hal.archives-ouvertes.fr/hal-03445804;visit=swh:1:snp:dc58dc9c3866979847adb3ee5202b8e14ac7b9cd;anchor=swh:1:rel:b0827bb530d7e2258121543e63e06de4b2c640c0;path=/⟩
...
hal-03445821v1  Software
Sébastien Briais, Sid Touati. A C-library for Register Saturation Computation
2021, ⟨swh:1:dir:353f14fe73608aeb968e1b7d961293c4292bcc91;origin=https://hal.archives-ouvertes.fr/hal-03445821;visit=swh:1:snp:f19987035256ae2536dabfadf31f38afa689e5d7;anchor=swh:1:rel:20809d0c43faec53646297b5271a12e9beec8f24;path=/⟩
...
hal-03445937v1  Software
Sid Touati. A C++ implementation of a O(n log n) algorithm computing a maximal stable set of an interval graph
2021, ⟨swh:1:dir:95986a410683154bc0c9d55a2331839b74993c3d;origin=https://hal.archives-ouvertes.fr/hal-03445937;visit=swh:1:snp:63bdc74d56c678b7fa433ed87f0a4654050d02a3;anchor=swh:1:rel:9906213d31fdd2ce4d04d281a9b47747038836f1;path=/⟩
...
hal-01847480v1  Notes de synthèse
Lilian Besson. A Note on the Ei Function and a Useful Sum-Inequality
2018
...
hal-02155786v1  Software
Pierre Pradic. A sound and complete axiomatization of the equational theory of Mealy machines.
2019, ⟨swh:1:dir:d26d7ad1514340934a5b546032e21ad2fcc87441;origin=https://hal.archives-ouvertes.fr/hal-02155786;visit=swh:1:snp:88a3a6cafdfd6d842ba0c086187015a1605f0cf0;anchor=swh:1:rev:dacff8b9c3574cd3fcb023c485209c72abd8efef;path=/⟩
...
hal-03024051v2  Software
Srđan Kitić. A-SPADE demo
2015, ⟨swh:1:dir:85323c6f758a43ddb82a43545439266dd9ce1dc4;origin=https://hal.archives-ouvertes.fr/hal-03024051;visit=swh:1:snp:492cb679f2a083f73c02d5a4bba32424c819287d;anchor=swh:1:rev:cf306ec551c699c00dbfd2d9b16dc50d7420215d;path=/⟩
...
hal-02961482v1  Software
Aurel Page. abelianbnf
2020, ⟨swh:1:dir:2028b86e77e21a66f522a8d0e2bcf6c341f6a4b4;origin=https://hal.archives-ouvertes.fr/hal-02961482;visit=swh:1:snp:fcf14abf20c8f027f2e290c472ea9ca7710b4dee;anchor=swh:1:rev:9235b295296670186eeace394da3cbd1abb1f53b;path=/⟩
...
hal-03169377v1  Notes de synthèse
Santiago Bragagnolo, Nicolas Anquetil, Stéphane Ducasse, Abderrahmane Seriai, Mustapha Derras. Appendix To Software Migration: A Theoretical Framework A Grounded Theory approach on Systematic Literature Review
2021
...
hal-02963154v1  Software
Valentin Emiya, Amir Adler, Maria Jafari. Audio Inpainting Toolbox
2012, ⟨swh:1:dir:5a3b0b6734992b1f22b3807d90d8e4f23a8a1134;origin=https://hal.archives-ouvertes.fr/hal-02963154;visit=swh:1:snp:763ff6e890564bc78b23a67d1ea66d25b166c85c;anchor=swh:1:rev:82ecc00368b9e69f694b72ea76b47f7c4a4873fc;path=/⟩
...
hal-03371897v1  Software
Gaetan Bisson, Romain Cosset, Damien Robert. AVIsogenies
2021, ⟨swh:1:dir:05aed8deac96bfb9c122157e4db1d310423c7258;origin=https://hal.archives-ouvertes.fr/hal-03371897;visit=swh:1:snp:57482093ffd15cdb106b284e34b3f7f0813562aa;anchor=swh:1:rev:1f0f6ec99b2c46d1bdf2e1d68aa330d3249f0b1b;path=/⟩
...
hal-02902346v1  Software
Romain Veltz. BifurcationKit.jl
2020, ⟨swh:1:dir:257669cd4bf202bc8393a4efa22bfe5f6f517b03;origin=https://hal.archives-ouvertes.fr/hal-02902346;visit=swh:1:snp:73c1c5e9525b1b9b09b8a79ca056057fcb26b8a9;anchor=swh:1:rev:31bea805201b64435aa28e4d036e156ab189c3d5;path=/⟩
...
hal-03578782v1  Software
Francoise Sailhan, Valerie Issarny, Yifan Du, Otto Tavares Nascimento. CalibrateNoiseTogether
2017, ⟨swh:1:dir:b313f041eb4fef7c2ebeeb01eeaf83bc20088bee;origin=https://hal.archives-ouvertes.fr/hal-03578782;visit=swh:1:snp:39f80d505414e89c6eb19d44eb460055c18c2dcd;anchor=swh:1:rel:b74cf4d57d03e2e36206721714949e5106711235;path=/⟩
...
hal-01863457v1  Software
Bruno Blanchet, Xavier Leroy, Damien Doligez, François Rouaix, Jérôme Vouillon et al.  CamlDim
1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0;origin=https://hal.archives-ouvertes.fr/hal-01863457;visit=swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d;anchor=swh:1:rev:c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d;path=/⟩
...
hal-02960705v1  Software
Cagdas Bilen, Gilles Puy. CBC4CS (Convex Blind Calibration for Compressive Sensing) Toolbox
2013, ⟨swh:1:dir:eddac332b1d60e77d6041a358d6f996a182eee22;origin=https://hal.archives-ouvertes.fr/hal-02960705;visit=swh:1:snp:ad8935e3745a8959fd3aa6b47a9b35efcce1965c;anchor=swh:1:rev:6f777f00b71ace9c14b5eadbaac74262e069f9ee;path=/⟩
...
hal-03345464v1  Software
Jens Gustedt. Code examples for the book Modern C
2021
...
hal-03667186v1  Software
Quoc-Tung Le, Rémi Gribonval, Elisa Riccietti. Code for reproducible research - "Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support
2022, ⟨swh:1:dir:0815e7933349cee2fdef8c7b24ee5c1a29115480;origin=https://hal.archives-ouvertes.fr/hal-03667186;visit=swh:1:snp:0360b8b8bc1de00c2520b7608470a50cd0491851;anchor=swh:1:rel:d2138dc681b43f7a31f9d6a2df9f46b04ed4ee8d;path=/⟩
...
hal-03620052v1  Software
Léon Zheng, Elisa Riccietti, Rémi Gribonval. Code for reproducible research - Efficient Identification of Butterfly Sparse Matrix Factorizations
2022, ⟨swh:1:dir:ed569ed027c484a53ca2d3d32aa6a05c79b50dbd;origin=https://hal.archives-ouvertes.fr/hal-03620052;visit=swh:1:snp:0706d7527a325d7ac8f46744c182056af46b4756;anchor=swh:1:rel:3884bd8154b9879c5743dfd2279d55102b60358c;path=/⟩
...
hal-03552956v1  Software
Léon Zheng, Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval. Code for reproducible research - Fast learning of fast transforms, with guarantees
2022, ⟨swh:1:dir:42d42bf905c9f3bbcd6cf5e1e0cda6be2d0d63de;origin=https://hal.archives-ouvertes.fr/hal-03552956;visit=swh:1:snp:6a2256426a0f3a7491086fbf2da554d7589d1e18;anchor=swh:1:rel:f477382c82ada89647864605ea44b12383c04167;path=/⟩
...
hal-03576498v1  Software
Sibylle Marcotte, Amélie Barbe, Rémi Gribonval, Titouan Vayer, Marc Sebban et al.  Code for reproducible research - Fast Multiscale Diffusion on Graphs
2022
...
hal-03572265v1  Software
Quoc-Tung Le, Rémi Gribonval. Code for the paper "Structured Support Exploration For Multilayer Sparse Matrix Factorization
2022, ⟨swh:1:dir:6794fd3f41d50a4e51e6e7f11ee721efafda9806;origin=https://hal.archives-ouvertes.fr/hal-03572265;visit=swh:1:snp:e5760cb4d925b5f3529486ffde997d8e3e9ea07e;anchor=swh:1:rel:a190fb7ab69d170eede1666e9e3edec33c56224b;path=/⟩
...
hal-02960679v1  Software
Nicolas Tremblay, Gilles Puy, Rémi Gribonval, Pierre Vandergheynst. Compressive Spectral Clustering Toolbox
2016, ⟨swh:1:dir:8bfdf74037ae1c51335995891c6226e0f85e46e2;origin=https://hal.archives-ouvertes.fr/hal-02960679;visit=swh:1:snp:bc4a2ddf84dd0cc13d74e1970a1471c2574ed6aa;anchor=swh:1:rev:4a9d637ba507a2b93365250428e6e3f021f194d0;path=/⟩
...
hal-01831369v2  Software
Thibaut Girka, Yann Régis-Gianas. Correlating Oracles
2018, ⟨swh:1:dir:2c01e745c6d89e0eeb9a6ec9590f7ef0750b7002;origin=https://hal.archives-ouvertes.fr/hal-01831369;visit=swh:1:snp:42f0897956e700a23f5b8aafce43360b8699c0f1;anchor=swh:1:rev:698771f9ca7ce7605fdcabf27b5851f322ea692c;path=/⟩
...
hal-01831364v1  Software
Thibaut Girka. correlating_program
2018, ⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
...
hal-03445736v1  Software
Sid Touati. DDG : A C++ High Level Data Dependence Graph Library
2021, ⟨swh:1:dir:4f3c8565cd0458811546f15c8cdbd45d7b7d5e99;origin=https://hal.archives-ouvertes.fr/hal-03445736;visit=swh:1:snp:02f0329065aa0998f15261721418c6af35ffbf8e;anchor=swh:1:rel:44f40b0bdf1f3004777f705b5beaf0d5b1f8ac43;path=/⟩
...
hal-03445891v1  Software
Sid Touati. Dilworth Decomposition in C++ using the LEDA Graph library
2021, ⟨swh:1:dir:96814a40df85e15f23dec922f30ed0ce5c3f6336;origin=https://hal.archives-ouvertes.fr/hal-03445891;visit=swh:1:snp:a39dbdfa45e4a236e06b22efb7f9495b7b621416;anchor=swh:1:rel:945df584d6c66ea6973544f084124038c4d0a51f;path=/⟩
...
hal-03413044v1  Software
Vera Wesselkamp, Imane Fouad, Arnaud Legout, Nataliia Bielova. Ernie Extension
2021, ⟨swh:1:dir:6cf9d69e8467428628b93fd5e91b2c5f1684e7e7;origin=https://hal.archives-ouvertes.fr/hal-03413044;visit=swh:1:snp:69b5f385b8f53f754ddbc6174b9d6cefc869e8fa;anchor=swh:1:rev:55f6308a857dd97100e4b06a5d6647d5330eadaf;path=/⟩
...
hal-02159005v2  Software
Lionel Eyraud-Dubois, Louis-Claude Canon. Experimental code and data for the paper "Scheduling on Two Types of Resources: a Survey
2019, ⟨swh:1:dir:fe5a230ec88d49ecd9790d2199f23b5c5b72abbe;origin=https://hal.archives-ouvertes.fr/hal-02159005;visit=swh:1:snp:6c6bd2ef190e40d7026749369725dd954c1c75d6;anchor=swh:1:rev:b2af27e129fad7558d725e6b60da7aaea5b0c86f;path=/⟩
...
hal-03643569v1  Software
Olivier Beaumont, Philippe Duchon, Julien Langou, Lionel Eyraud-Dubois, Mathieu Verite. Experimental code and results for the paper "Symmetric Block-Cyclic Distribution: Fewer Communications leads to Faster Dense Cholesky Factorization
2022, ⟨swh:1:dir:c698f3a7e2a1f7c634a8b7eb72c478ebaf28de4c;origin=https://hal.archives-ouvertes.fr/hal-03643569;visit=swh:1:snp:7496c8dd24d10fddde1ed6d60904f47389c711de;anchor=swh:1:rel:3c1b484d6411fe9d80f4801dd9d6b9fadfd6c799;path=/⟩
...
hal-03445991v1  Software
Marouane Belaoucha, Christophe Alias, Denis Barthou, Sid Touati. FADAlib: an open source C++ library for fuzzy array dataflow analysis
2021, ⟨swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https://hal.archives-ouvertes.fr/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=/⟩
...
hal-02906179v1  Software
Bérenger Bramas. Farm-SVE: A scalar C++ implementation of the ARM® Scalable Vector Extension (SVE)
2020, ⟨swh:1:dir:1d1509453950e3569b5f55a6dece1da5eeab9572;origin=https://hal.archives-ouvertes.fr/hal-02906179;visit=swh:1:snp:3506821b2a12082a9bcb490b05b446053c9a940d;anchor=swh:1:rev:7f55f2b6c15d89f826730cf89f500d340d4aefa8;path=/⟩
...
hal-02128878v1  Software
The Fflas-Ffpack Group. FFLAS-FFPACK
2019, ⟨swh:1:dir:6c36b055a48b4415ec5d864f6943f0d3082bd44b;origin=https://hal.archives-ouvertes.fr/hal-02128878;visit=swh:1:snp:508f4adf76ec4ad481e2fbc5fdb312a13a7a0b4b;anchor=swh:1:rev:4201397494d9af8b687117e8ff4d85a8944f5c5a;path=/⟩
...
hal-01767263v1  Software
Yves Bertot. Formal study in Coq of pi computations using arithmetic-geometric means
2018, ⟨swh:1:dir:47d41cb06472ccf913aba4be5b08aeb725a8888d;origin=https://hal.archives-ouvertes.fr/hal-01767263;visit=swh:1:snp:cd55c2657ac70c9b15ae4384b6af1ae6ce8df512;anchor=swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed;path=/⟩
...
hal-02908763v1  Software
Hadrien Renaud. Fut on Flow
2020, ⟨swh:1:dir:409184eb3c27c62e3ff996e1b1a7baf41c5b3153;origin=https://hal.archives-ouvertes.fr/hal-02908763;visit=swh:1:snp:9a972df7a9a7d45584256fc0722e03a27d211154;anchor=swh:1:rev:fc074c0539a309fefc4d51c77f5816bc054a5fd6;path=/⟩
...
hal-02130729v1  Software
The Givaro Group. Givaro
2019, ⟨swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d;origin=https://hal.archives-ouvertes.fr/hal-02130729;visit=swh:1:snp:da818bf8900aa772999896546db83b8e9cbe9f6f;anchor=swh:1:rev:5a63bd17a83030740eb27a980fe14a7a37f47efe;path=/⟩
...
hal-02960713v1  Software
Gilles Puy, Nicolas Tremblay, Rémi Gribonval, Pierre Vandergheynst. GraphSamplingBox
2016, ⟨swh:1:dir:e27b8849b4845e050049b1ceae73520a54a7c9f5;origin=https://hal.archives-ouvertes.fr/hal-02960713;visit=swh:1:snp:834da05eaba8d5fd214a05d722acc017d17826dd;anchor=swh:1:rev:3dc10882e6c8e08939d75c364a99a5b4270992e3;path=/⟩
...
hal-03370296v1  Software
Ulysse Herbach. Harissa: tools for mechanistic gene network inference from single-cell data
2021, ⟨swh:1:dir:a12e221925f0884f70a234c9a02a25545521d099;origin=https://hal.archives-ouvertes.fr/hal-03370296;visit=swh:1:snp:7a981f6f1cd0d276b920f232bbc5d612e245f1d8;anchor=swh:1:rev:29a70ab8d8eadf78863a8b8bd55941b6f840158f;path=/⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/