Accueil > Recherche > Publications > ACM Authorizer links
ACM Authorizer links
vendredi 28 octobre 2011
Efficient and playful tools to teach Unix to new studentsMatthieu Moy
ITiCSE ’11 Proceedings of the 16th annual joint conference on Innovation and technology in computer science education, 2011
ITiCSE ’11 Proceedings of the 16th annual joint conference on Innovation and technology in computer science education, 2011
PinaVM : a systemC front-end based on an executable intermediate representationKevin Marquet, Matthieu Moy
EMSOFT ’10 Proceedings of the tenth ACM international conference on Embedded software,
EMSOFT ’10 Proceedings of the tenth ACM international conference on Embedded software,
Pinapa : an extraction tool for SystemC descriptions of systems-on-a-chipMatthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
EMSOFT ’05 Proceedings of the 5th ACM international conference on Embedded software, 2005
EMSOFT ’05 Proceedings of the 5th ACM international conference on Embedded software, 2005
Email:
Dans la même rubrique
- BibTeX list of Publications
- Habilitation à Diriger des Recherches (HDR)
- ACM Authorizer links
- Thèse d’informatique : Techniques et outils pour la vérification de Systèmes-sur-Puce au niveau transaction
- Ph.D thesis of Computer Science : Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level
| Se connecter |
Plan du site |
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License