default search action
Thierry Gautier
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c94]Romain Pereira
, Adrien Roussel
An Overview on Mixing MPI and OpenMP Dependent Tasking on A64FX. HPC Asia Workshops 2024: 7-16 - 2023
- [j24]Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin:
The polychronous model of computation and Kahn process networks. Sci. Comput. Program. 228: 102958 (2023) - [c93]Romain Pereira
Investigating Dependency Graph Discovery Impact on Task-based MPI+OpenMP Applications Performances. ICPP 2023: 163-172 - [c92]Pierre-Étienne Polet, Ramy Fantar, Thierry Gautier:
Introducing Moldable Tasks in OpenMP. IWOMP 2023: 51-65 - [c91]Romain Pereira, Maël Martin, Adrien Roussel, Patrick Carribault
Suspending OpenMP Tasks on Asynchronous Events: Extending the Taskwait Construct. IWOMP 2023: 66-80 - [c90]Idriss Daoudi
Improving Simulations of Task-Based Applications on Complex NUMA Architectures. IWOMP 2023: 195-209 - 2022
- [c89]Manuel Ferat, Romain Pereira, Adrien Roussel
Enhancing MPI+OpenMP Task Based Applications for Heterogeneous Architectures with GPU Support. IWOMP 2022: 3-16 - 2021
- [c88]Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas:
X-Aevol: GPU implementation of an evolutionary experimentation simulator. GECCO Companion 2021: 1317-1325 - [c87]Romain Pereira, Adrien Roussel
Communication-Aware Task Scheduling Strategy in Hybrid MPI+OpenMP Applications. IWOMP 2021: 197-210 - [c86]Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard:
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs. SAMOS 2021: 259-271 - [c85]Thierry Gautier, João V. F. Lima:
Evaluation of two topology-aware heuristics on level- 3 BLAS library for multi-GPU platforms. SC (Workshops) 2021: 12-22 - 2020
- [j23]Cyril Labbé
Flagging incorrect nucleotide sequence reagents in biomedical papers: To what extent does the leading publication format impede automatic error detection? Scientometrics 124(2): 1139-1156 (2020) - [c84]Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas, Christian Pérez:
P-Aevol: An OpenMP Parallelization of a Biological Evolution Simulator, Through Decomposition in Multiple Loops. IWOMP 2020: 52-66 - [c83]Idriss Daoudi
sOMP: Simulating OpenMP Task-Based Applications with NUMA Effects. IWOMP 2020: 197-211 - [c82]Thierry Gautier, João V. F. Lima:
XKBlas: a High Performance Implementation of BLAS-3 Kernels on Multi-GPU Server. PDP 2020: 1-8
2010 – 2019
- 2019
- [j22]Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard:
Polychronous automata and their use for formal validation of AADL models. Frontiers Comput. Sci. 13(4): 677-697 (2019) - [j21]Joao Vicente Ferreira Lima
Performance and energy analysis of OpenMP runtime systems with dense linear algebra algorithms. Int. J. High Perform. Comput. Appl. 33(3) (2019) - [c81]Jérôme Richard, Guillaume Latu
Fine-Grained MPI+OpenMP Plasma Simulations: Communication Overlap with Dependent Tasks. Euro-Par 2019: 419-433 - [c80]Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard:
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. ICECCS 2019: 114-123 - 2018
- [c79]Thierry Gautier, Christian Pérez, Jérôme Richard:
On the Impact of OpenMP Task Granularity. IWOMP 2018: 205-221 - [c78]Hai Nam Tran, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier:
Toward Efficient Many-core Scheduling of Partial Expansion Graphs. SCOPES 2018: 100-103 - 2017
- [c77]Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz:
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. RTNS 2017: 158-167 - [c76]João V. F. Lima
Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms. SBAC-PAD (Workshops) 2017: 7-12 - [c75]Hamid-Reza Hamidi, Shokoh Kermanshahani
Time Collection: An Abstraction for Shared Objects in Parallel Programming. TopHPC 2017: 263-274 - 2016
- [j20]Jean-Guillaume Dumas
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Comput. 57: 235-249 (2016) - [c74]Philippe Virouleau, François Broquedis
Using Data Dependencies to Improve Task-Based Scheduling Strategies on NUMA Architectures. Euro-Par 2016: 531-544 - [c73]Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde:
Formal semantics of behavior specifications in the architecture analysis and design language standard. HLDVT 2016: 30-39 - [c72]Philippe Virouleau, Adrien Roussel
Description, Implementation and Evaluation of an Affinity Clause for Task Directives. IWOMP 2016: 61-73 - 2015
- [j19]João V. F. Lima
Design and analysis of scheduling strategies for multi-CPU and multi-GPU architectures. Parallel Comput. 44: 37-52 (2015) - [j18]Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Sci. Comput. Program. 106: 54-77 (2015) - [c71]Thierry Gautier, Jean-Louis Roch, Ziad Sultan, Bastien Vialla:
Parallel algebraic linear algebra dedicated interface. PASCO 2015: 34-43 - [c70]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Translation Validation for Clock Transformations in a Synchronous Compiler. FASE 2015: 171-185 - [c69]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier:
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. FORTE 2015: 66-80 - [c68]Van Chan Ngo
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. SCOPES 2015: 109-112 - [c67]Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard:
Polychronous Automata. TASE 2015: 95-102 - 2014
- [c66]Jean-Guillaume Dumas
Parallel Computation of Echelon Forms. Euro-Par 2014: 499-510 - [c65]Raphaël Bleuse
Scheduling Data Flow Program in XKaapi: A New Affinity Based Algorithm for Heterogeneous Architectures. Euro-Par 2014: 560-571 - [c64]Philippe Virouleau
Evaluation of OpenMP Dependent Tasks with the KASTORS Benchmark Suite. IWOMP 2014: 16-29 - [c63]Adnan Bouakaz, Thierry Gautier:
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. MEMOCODE 2014: 2-11 - [c62]Ke Sun, Loïc Besnard, Thierry Gautier:
Optimized distribution of synchronous programs via a polychronous model. MEMOCODE 2014: 42-51 - [c61]Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin:
Earliest-deadline first scheduling of multiple independent dataflow graphs. SiPS 2014: 292-297 - [i6]Jean-Guillaume Dumas
Parallel computation of echelon forms. CoRR abs/1402.3501 (2014) - [i5]Raphaël Bleuse, Thierry Gautier, João V. F. Lima, Grégory Mounié, Denis Trystram:
Scheduling data flow program in xkaapi: A new affinity based Algorithm for Heterogeneous Architectures. CoRR abs/1402.6601 (2014) - 2013
- [j17]Van Chan Ngo
Formal verification of synchronous data-flow program transformations toward certified compilers. Frontiers Comput. Sci. 7(5): 598-616 (2013) - [j16]Huafeng Yu
Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. 7(5): 627-649 (2013) - [j15]Huafeng Yu
Polychronous modeling, analysis, verification and simulation for timed software architectures. J. Syst. Archit. 59(10-D): 1157-1170 (2013) - [c60]Yue Ma, Huafeng Yu
Toward polychronous analysis and validation for timed software architectures in AADL. DATE 2013: 1173-1178 - [c59]Mathias Ettinger, François Broquedis
VtkSMP: Task-based Parallel Operators for VTK Filters. EGPGV@Eurographics 2013: 41-48 - [c58]Thierry Gautier, Fabien Le Mentec, Vincent Faucher
X-kaapi: A Multi Paradigm Runtime for Multicore Architectures. ICPP 2013: 728-735 - [c57]Thierry Gautier, João V. F. Lima
XKaapi: A Runtime System for Data-Flow Task Programming on Heterogeneous Architectures. IPDPS 2013: 1299-1308 - [c56]Marie Durand, François Broquedis
An Efficient OpenMP Loop Scheduler for Irregular Applications on Large-Scale NUMA Machines. IWOMP 2013: 141-155 - [c55]João V. F. Lima
Preliminary Experiments with XKaapi on Intel Xeon Phi Coprocessor. SBAC-PAD 2013: 105-112 - 2012
- [j14]Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
Compositional design of isochronous systems. Sci. Comput. Program. 77(2): 113-128 (2012) - [c54]Julio Toss, Thierry Gautier:
A New Programming Paradigm for GPGPU. Euro-Par 2012: 895-907 - [c53]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard:
Formal Verification of Compiler Transformations on Polychronous Equations. IFM 2012: 113-127 - [c52]François Broquedis
libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms. IWOMP 2012: 102-115 - [c51]João V. F. Lima
Exploiting Concurrent GPU Operations for Efficient Work Stealing on Multi-GPUs. SBAC-PAD 2012: 75-82 - 2011
- [c50]Pierre Manneback
Introduction. Euro-Par (2) 2011: 1 - [c49]Xavier Besseron
Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol. Euro-Par Workshops (2) 2011: 322-332 - [c48]Huafeng Yu
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30 - [c47]Huafeng Yu
System-level co-simulation of integrated avionics using polychrony. SAC 2011: 354-359 - 2010
- [j13]Abdoulaye Gamatié, Thierry Gautier:
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. 21(5): 641-657 (2010) - [c46]Yue Ma, Jean-Pierre Talpin, Thierry Gautier:
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT 2010: 2361-2366 - [c45]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: 137-146 - [c44]Jean-Guillaume Dumas
Generic design of Chinese remaindering schemes. PASCO 2010: 26-34 - [c43]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: 99-107 - [c42]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 (2) 2010: 235-246 - [c41]Jean-Guillaume Dumas
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. ICMS 2010: 77-83 - [c40]Huafeng Yu
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops 2010: 145-151 - [c39]Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE 2010: 199-208 - [p2]Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Compilation of Polychronous Data Flow Equations. Synthesis of Embedded Software 2010: 1-40 - [p1]Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
A Module Language for Typing SIGNAL Programs by Contracts. Synthesis of Embedded Software 2010: 147-171 - [i4]Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch:
Generic design of Chinese remaindering schemes. CoRR abs/1001.4150 (2010) - [i3]Jean-Guillaume Dumas
Generic design of Chinese remaindering schemes. CoRR abs/1005.0830 (2010) - [i2]Jean-Guillaume Dumas
LinBox founding scope allocation, parallel building blocks, and separate compilation. CoRR abs/1009.1317 (2010)
2000 – 2009
- 2009
- [j12]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. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [j11]Julio C. Peralta, Thierry Gautier:
Towards SMV Model Checking of Signal (multi-clocked) Specifications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [j10]Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier:
A metamodel for the design of polychronous systems. J. Log. Algebraic Methods Program. 78(4): 233-259 (2009) - [j9]Samir Jafar, Axel W. Krings, Thierry Gautier:
Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing. IEEE Trans. Dependable Secur. Comput. 6(1): 32-44 (2009) - [c38]Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS 2009: 607-614 - [c37]Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier:
A module language for typing by contracts. NASA Formal Methods 2009: 86-95 - [c36]Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varrette
Dynamic Adaptation Applied to Sabotage Tolerance. PDP 2009: 237-244 - [c35]Mohamed-Slim Bouguerra, Thierry Gautier, Denis Trystram, Jean-Marc Vincent:
A Flexible Checkpoint/Restart Model in Distributed Systems. PPAM (1) 2009: 206-215 - [c34]Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87 - [c33]Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier:
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. FACS@FMWeek 2009: 111-127 - 2008
- [j8]Xavier Besseron
Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables. Tech. Sci. Informatiques 27(3-4): 395-425 (2008) - [c32]Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190 - [c31]Daouda Traoré, Jean-Louis Roch, Nicolas Maillard
Deque-Free Work-Optimal Parallel STL Algorithms. Euro-Par 2008: 887-897 - [c30]Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56 - [c29]Xavier Besseron
Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. MCO 2008: 497-506 - [c28]Yue Ma, Jean-Pierre Talpin, Thierry Gautier:
Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148 - 2007
- [j7]Thierry Gautier, Hamid-Reza Hamidi
Re-scheduling invocations of services for RPC grids. Comput. Lang. Syst. Struct. 33(3-4): 168-178 (2007) - [j6]Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2): 9 (2007) - [c27]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 (2) 2007: 593-600 - [c26]Thierry Gautier, Xavier Besseron
KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors. PASCO 2007: 15-23 - 2006
- [j5]Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic:
Synchronous design of avionic applications based on model refinement. J. Embed. Comput. 2(3-4): 273-289 (2006) - [c25]Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié:
Polychronous mode automata. EMSOFT 2006: 83-92 - [c24]Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin:
A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143 - [i1]Jean-Guillaume Dumas
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages. CoRR abs/cs/0601133 (2006) - 2005
- [j4]El Mostafa Daoudi, Thierry Gautier, Aicha Kerfali, Rémi Revire, Jean-Louis Roch:
Algorithmes parallèles à grain adaptatif et applications. Tech. Sci. Informatiques 24(5): 505-524 (2005) - [c23]Samir Jafar, Thierry Gautier, Axel W. Krings, Jean-Louis Roch:
A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing. Euro-Par 2005: 675-684 - 2004
- [c22]Thierry Gautier, Hamid-Reza Hamidi
Automatic re-scheduling of dependencies in a RPC-based grid. ICS 2004: 89-94 - [c21]Thierry Gautier, Hamid-Reza Hamidi:
High Performance Composition of Services with Data Dependencies on a Computational Grid. PDPTA 2004: 801-805 - 2003
- [c20]Abdoulaye Gamatié, Thierry Gautier:
The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88 - [c19]Rémi Revire, Florence Zara
Efficient and Easy Parallel Implementation of Large Numerical Simulations. PVM/MPI 2003: 663-666 - [c18]Abdoulaye Gamatié, Thierry Gautier:
Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151 - [c17]Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. SLAP 2003: 87-103 - 2002
- [c16]Jean-Guillaume Dumas
Finite field linear algebra subroutines. ISSAC 2002: 63-74 - 2001
- [j3]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. 10(4): 397-451 (2001) - [c15]Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand:
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. CDC 2001: 3284-3289
1990 – 1999
- 1999
- [c14]Thierry Gautier, Niklaus Mannhart:
Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. Euro-Par 1999: 1466-1475 - [c13]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: 1364-1383 - [c12]Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier:
Parallel Computing for Irregular Applications. HPCA 1999: 321 - [c11]Pierre-Eric Bernard, Thierry Gautier, Denis Trystram:
Large Scale Simulation of Parallel Molecular Dynamics. IPPS/SPDP 1999: 638-644 - 1998
- [c10]Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier:
A Translation of Statecharts into Signal Approach of Time, Interoperability. ACSD 1998: 52-62 - 1997
- [c9]Thierry Gautier, Jean-Louis Roch:
NC2 computation of gcd-free basis and application to parallel algebraic numbers computation. PASCO 1997: 31-37 - [c8]David Nowak, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
An ML-Like Module System for the Synchronous Language SIGNAL. Euro-Par 1997: 1244-1253 - 1995
- [c7]Pascal Aubry, Thierry Gautier:
GC: the Data-Flow Graph Format of Synchronous Programming. Intermediate Representations Workshop 1995: 83-93 - [c6]Thierry Gautier, Jean-Louis Roch, Gilles Villard:
Regular versus Irregular Problems and Algorithms. IRREGULAR 1995: 1-25 - 1994
- [c5]Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, Patrice Quinton, Laurence Rideau, Frédéric Rousseau, Olivier Sentieys:
Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES 1994: 25-32 - [c4]Thierry Gautier, Jean-Louis Roch:
PAC++ System and Parallel Algebraic Numbers Computation. PASCO 1994: 145-153 - 1991
- [j2]Paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire:
Programming real-time applications with SIGNAL. Proc. IEEE 79(9): 1321-1336 (1991)
1980 – 1989
- 1989
- [c3]Thierry Gautier, B. Le Goff:
From Synchronous Intensional Programming to Efficient Implementation. RTSS 1989: 249-257 - 1987
- [c2]Thierry Gautier, Paul Le Guernic:
SIGNAL: A declarative language for synchronous programming of real-time systems. FPCA 1987: 257-277 - 1986
- [j1]Paul Le Guernic, Albert Benveniste, Patricia Bournai, Thierry Gautier:
Signal-A data flow-oriented language for signal processing. IEEE Trans. Acoust. Speech Signal Process. 34(2): 362-374 (1986) - [c1]Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai:
Programming Real-Time with Events and Data Flow. IFIP Congress 1986: 469-474
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: