This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
research [2018/01/03 16:50] emmanuel [Research activity] |
research [2018/01/03 19:42] emmanuel [Research activity] |
||
---|---|---|---|
Line 64: | Line 64: | ||
<html><h3>LIP6 Projects</h3></html> | <html><h3>LIP6 Projects</h3></html> | ||
- | * PART (2017-) : Conception d'algorithmes de tracking efficace sur architectures hétérogène | + | * PART (2017-) : Conception d'algorithmes de tracking efficace sur architectures hétérogène (with ALSOC) |
* LinkThreads (2014-) : Link flow analysis of dynamic graphs from traces of multithreaded programs (with Complex networks and MOVE) | * LinkThreads (2014-) : Link flow analysis of dynamic graphs from traces of multithreaded programs (with Complex networks and MOVE) | ||
* Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual machine (with REGAL) | * Z3 (2010-12): Implantation of the ZAM functional machine in the VMkit virtual machine (with REGAL) |