Thierry Gautier

According to our database1, Thierry Gautier
  • authored at least 100 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms.
Proceedings of the 2017 International Symposium on Computer Architecture and High Performance Computing Workshops, 2017

ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems.
Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

2016
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination.
Parallel Computing, 2016

Description, Implementation and Evaluation of an Affinity Clause for Task Directives.
Proceedings of the OpenMP: Memory, Devices, and Tasks, 2016

Formal semantics of behavior specifications in the architecture analysis and design language standard.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Using Data Dependencies to Improve Task-Based Scheduling Strategies on NUMA Architectures.
Proceedings of the Euro-Par 2016: Parallel Processing, 2016

2015
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program., 2015

Design and analysis of scheduling strategies for multi-CPU and multi-GPU architectures.
Parallel Computing, 2015

Polychronous Automata.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools.
Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, 2015

Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015

Translation Validation for Clock Transformations in a Synchronous Compiler.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

Parallel algebraic linear algebra dedicated interface.
Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015

2014
Optimisation de l'utilisation du cache dans EUROPLEXUS
Proceedings of the ComPAS'2014: Conférence en Parallélisme, Architecture et Système, April, 2014

Parallel computation of echelon forms.
CoRR, 2014

Scheduling data flow program in xkaapi: A new affinity based Algorithm for Heterogeneous Architectures.
CoRR, 2014

Earliest-deadline first scheduling of multiple independent dataflow graphs.
Proceedings of the 2014 IEEE Workshop on Signal Processing Systems, 2014

Optimized distribution of synchronous programs via a polychronous model.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Evaluation of OpenMP Dependent Tasks with the KASTORS Benchmark Suite.
Proceedings of the Using and Improving OpenMP for Devices, Tasks, and More, 2014

Parallel Computation of Echelon Forms.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

Scheduling Data Flow Program in XKaapi: A New Affinity Based Algorithm for Heterogeneous Architectures.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

2013
Polychronous modeling, analysis, verification and simulation for timed software architectures.
Journal of Systems Architecture - Embedded Systems Design, 2013

Exploring system architectures in AADL via Polychrony and SynDEx.
Frontiers Comput. Sci., 2013

Formal verification of synchronous data-flow program transformations toward certified compilers.
Frontiers Comput. Sci., 2013

Preliminary Experiments with XKaapi on Intel Xeon Phi Coprocessor.
Proceedings of the 25th International Symposium on Computer Architecture and High Performance Computing, 2013

An Efficient OpenMP Loop Scheduler for Irregular Applications on Large-Scale NUMA Machines.
Proceedings of the OpenMP in the Era of Low Power Devices and Accelerators, 2013

XKaapi: A Runtime System for Data-Flow Task Programming on Heterogeneous Architectures.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

X-kaapi: A Multi Paradigm Runtime for Multicore Architectures.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

VtkSMP: Task-based Parallel Operators for VTK Filters.
Proceedings of the Eurographics Symposium on Parallel Graphics and Visualization, 2013

Toward polychronous analysis and validation for timed software architectures in AADL.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Compositional design of isochronous systems.
Sci. Comput. Program., 2012

Exploiting Concurrent GPU Operations for Efficient Work Stealing on Multi-GPUs.
Proceedings of the IEEE 24th International Symposium on Computer Architecture and High Performance Computing, 2012

libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms.
Proceedings of the OpenMP in a Heterogeneous World - 8th International Workshop on OpenMP, 2012

Formal Verification of Compiler Transformations on Polychronous Equations.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

A New Programming Paradigm for GPGPU.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012

2011
System-level co-simulation of integrated avionics using polychrony.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Polychronous controller synthesis from MARTE CCSL timing specifications.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Introduction.
Proceedings of the Euro-Par 2011 Parallel Processing - 17th International Conference, 2011

Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

2010
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems.
IEEE Trans. Parallel Distrib. Syst., 2010

A Boolean Algebra of Contracts for Assume-guarantee Reasoning.
Electr. Notes Theor. Comput. Sci., 2010

LinBox founding scope allocation, parallel building blocks, and separate compilation
CoRR, 2010

Generic design of Chinese remaindering schemes
CoRR, 2010

Generic design of Chinese remaindering schemes
CoRR, 2010

