Thierry Gautier

From MaRDI portal
Person:456399

Available identifiers

zbMath Open gautier.thierryMaRDI QIDQ456399

List of research outcomes





PublicationDate of PublicationType
Formal verification of synchronous data-flow program transformations toward certified compilers2019-05-28Paper
Compositional design of isochronous systems2012-10-24Paper
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation2010-09-14Paper
https://portal.mardi4nfdi.de/entity/Q35681372010-06-17Paper
Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications2009-05-13Paper
A metamodel for the design of polychronous systems2009-04-29Paper
Re-scheduling invocations of services for RPC grids2007-04-16Paper
https://portal.mardi4nfdi.de/entity/Q46606872005-04-04Paper
https://portal.mardi4nfdi.de/entity/Q47904342003-01-28Paper
https://portal.mardi4nfdi.de/entity/Q45371342002-11-06Paper
Design of a multi-formalism application and distribution in a data-flow context: An example2002-03-25Paper
https://portal.mardi4nfdi.de/entity/Q44939032000-10-23Paper
https://portal.mardi4nfdi.de/entity/Q42270001999-05-30Paper
https://portal.mardi4nfdi.de/entity/Q30263161987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37369001986-01-01Paper

Research outcomes over time

This page was built for person: Thierry Gautier

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:456399&oldid=7079500"
Powered by MediaWiki