|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 31 keywords
|
|
|
|
|
Results
Found 63 publication records. Showing 63 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic |
Compositional design of isochronous systems.  |
Sci. Comput. Program.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | François Broquedis, Thierry Gautier, Vincent Danjean |
libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms. |
IWOMP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Besseron, Thierry Gautier |
Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol. |
Euro-Par Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Manneback, Thierry Gautier, Gudula Rünger, Manuel Prieto-Matías |
Introduction. |
Euro-Par |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic |
Polychronous controller synthesis from MARTE CCSL timing specifications. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent |
System-level co-simulation of integrated avionics using polychrony. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdoulaye Gamatié, Thierry Gautier |
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. |
IEEE Trans. Parallel Distrib. Syst. |
2010 |
DBLP DOI BibTeX RDF |
correct-by-construction design methodology, safety-critical domains, asynchronous mechanisms, multiclock, Signal language, Distributed embedded systems, formal validation, synchronous model |
| 1 | Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier |
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders |
LinBox founding scope allocation, parallel building blocks, and separate compilation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch |
Generic design of Chinese remaindering schemes |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch |
Generic design of Chinese remaindering schemes |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Everton Hermann, Bruno Raffin, François Faure, Thierry Gautier, Jérémie Allard |
Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations. |
Euro-Par |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Tchiboukdjian, Vincent Danjean, Thierry Gautier, Fabien Le Mentec, Bruno Raffin |
A Work Stealing Scheduler for Parallel Loops on Shared Cache Multicores. |
Euro-Par Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic |
LTSs for translation validation of (multi-clocked) SIGNAL specifications. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier |
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
embedded software architecture design, program analysis and transformation, domain-specific language |
| 1 | Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch |
Generic design of Chinese remaindering schemes. |
PASCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ma, Jean-Pierre Talpin, Thierry Gautier |
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
behavior annex, synchronous, AADL, SSA |
| 1 | Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders |
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. |
ICMS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julio C. Peralta, Thierry Gautier |
Towards SMV Model Checking of Signal (multi-clocked) Specifications. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi |
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Samir Jafar, Axel W. Krings, Thierry Gautier |
Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing. |
IEEE Trans. Dependable Sec. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier |
A metamodel for the design of polychronous systems. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, G. Garcia, A. Rugina, Jérémy Buisson, Fabien Dagnat |
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software |
FMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed-Slim Bouguerra, Thierry Gautier, Denis Trystram, Jean-Marc Vincent |
A Flexible Checkpoint/Restart Model in Distributed Systems. |
PPAM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varrette |
Dynamic Adaptation Applied to Sabotage Tolerance. |
PDP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier |
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Besseron, Laurent Pigeon, Thierry Gautier, Samir Jafar |
Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables. |
Technique et Science Informatiques |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard |
Deque-Free Work-Optimal Parallel STL Algorithms. |
Euro-Par |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ma, Jean-Pierre Talpin, Thierry Gautier |
Virtual prototyping AADL architectures in a polychronous model of computation. |
MEMOCODE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard |
An Interval-Based Solution for Static Analysis in the SIGNAL Language. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
Analysis of Periodic Clock Relations in Polychronous Systems. |
DIPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Besseron, Thierry Gautier |
Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. |
MCO |
2008 |
DBLP DOI BibTeX RDF |
fault-tolerance, parallel computing, grid, data flow graph |
| 1 | Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin |
Polychronous design of embedded real-time applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
IMA, Synchronous approach, Signal, Avionics |
| 1 | Thierry Gautier, Hamid-Reza Hamidi |
Re-scheduling invocations of services for RPC grids. |
Computer Languages, Systems & Structures |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Gautier, Jean-Louis Roch, Frédéric Wagner |
Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
distributed stack, work depth model, dataflow, work-stealing |
| 1 | Thierry Gautier, Xavier Besseron, Laurent Pigeon |
KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. |
PASCO |
2007 |
DBLP DOI BibTeX RDF |
cluster, multi-core, data flow, work-stealing, multi-processor |
| 1 | Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic |
Synchronous design of avionic applications based on model refinement. |
J. Embedded Computing |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jean-Guillaume Dumas, Thierry Gautier, Pascal Giorgi, Clément Pernet |
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié |
Polychronous mode automata. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin |
A Modeling Paradigm for Integrated Modular Avionics Design. |
EUROMICRO-SEAA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | El Mostafa Daoudi, Thierry Gautier, Aicha Kerfali, Rémi Revire, Jean-Louis Roch |
Algorithmes parallèles à grain adaptatif et applications. |
Technique et Science Informatiques |
2005 |
DBLP BibTeX RDF |
|
| 1 | Samir Jafar, Thierry Gautier, Axel W. Krings, Jean-Louis Roch |
A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard |
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Gautier, Hamid-Reza Hamidi |
High Performance Composition of Services with Data Dependencies on a Computational Grid. |
PDPTA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thierry Gautier, Hamid-Reza Hamidi |
Automatic re-scheduling of dependencies in a RPC-based grid. |
ICS |
2004 |
DBLP DOI BibTeX RDF |
parallel, interoperability, CORBA, distributed, metacomputing |
| 1 | Abdoulaye Gamatié, Thierry Gautier |
The SIGNAL Approach to the Design of System Architectures. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdoulaye Gamatié, Thierry Gautier |
Synchronous Modeling of Avionics Applications using the SIGNAL Languag. |
IEEE Real Time Technology and Applications Symposium |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Revire, Florence Zara, Thierry Gautier |
Efficient and Easy Parallel Implementation of Large Numerical Simulations. |
PVM/MPI |
2003 |
DBLP DOI BibTeX RDF |
Parallel Molecular Dynamics, Parallel Cloth Simulation, Scheduling, Parallel Programming Environment |
| 1 | Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet |
Finite field linear algebra subroutines. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
BLAS level 1-2-3, Galois finite fields, Winograd's symbolic matrix multiplication |
| 1 | Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang |
Modeling statecharts and activitycharts as signal equations. |
ACM Trans. Softw. Eng. Methodol. |
2001 |
DBLP DOI BibTeX RDF |
ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages |
| 1 | Thierry Gautier, Niklaus Mannhart |
Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Eric Bernard, Thierry Gautier, Denis Trystram |
Large Scale Simulation of Parallel Molecular Dynamics. (PDF / PS) |
IPPS/SPDP |
1999 |
DBLP DOI BibTeX RDF |
Parallel Molecular Dynamics, Load balancing, Threads |
| 1 | Irina M. Smarandache, Thierry Gautier, Paul Le Guernic |
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier |
Parallel Computing for Irregular Applications. |
HPCA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier |
A Translation of Statecharts into Signal Approach of Time, Interoperability. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic |
An ML-Like Module System for the Synchronous Language SIGNAL. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Gautier, Jean-Louis Roch |
NC2 computation of gcd-free basis and application to parallel algebraic numbers computation. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Gautier, Jean-Louis Roch, Gilles Villard |
Regular versus Irregular Problems and Algorithms. |
IRREGULAR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Aubry, Thierry Gautier |
GC: the Data-Flow Graph Format of Synchronous Programming. |
Intermediate Representations Workshop |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys |
Towards a multi-formalism framework for architectural synthesis: the ASAR project. |
CODES |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Gautier, B. Le Goff |
From Synchronous Intensional Programming to Efficient Implementation. |
IEEE Real-Time Systems Symposium |
1989 |
DBLP BibTeX RDF |
|
| 1 | Thierry Gautier, Paul Le Guernic |
SIGNAL: A declarative language for synchronous programming of real-time systems. |
FPCA |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai |
Programming Real-Time with Events and Data Flow. |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
Displaying result #1 - #63 of 63 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")