LTSs for translation validation of (multi-clocked) SIGNAL specifications.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Polychronous Analysis of Timing Constraints in UML MARTE.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation.
Proceedings of the Mathematical Software, 2010

A Work Stealing Scheduler for Parallel Loops on Shared Cache Multicores.
Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010

Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations.
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

Generic design of Chinese remaindering schemes.
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010

Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA.
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009
Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing.
IEEE Trans. Dependable Sec. Comput., 2009

A metamodel for the design of polychronous systems.
J. Log. Algebr. Program., 2009

Towards SMV Model Checking of Signal (multi-clocked) Specifications.
ECEASST, 2009

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
ECEASST, 2009

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Proceedings of the Proceedings FM-09 Workshop on Formal Methods for Aerospace, 2009

A Flexible Checkpoint/Restart Model in Distributed Systems.
Proceedings of the Parallel Processing and Applied Mathematics, 2009

Dynamic Adaptation Applied to Sabotage Tolerance.
Proceedings of the 17th Euromicro International Conference on Parallel, 2009

A module language for typing by contracts.
Proceedings of the First NASA Formal Methods Symposium, 2009

Distributed Simulation of AADL Specifications in a Polychronous Model of Computation.
Proceedings of the International Conference on Embedded Software and Systems, 2009

2008
Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables.
Technique et Science Informatiques, 2008

Virtual prototyping AADL architectures in a polychronous model of computation.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications.
Proceedings of the Modelling, 2008

Analysis of Periodic Clock Relations in Polychronous Systems.
Proceedings of the Distributed Embedded Systems: Design, 2008

Deque-Free Work-Optimal Parallel STL Algorithms.
Proceedings of the Euro-Par 2008, 2008

An Interval-Based Solution for Static Analysis in the SIGNAL Language.
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

2007
Polychronous design of embedded real-time applications.
ACM Trans. Softw. Eng. Methodol., 2007

Re-scheduling invocations of services for RPC grids.
Computer Languages, Systems & Structures, 2007

KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors.
Proceedings of the Parallel Symbolic Computation, 2007

Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006
Synchronous design of avionic applications based on model refinement.
J. Embedded Computing, 2006

Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages
CoRR, 2006

A Modeling Paradigm for Integrated Modular Avionics Design.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Polychronous mode automata.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
Algorithmes parallèles à grain adaptatif et applications.
Technique et Science Informatiques, 2005

A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing.
Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

2004
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.
Electr. Notes Theor. Comput. Sci., 2004

High Performance Composition of Services with Data Dependencies on a Computational Grid.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

Automatic re-scheduling of dependencies in a RPC-based grid.
Proceedings of the 18th Annual International Conference on Supercomputing, 2004

2003
Synchronous Modeling of Avionics Applications using the SIGNAL Languag.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Efficient and Easy Parallel Implementation of Large Numerical Simulations.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29, 2003

The SIGNAL Approach to the Design of System Architectures.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002
Finite field linear algebra subroutines.
Proceedings of the Symbolic and Algebraic Computation, 2002

2001
Modeling statecharts and activitycharts as signal equations.
ACM Trans. Softw. Eng. Methodol., 2001

1999
Large Scale Simulation of Parallel Molecular Dynamics.
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Parallel Computing for Irregular Applications.
Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999

Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.
Proceedings of the FM'99 - Formal Methods, 1999

Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998
A Translation of Statecharts into Signal Approach of Time, Interoperability.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
An ML-Like Module System for the Synchronous Language SIGNAL.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

NC2 computation of gcd-free basis and application to parallel algebraic numbers computation.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1995
Regular versus Irregular Problems and Algorithms.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

GC: the Data-Flow Graph Format of Synchronous Programming.
Proceedings of the Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), 1995

1994
Towards a multi-formalism framework for architectural synthesis: the ASAR project.
Proceedings of the Third International Workshop on Hardware/Software Codesign, 1994

1989
From Synchronous Intensional Programming to Efficient Implementation.
Proceedings of the Real-Time Systems Symposium, 1989

1987
SIGNAL: A declarative language for synchronous programming of real-time systems.
Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986
Signal-A data flow-oriented language for signal processing.
IEEE Trans. Acoustics, Speech, and Signal Processing, 1986

Programming Real-Time with Events and Data Flow.
IFIP Congress, 1986


  Loading...