research
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| research [2018/01/03 12:33] – [Research activity] emmanuel | research [2026/06/15 08:14] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 11: | Line 11: | ||
| - Algorithms and Languages for Multicore Processors | - Algorithms and Languages for Multicore Processors | ||
| - | < | + | < |
| In the APR team, we develop combinatorial me- thods for analysing the performances of algorithms and randomly sampling complex structures. Our methods allow to quantify the complexity of algorithms and efficiently generate combinatorial objects. Our research both aims at extending the expressiveness of the models, and adapting the methods to real application domains : information retrieval in massive data, robustness tests or software validation, modeling of graphs, quantita- tive study of concurrency. We lead several ambitious projects such as non-uniform sampling, sampling with multi-parameter specifications, | In the APR team, we develop combinatorial me- thods for analysing the performances of algorithms and randomly sampling complex structures. Our methods allow to quantify the complexity of algorithms and efficiently generate combinatorial objects. Our research both aims at extending the expressiveness of the models, and adapting the methods to real application domains : information retrieval in massive data, robustness tests or software validation, modeling of graphs, quantita- tive study of concurrency. We lead several ambitious projects such as non-uniform sampling, sampling with multi-parameter specifications, | ||
| Line 38: | Line 38: | ||
| < | < | ||
| - | * ERC project [[https://www-apr.lip6.fr/~mine/ | + | * ERC project [[https://perso.lip6.fr/Antoine.Mine/ |
| * Systematic project LCHIP (2017-20) | * Systematic project LCHIP (2017-20) | ||
| * PEPS APRES (2017) | * PEPS APRES (2017) | ||
| Line 52: | Line 52: | ||
| * ANR network CHRONOS (2014-16) | * ANR network CHRONOS (2014-16) | ||
| * ANR project [[http:// | * ANR project [[http:// | ||
| - | * ANR project [[http://www-apr.lip6.fr/ | + | * ANR project [[https://apr.team.lip6.fr/attic/ |
| * ANR project [[http:// | * ANR project [[http:// | ||
| * Systematic project [[http:// | * Systematic project [[http:// | ||
| - | * ANR project [[http://www-apr.lip6.fr/ | + | * ANR project [[https://apr.team.lip6.fr/attic/ |
| * System@tic project [[http:// | * System@tic project [[http:// | ||
| * PEPS project STOCHASFLIP (2008-10) | * PEPS project STOCHASFLIP (2008-10) | ||
| Line 64: | Line 64: | ||
| < | < | ||
| - | * PART (2017-) : Conception d' | + | * PART (2017-) : Conception d' |
| * LinkThreads (2014-) : Link flow analysis of dynamic graphs from traces of multithreaded programs | * LinkThreads (2014-) : Link flow analysis of dynamic graphs from traces of multithreaded programs | ||
| * Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual | * Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual | ||
| Line 75: | Line 75: | ||
| < | < | ||
| - | * [[http://www-apr.lip6.fr/ | + | * [[https://apr.team.lip6.fr/attic/ |
| - | * [[http://www-apr.lip6.fr/ | + | * [[http:// |
| - | * [[https:// | + | * [[https:// |
| * [[http:// | * [[http:// | ||
| Line 86: | Line 86: | ||
| < | < | ||
| - | * May 2016: [[http://www-apr.lip6.fr/ | + | |
| - | * June 2014 : [[http://www-apr.lip6.fr/ | + | * June 2025: [[apr: |
| - | * June 2013 : [[http://www-apr.lip6.fr/ | + | * Mai 2024: [[apr: |
| - | * Feb 2012 [[http://www-apr.lip6.fr/ | + | * June 2023: [[apr: |
| - | * June 2010 [[http://www-apr.lip6.fr/ | + | * June 2022: [[https:// |
| + | * July 2019: [[apr: | ||
| + | * June 2018: [[https:// | ||
| + | | ||
| + | * June 2014 : [[https://apr.team.lip6.fr/attic/ | ||
| + | * June 2013 : [[https://apr.team.lip6.fr/attic/ | ||
| + | * Feb 2012 [[https://apr.team.lip6.fr/attic/ | ||
| + | * June 2010 [[https://apr.team.lip6.fr/attic/ | ||
| ------------- | ------------- | ||
| Line 96: | Line 103: | ||
| < | < | ||
| + | |||
research.1514979239.txt.gz · Last modified: by emmanuel
