Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Claude Girault

dblp:18/952 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
0since 2021 · last 1996
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 2 · 1 first-authorArtificial intelligence and machine learning · 1Software engineering, systems software and programming languages · 1Databases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 100%
Theoretical computer science
1 paper
Distributed computing theory · 100%

Topics — the 2 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Distributed systems › distributed database
commit protocol
0.011981
The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology · ICSE 1981
Distributed systems
consensus
0.011981
The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology · ICSE 1981

Methods — techniques the papers use, named apart from their topics

proof methodology · 0.0formal specification · 0.0
YearPublicationVenuePosition
1996 A Formalism to Model Task Execution in Distributed Systems
Rajeev Jayaram, Rajib Mall, Lalit M. Patnaik, Claude Girault
Inf. Sci.4
1993 Performance analysis of a pipelined backpropagation parallel algorithm
abstract
The supervised training of feedforward neural networks is often based on the error backpropagation algorithm. The authors consider the successive layers of a feedforward neural network as the stages of a pipeline which is used to improve the efficiency of the parallel algorithm. A simple placement rule is used to take advantage of simultaneous executions of the calculations on each layer of the network. The analytic expressions show that the parallelization is efficient. Moreover, they indicate that the performance of this implementation is almost independent of the neural network architecture. Their simplicity assures easy prediction of learning performance on a parallel machine for any neural network architecture. The experimental results are in agreement with analytical estimates.
Alain Pétrowski, Gérard Dreyfus, Claude Girault
IEEE Trans. Neural Networks3
1982 Petri Net Specification of a New Protocol for Controlling a Distributed System Organization
Pascal Estraillier, Claude Girault
ICDCS2
1981 The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology
Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol
ICSE3
1976 Le projet P.A.R.I.S
Claude Girault, M. Cheminaud, M. F. Le Roch
Euromicro Newsletter1