Alain Gibaud

dblp:99/2486 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
0since 2021 · last 2015
0000-0002-7777-6427ORCID · corroborated

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

Systems, architecture and hardware · 1 · 1 first-authorComputer networks · 1 · 1 first-author

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
Parallel and multicore computing · 61% Distributed systems · 39%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Programming languages and type systems
language semantics
0.012002
Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002
Programming languages and type systems › language semantics › formal semantics
operational semantics
0.012002
Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002
Parallel and multicore computing › parallel programming models › concurrent programming languages
linda
0.012002
Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002
Parallel and multicore computing
parallel programming models
0.012002
Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002
Distributed systems › distributed coordination
tuple space coordination
0.012002
Communications Directed by Bound Types in Linda: Presentation and Formal Model · IEEE Trans. Parallel Distributed Syst. 2002

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

formal operational semantics · 0.1bound types · 0.1
YearPublicationVenuePosition
2015 Message forwarding based on vehicle trajectory history in Fully Distributed Traffic Information Systems
Alain Gibaud, Philippe Thomin
Comput. Commun.1
2002 Communications Directed by Bound Types in Linda: Presentation and Formal Model
abstract
Linda is an elegant parallel and distributed programming model. It is based on a shared associative memory, structured in tuples. We show that this model suffers from the false matching phenomenon. We explain under which conditions this problem occurs, we examine the solutions already proposed to solve it, and we show why they are not sufficient. In this framework, our goal is to propose an extension to the Linda model in order to eliminate the false matching phenomenon. This model-Linda with bound types or B-Linda-suitable for modern programming paradigms, adds an extended-type notion into the basic Linda model. It is first introduced in an informal manner, then we present an implementation of it. Some formal aspects are specified in the appendix: The definition of the model's elements and operational semantics.
Alain Gibaud, Philippe Thomin
IEEE Trans. Parallel Distributed Syst.1