Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pascal Vivet
Fast and Accurate TLM Simulations Using Temporal Decoupling for FIFO-based Communications
Formal Verification of CHP Specifications With CADP Illustration on an Asynchronous Network-On-Chip
Proceedings - International Symposium on Asynchronous Circuits and Systems
Electronic Engineering
Engineering
Electrical
Related publications
Fast, Accurate and Detailed NoC Simulations
Fast and Accurate Time-Domain Simulations With Commodity Graphics Hardware
Fast, Flexible, and Highly Resilient Genuine Fifo and Causal Multicast Algorithms
Fast and Accurate Sonar Trackers Using Double Pulse Coding
Techniques for Fast and Accurate Intrasurgical Registration
Computer Aided Surgery
Techniques for Fast and Accurate Intrasurgical Registration
Journal of Image Guided Surgery
Tradeoffs for Web Communications Fast Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fast and Accurate Approximation to Kriging Using Common Data Neighborhoods
Mathematical Geosciences
Earth
Planetary Sciences
Mathematics
Fast and Accurate Ultrasonography for Visceral Fat Measurement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science