posters
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
posters [2014/08/19 15:15] emmanuel |
posters [2022/06/19 23:13] (current) emmanuel |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Posters of Team APR ====== | ====== Posters of Team APR ====== | ||
| + | * Loïc Sylvestre - FCCM 2022 | ||
| + | * A Virtual Machine Approach for High-level FPGA Programming ([[apr>posters/Loic_Sylvestre--FCCM2022.pdf|PDF]]) | ||
| + | * Antoine Genitrini - HCERES LIP6 2018-01 : | ||
| + | * Etude quantitative et exploration statistique des processus concurrents ([[apr>posters/Antoine_Genitrini--hceres2018.pdf|PDF]]) | ||
| + | * Mathias Bourgoin - GDR GPL 2014-05 : | ||
| + | * High Performance Web-Cient Programming with SPOC ([[apr>posters/Mathias_Bourgoin--gdrgpl--0514.pdf|PDF]]) | ||
| + | * Etienne Millon - GDR GPL 2014-05 : | ||
| + | * Verify the Safety of User Pointers Using Static Typing ([[apr>posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]]) | ||
| + | * Jérémie Salvucci - GDR GPL 2013-04 : | ||
| + | * Memory Consumption Analysis ([[apr>posters/Jeremie_Salvucci--gdrgpl--0413.pdf|PDF]]) | ||
| + | * Benjamin Canou - AERES LIP6 2013-01 : | ||
| + | * A declarative-friendly API for Web document manipulation ([[apr>posters/Benjamin_Canou--aereslip6.pdf|PDF]]) | ||
| + | * Philippe Wang - AERES LIP6 2013-01 : | ||
| + | * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]]) | ||
| + | * Alexis Darrasse - FPSAC 2008 | ||
| + | * Distances in random Apollonian network structures ([[apr>posters/Alexis_Darrasse--FPSAC2008.pdf|PDF]]) | ||
| + | |||
| - | * Etienne Millon - GDR GPL 2014/05 : Safety-critical Software Development Tools Implementation Using an Applicative Language ([[http://www-apr.lip6.fr/posters/Etienne_Millon--gdrgpl--0514.pdf]]) | ||
| - | * Philippe Wang - AERES LIP6 2013/01 : | ||
posters.1408454130.txt.gz · Last modified: 2014/08/19 15:15 by emmanuel
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
