Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Moy, Matthieu - Laboratoire VERIMAG, ENSIMAG
Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions
Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip
PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation
Modeling of Time in Discrete-Event Simulation of Systems-on-Chip Giovanni Funchal, Matthieu Moy
ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre
Electronic Communications of the EASST Volume ? (2009)
LusSy: an open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level
PINAPA: An Extraction Tool for SystemC Descriptions of Systems-on-a-Chip
jTLM: an Experimentation Framework for the Simulation of Transaction-Level Models of Systems-on-Chip
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip
A SystemC/TLM semantics in Promela and its possible applications
A Theoretical and Experimental Review of SystemC Front-ends
Efficient Encoding of SystemC/TLM in Promela Kevin Marquet, Bertrand Jeannet, and Matthieu Moy
Unit Mixte de Recherche 5104 CNRS -INPG -UJF Centre Equation
Submitted to: Performance Evaluation of Components Using a
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level
Causality Closure for a New Class of Curves in Real-Time Calculus
