The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thierry Gautier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier
    A Translation of Statecharts into Signal Approach of Time, Interoperability. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:52-0 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    CODES, 1994, pp:25-32 [Conf]
  3. Abdoulaye Gamatié, Thierry Gautier
    The SIGNAL Approach to the Design of System Architectures. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:80-88 [Conf]
  4. Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié
    Polychronous mode automata. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:83-92 [Conf]
  5. Thierry Gautier, Niklaus Mannhart
    Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1999, pp:1466-1475 [Conf]
  6. Samir Jafar, Thierry Gautier, Axel W. Krings, Jean-Louis Roch
    A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2005, pp:675-684 [Conf]
  7. David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
    An ML-Like Module System for the Synchronous Language SIGNAL. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1244-1253 [Conf]
  8. Irina M. Smarandache, Thierry Gautier, Paul Le Guernic
    Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1364-1383 [Conf]
  9. Thierry Gautier, Paul Le Guernic
    SIGNAL: A declarative language for synchronous programming of real-time systems. [Citation Graph (0, 0)][DBLP]
    FPCA, 1987, pp:257-277 [Conf]
  10. Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier
    Parallel Computing for Irregular Applications. [Citation Graph (0, 0)][DBLP]
    HPCA, 1999, pp:321- [Conf]
  11. Thierry Gautier, Hamid-Reza Hamidi
    Automatic re-scheduling of dependencies in a RPC-based grid. [Citation Graph (0, 0)][DBLP]
    ICS, 2004, pp:89-94 [Conf]
  12. Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai
    Programming Real-Time with Events and Data Flow. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:469-474 [Conf]
  13. Pierre-Eric Bernard, Thierry Gautier, Denis Trystram
    Large Scale Simulation of Parallel Molecular Dynamics. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP, 1999, pp:638-644 [Conf]
  14. Pascal Aubry, Thierry Gautier
    GC: the Data-Flow Graph Format of Synchronous Programming. [Citation Graph (0, 0)][DBLP]
    Intermediate Representations Workshop, 1995, pp:83-93 [Conf]
  15. Thierry Gautier, Jean-Louis Roch, Gilles Villard
    Regular versus Irregular Problems and Algorithms. [Citation Graph (0, 0)][DBLP]
    IRREGULAR, 1995, pp:1-25 [Conf]
  16. Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet
    Finite field linear algebra subroutines. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2002, pp:63-74 [Conf]
  17. Thierry Gautier, Hamid-Reza Hamidi
    High Performance Composition of Services with Data Dependencies on a Computational Grid. [Citation Graph (0, 0)][DBLP]
    PDPTA, 2004, pp:801-805 [Conf]
  18. Rémi Revire, Florence Zara, Thierry Gautier
    Efficient and Easy Parallel Implementation of Large Numerical Simulations. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2003, pp:663-666 [Conf]
  19. Abdoulaye Gamatié, Thierry Gautier
    Synchronous Modeling of Avionics Applications using the SIGNAL Languag. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2003, pp:144-151 [Conf]
  20. Thierry Gautier, B. Le Goff
    From Synchronous Intensional Programming to Efficient Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1989, pp:249-257 [Conf]
  21. Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang
    Modeling statecharts and activitycharts as signal equations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2001, v:10, n:4, pp:397-451 [Journal]
  22. Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin
    A Modeling Paradigm for Integrated Modular Avionics Design. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2006, pp:134-143 [Conf]
  23. Thierry Gautier, Jean-Louis Roch, Frédéric Wagner
    Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2007, pp:593-600 [Conf]
  24. Jean-Guillaume Dumas, Thierry Gautier, Pascal Giorgi, Clément Pernet
    Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  25. Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin
    Polychronous design of embedded real-time applications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:2, pp:- [Journal]

  26. Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. [Citation Graph (, )][DBLP]


  27. An Interval-Based Solution for Static Analysis in the SIGNAL Language. [Citation Graph (, )][DBLP]


  28. Deque-Free Work-Optimal Parallel STL Algorithms. [Citation Graph (, )][DBLP]


  29. Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations. [Citation Graph (, )][DBLP]


  30. LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. [Citation Graph (, )][DBLP]


  31. Analysis of Periodic Clock Relations in Polychronous Systems. [Citation Graph (, )][DBLP]


  32. KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. [Citation Graph (, )][DBLP]


  33. Virtual prototyping AADL architectures in a polychronous model of computation. [Citation Graph (, )][DBLP]


  34. Dynamic Adaptation Applied to Sabotage Tolerance. [Citation Graph (, )][DBLP]


  35. A Flexible Checkpoint/Restart Model in Distributed Systems. [Citation Graph (, )][DBLP]


  36. Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. [Citation Graph (, )][DBLP]


  37. Re-scheduling invocations of services for RPC grids. [Citation Graph (, )][DBLP]


  38. Generic design of Chinese remaindering schemes [Citation Graph (, )][DBLP]


  39. Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software [Citation Graph (, )][DBLP]


  40. Generic design of Chinese remaindering schemes [Citation Graph (, )][DBLP]


  41. Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. [Citation Graph (, )][DBLP]


  42. A Boolean Algebra of Contracts for Assume-guarantee Reasoning. [Citation Graph (, )][DBLP]


Search in 0.532secs, Finished in 0.535secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002