#### Filter Results:

- Full text PDF available (12)

#### Publication Year

1993

2012

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Yann Le Guyadec, Bernard Virot, Gil Utard, Yann Le Guyadecb, Gil Utarda, Bernard Virotb
- 1993

We describe a small kernel language which encapsulates the semantic features of data-parallel control constructs as found in modern data-parallel languages. We give it a denotational semantics, and describe an assertional proof system in the style of Hoare's logic. Our contribution is to use two-part assertions , where the current extent of parallelism is… (More)

Nowadays, most of distributed architectures are MIMD (Multiple Instruction streams, Multiple Data streams) parallel computers or networks of workstations. They are easily scalable, concerning the number of processing elements, the amount of memory or the bandwidth of the underlying communication network. The challenge consists in taking advantage of the… (More)

- Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
- Theor. Comput. Sci.
- 1997

We present a proof system for a simple data-parallel kernel language called L. This proof system is based on a two-component assertion language. We deene a weakest preconditions calculus and analyse its deenability properties. This calculus is used to prove the completeness of the proof system. We also present a two-phase proof methodology, yielding proofs… (More)

- Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot
- CONPAR
- 1994

R esum e Nous pr esentons un calcul des pr econditions les plus faibles, tel que propos e par Dijkstra, pour un langage minimal repr esentatif des langages data-parallels existants. Nous employons un langage d'assertion en deux parties, o u la port ee du parall elisme est sp ecii ee par une expression bool eenne vectorielle distincte. Nous prouvons que les… (More)

- Yann Le Guyadec, Bernard Virot
- Parallel Processing Letters
- 1996

- Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
- The Data Parallel Programming Model
- 1996

We propose an alternate approach to the usual introduction of parallelism in logic programming. Instead of detecting the intrinsic parallelism by an automatic and complex data-ow analysis, or upgrading standard logic languages by explicit concurrent control structures leading to task-oriented languages, we tightly integrate the concepts of the data-parallel… (More)

SYNOPSIS Our work takes place in the general problem of building and controlling homogeneous robotics components that can dynamically reconfigure themselves to adapt their behaviour to a task. We present the design of our basic component, called atom, and the underlying functionalities. We show how these interconnected components may be controlled using a… (More)

- Y Le Guyadec, B Virot
- 1996

We deene a proof system a la Hoare for a common kernel of existing data{parallel languages. It includes conditioning constructs and non{local control transfers such as data{parallel break and continue. Assertions are usual predicates and manipulations of the extent of parallelism are translated into explicit assignments. Therefore, proofs reuse the… (More)

- Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
- ArXiv
- 2012

— One of the most challenging tasks in specification engineering for a multi-agent robotic system is to formally specify and architect the system, especially as a multi-agent robotic system is concurrent having concurrent processing, and often having dynamic environment. The formal requirement and architecture specifications along with step-wise refinement… (More)