https://data.archives-ouvertes.fr/author/1402

https://data.archives-ouvertes.fr/author/1402

http://xmlns.com/foaf/0.1/topic_interest Modular Performance Analysis
http://xmlns.com/foaf/0.1/topic_interest System on Chip
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest System-on-a-Chip
http://xmlns.com/foaf/0.1/topic_interest Network-on-chip
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mm
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Relaxed memory consistency
http://xmlns.com/foaf/0.1/topic_interest Invariants
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Arrival Curve
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-os
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pf
http://xmlns.com/foaf/0.1/topic_interest HPC
http://xmlns.com/foaf/0.1/topic_interest Embedded systems
http://xmlns.com/foaf/0.1/topic_interest Model
http://xmlns.com/foaf/0.1/topic_interest Bus
http://xmlns.com/foaf/0.1/topic_interest SoC
http://xmlns.com/foaf/0.1/topic_interest Atmi
http://xmlns.com/foaf/0.1/familyName Moy
http://xmlns.com/foaf/0.1/topic_interest Hardware modeling
http://xmlns.com/foaf/0.1/topic_interest Lesar
http://xmlns.com/foaf/0.1/topic_interest Energy
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-sy
http://xmlns.com/foaf/0.1/topic_interest Causality
http://xmlns.com/foaf/0.1/topic_interest SMT Solving
http://xmlns.com/foaf/0.1/topic_interest Program verification
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Many-core architectures
http://xmlns.com/foaf/0.1/topic_interest Tdma
http://xmlns.com/foaf/0.1/topic_interest Linear Priced Timed automata
http://xmlns.com/foaf/0.1/topic_interest Polyhedral mode
http://xmlns.com/foaf/0.1/topic_interest Temperature
http://xmlns.com/foaf/0.1/topic_interest Transaction-level modeling
http://xmlns.com/foaf/0.1/topic_interest Real-Time Calculus
http://xmlns.com/foaf/0.1/topic_interest Test
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/matthieu-moy
http://xmlns.com/foaf/0.1/topic_interest Portals 4
http://xmlns.com/foaf/0.1/topic_interest Scheduling
http://xmlns.com/foaf/0.1/topic_interest Systèmes embarqués
http://xmlns.com/foaf/0.1/topic_interest Duration
http://xmlns.com/foaf/0.1/topic_interest Index Terms-response time analysis
http://xmlns.com/foaf/0.1/topic_interest Front-end
http://xmlns.com/foaf/0.1/name Matthieu Moy
http://xmlns.com/foaf/0.1/topic_interest Spin
http://xmlns.com/foaf/0.1/topic_interest Java
http://xmlns.com/foaf/0.1/topic_interest Electrical Rule Checking
http://xmlns.com/foaf/0.1/topic_interest Parallel simulation
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest TLM
http://xmlns.com/foaf/0.1/topic_interest Partial order reduction
http://xmlns.com/foaf/0.1/topic_interest Worst-case execution time
http://xmlns.com/foaf/0.1/topic_interest Synchronous approach
http://xmlns.com/foaf/0.1/topic_interest Causalité
http://xmlns.com/foaf/0.1/topic_interest Abstract interpretation
http://xmlns.com/foaf/0.1/topic_interest Vérification formelle
http://xmlns.com/foaf/0.1/topic_interest Real-time calculus
http://xmlns.com/foaf/0.1/topic_interest Education
http://xmlns.com/foaf/0.1/topic_interest High-Performance Computing
http://xmlns.com/foaf/0.1/topic_interest Real-time
http://xmlns.com/foaf/0.1/topic_interest Algorithm optimization
http://xmlns.com/foaf/0.1/topic_interest Data restructuring
http://xmlns.com/foaf/0.1/topic_interest Multi-core
http://xmlns.com/foaf/0.1/topic_interest SMT
http://xmlns.com/foaf/0.1/topic_interest Compilation
http://xmlns.com/foaf/0.1/topic_interest Formal verification
http://xmlns.com/foaf/0.1/topic_interest Granularity
http://xmlns.com/foaf/0.1/topic_interest SimGrid
http://xmlns.com/foaf/0.1/topic_interest LusSy
http://xmlns.com/foaf/0.1/firstName Matthieu
http://xmlns.com/foaf/0.1/topic_interest Kalray
http://xmlns.com/foaf/0.1/topic_interest Static analysis
http://xmlns.com/foaf/0.1/topic_interest Lustre
http://xmlns.com/foaf/0.1/topic_interest Virtual prototyping
http://xmlns.com/foaf/0.1/topic_interest TLM 20
http://xmlns.com/foaf/0.1/topic_interest Promela
http://xmlns.com/foaf/0.1/topic_interest Pinapa
http://xmlns.com/foaf/0.1/mbox_sha1sum ea8b74cad876768eb3af64751e169c97
http://www.w3.org/2002/07/owl#sameAs 0000-0002-6054-8882
http://www.w3.org/2002/07/owl#sameAs 106984993
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest Promises
http://xmlns.com/foaf/0.1/topic_interest Parallelism
http://xmlns.com/foaf/0.1/topic_interest Forbidden Regions
http://xmlns.com/foaf/0.1/topic_interest Dead-lock
http://xmlns.com/foaf/0.1/topic_interest Interprétation abstaite
http://xmlns.com/foaf/0.1/topic_interest High-Level Synthesis
http://xmlns.com/foaf/0.1/topic_interest Sémantique
http://xmlns.com/foaf/0.1/topic_interest Formal modeling
http://xmlns.com/foaf/0.1/topic_interest SystemC
http://xmlns.com/foaf/0.1/topic_interest JTLM
http://xmlns.com/foaf/0.1/topic_interest Smv
http://xmlns.com/foaf/0.1/topic_interest Parallel Programming
http://xmlns.com/foaf/0.1/topic_interest Multibanking
http://xmlns.com/foaf/0.1/topic_interest Systèmes sur puce
http://xmlns.com/foaf/0.1/topic_interest Parser
http://xmlns.com/foaf/0.1/topic_interest Wcet
http://xmlns.com/foaf/0.1/topic_interest Review
http://xmlns.com/foaf/0.1/topic_interest Interconnect
http://xmlns.com/foaf/0.1/topic_interest Calcul temps-réel
http://xmlns.com/foaf/0.1/topic_interest Validation
http://xmlns.com/foaf/0.1/topic_interest Model-checking
http://xmlns.com/foaf/0.1/topic_interest FPGA
http://xmlns.com/foaf/0.1/topic_interest BXI
http://xmlns.com/foaf/0.1/topic_interest Real-time systems
http://xmlns.com/foaf/0.1/topic_interest DPOR
http://xmlns.com/foaf/0.1/topic_interest SMT-solving
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ar
http://xmlns.com/foaf/0.1/topic_interest Rollback
http://xmlns.com/foaf/0.1/topic_interest Loose timing
http://xmlns.com/foaf/0.1/topic_interest Loosely-timed
http://xmlns.com/foaf/0.1/topic_interest Treasure Hunt
http://xmlns.com/foaf/0.1/topic_interest SSA
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest Parallelization
http://xmlns.com/foaf/0.1/topic_interest Transaction-Level-Modeling
http://xmlns.com/foaf/0.1/topic_interest Power estimation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cc
http://xmlns.com/foaf/0.1/topic_interest Unix
http://xmlns.com/foaf/0.1/topic_interest Programming Models
http://xmlns.com/foaf/0.1/topic_interest MPI
http://xmlns.com/foaf/0.1/topic_interest Parallélisme
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ds
http://xmlns.com/foaf/0.1/topic_interest Coverage
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest Modélisation
http://xmlns.com/foaf/0.1/topic_interest Modeling
http://xmlns.com/foaf/0.1/topic_interest Exam
http://xmlns.com/foaf/0.1/topic_interest Semantics
http://xmlns.com/foaf/0.1/topic_interest Algorithms
http://xmlns.com/foaf/0.1/topic_interest Faithfulness issues
http://xmlns.com/foaf/0.1/topic_interest Integrated Circuits
https://aurehal.archives-ouvertes.fr/author/1402

Télécharger au format  
RDF/XML Turtle N3 Json