About: Alpha, un langage équationnel pour la conception et la programmation d'architectures parallèles synchrones

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Alpha, un langage équationnel pour la conception et la programmation d'architectures parallèles synchrones Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Author	Mauras, Christophe
alternative label	ALPHA: AN EQUATIONAL LANGUAGE FOR SYNTHETIS AND PROGRAMMING OF SYNCHRONOUS PARALLEL ARCHITECTURES
dc:subject	These Thèses et écrits académiques Parallélisme (informatique) Computer architecture Parallelism Informatique, automatique theorique, systemes Sciences appliquees Thesis Architecture ordinateur Synchronisation Systeme informatique Synchronization Conception circuit Langage programmation Programming language Circuit design Computer system Parallelisme Réseaux systoliques Multiprocesseur Multiprocessor Reseau systolique Systolic network
preferred label	Alpha, un langage équationnel pour la conception et la programmation d'architectures parallèles synchrones
Language	http://lexvo.org/id/iso639-3/fra
Subject	http://www.idref.fr/02787656X/id http://www.idref.fr/027253139/id http://www.idref.fr/029978300/id
dc:title	Alpha, un langage équationnel pour la conception et la programmation d'architectures parallèles synchrones
note	IL EST MONTRE COMMENT LA DEFINITION FORMELLE D'UN LANGAGE SPECIALISE PEUT AIDER A LA CONCEPTION DES SYSTEMES PARALLELES SYNCHRONES. EN EFFET, DE NOMBREUSES METHODES DE SYNTHESE CONNUES PEUVENT S'EXPRIMER COMME DES TRANSFORMATIONS DE PROGRAMMES DANS LE LANGAGE ALPHA. LE LANGAGE, SA SEMANTIQUE AINSI QUE LES DIFERENTES THEORIES ET TECHNIQUES UTILISEES POUR SA MISE EN UVRE SONT DECRITS
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	1989
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/212589628
is rdam:P30135 of	http://www.sudoc.fr/043900143/id http://www.sudoc.fr/126480680/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software