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:19] – [Research activity] emmanuel | research [2025/06/30 13:57] (current) – [Research activity] mine | ||
---|---|---|---|
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 Consolidator | + | * ERC project [[https://perso.lip6.fr/Antoine.Mine/ |
- | * Systematic project LCHIP (2017-2020) | + | * Systematic project LCHIP (2017-20) |
- | * ANR project [[http:// | + | |
- | * ITEA3 project [[https:// | + | |
* PEPS APRES (2017) | * PEPS APRES (2017) | ||
- | * PEPS GraphGPU (2016-2017) | + | * PEPS GraphGPU (2016-17) |
- | * Systematic project UCF (2014-2017) | + | * GDRI [[http:// |
- | * ANR network CHRONOS (2014-2016) | + | * ANR project [[http:// |
- | * ANR project [[http:// | + | * ANR project [[http:// |
- | * ANR project [[http://www-apr.lip6.fr/ | + | * ITEA3 project [[http:// |
+ | |||
+ | |||
+ | * SU-FAPERJ project PSwmsGpu (2015-16) | ||
+ | * Systematic project UCF (2014-17) | ||
+ | * ANR network CHRONOS (2014-16) | ||
+ | * ANR project [[http:// | ||
+ | * 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 59: | 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 70: | Line 75: | ||
< | < | ||
- | * [[http://www-apr.lip6.fr/ | + | * [[https://apr.team.lip6.fr/attic/ |
- | * [[http:// | + | * [[http:// |
- | * [[https:// | + | * [[https:// |
* [[http:// | * [[http:// | ||
Line 81: | Line 86: | ||
< | < | ||
- | * May 2016: [[http://www-apr.lip6.fr/ | + | |
- | * June 2014 : [[http://www-apr.lip6.fr/ | + | * June 2023: [[apr: |
- | * June 2013 : [[http://www-apr.lip6.fr/ | + | * June 2022: [[https:// |
- | * Feb 2012 [[http://www-apr.lip6.fr/ | + | * July 2019: [[apr: |
- | * June 2010 [[http://www-apr.lip6.fr/ | + | * 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/ | ||
------------- | ------------- |
research.1514978383.txt.gz · Last modified: by emmanuel