(No Subject)

[pereira@ubolib.univ-brest.fr (Lionel Pereira)]

Etudiant en Maitrise d'Informatique a Brest (Universite de Bretagne Occidentale - U.B.O),
je suis a la recherche de renseignements sur CENTAUR.
Le sujet de mon projet de Maitrise concerne le portage UNITY sur CENTAUR.
Actuellement, UNITY est en cours d'evaluation en tant que langage de description
des algorithmes implantes dans le reseau logique d'ARMEN.
Cette derniere etant une realisation experimentale constituee d'une machine M.I.M.D.
couplee a une ressource logique reconfigurable partagee a base de F.P.G.A.
developpee au LIBr sous la direction de Bernard Pottier.
Il s'est avere que de nombreuses transformations de programme sont necessaires
afin de pouvoir garantir l'integrite semantique du langage face aux contraintes
imposees par le materiel (probleme de synchronisations, atomicite, delai de propagation
du signal, etc ...).
Le portage UNITY sur CENTAUR, devait permettre la mise en place de ces transformations.

Afin de pouvoir faire une presentation exhaustive de CENTAUR, il me faudrait
les informations suivantes :

	. raisons invoquees pour le developpement de CENTAUR,
	  instigateur(s) et nature du projet (Europeen,(inter)national),
	  date de lancement des etudes et date de sortie de la prmiere version,
	  nombre d'equipes concernees, perspectives d'evolutions, etc ...

	. criteres retenus dans le choix des differents formalismes METAL, PPML, TYPOL,
	  et des langages de developpement LISP et PROLOG.

	. references de theses, rapport de D.E.A., ou autres travaux qui ont utilises plus
          ou moins directement CENTAUR.

	. comparatifs entre CENTAUR et d'autres outils de meme type.

	. conferences ou seminaires a venir sur le sujet.

	. etc ...


Voici mon adresse personnelle pour l'envoi de documents (le cas echeant) :

	MR LIONEL PEREIRA
	15 Rue de LANVIAN 
	29200 - BREST

	TEL : 98.46.56.25.
	 ou   98.47.25.58.

Dans l'attente d'une reponse, veullez agreer l'expression de toute ma consideration.

					LIONEL PEREIRA.