Centre de recherche en informatique

Mathématiques et systèmes




2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000
1999   1998   1997   1996   1995   1994   1993   1992   1991   1990   1989   1988   1987   1986   1985   1983   1979  

2017

Articles publies - Articles soumis - Autres articles et rapports techniques - Rapports internes


Articles publiés :

A/657/CRI :

jsCoq: Towards Hybrid Theorem Proving Interfaces
IN: the 12th Workshop on User Interfaces for Theorem Provers (UITP 2016)
2nd July 2016 - Coimbra, Portugal
Published in : EPTCS (Electronic Proceedings in Theoretical Computer Science) 239, 2017, pp. 15-27
DOI = http://dx.doi.org/10.4204/EPTCS.239.2
ARXIV = https://arxiv.org/abs/1701.07125
HAL = hal-01425752, v2
Emilio Jesús Gallego Arias (MINES ParisTech PSL, CRI), Benoît Pin (MINES ParisTech PSL, CRI), Pierre Jouvelot (MINES ParisTech PSL, CRI) ;;

A/649/CRI :

More Data Locality for Static Control Programs on NUMA Architectures
IN: 7th International Workshop on Polyhedral Compilation Techniques (IMPACT 2017)
23-25 Janvier 2017 - Stockholm, Sweden
Adilla Susungi (CRI, MINES ParisTech, PSL Research University), Albert Cohen (INRIA and DI, École Normale Supérieure), Claude Tadonki (CRI, MINES ParisTech, PSL Research University)

Articles soumis :

Autres articles et rapports techniques :

Rapports internes :

E/415/CRI :

Setting up an Operational Academic HPC Pole
Rapport
Claude Tadonki (Mines ParisTech CRI - PSL Research University)