Contact
Research
Teaching
Tools
Personal
Search:
Publications
Jobs/Internships
Projects
Students/Post-docs
Talks
Tools
Matthieu Moy
Home
>
Research
>
Publications
>
ACM Authorizer links
ACM Authorizer links
Friday 28 October 2011
Efficient and playful tools to teach Unix to new students
Matthieu Moy
ITiCSE ’11 Proceedings of the 16th annual joint conference on Innovation and technology in computer science education, 2011
frames are not supported
PinaVM: a systemC front-end based on an executable intermediate representation
Kevin Marquet
,
Matthieu Moy
EMSOFT ’10 Proceedings of the tenth ACM international conference on Embedded software,
frames are not supported
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
Matthieu Moy
,
Florence Maraninchi
,
Laurent Maillet-Contoz
EMSOFT ’05 Proceedings of the 5th ACM international conference on Embedded software, 2005
frames are not supported
Email:
Also in this section
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
Language:
Français
/
English
|
Log in
|
Site Map
|
RSS 2.0
Graphic design (c)
styleshout
under License
Creative Commons Attribution 2.5 License