Idioma:

A language for high-level programming of dynamic reconfiguration

Markus Endler Technische Universität Berlin; Gesellscaft für Mathematik und Dataverarbeitung MBH

Localização: IME - Inst. Matemática e Estatística (QA770 E56L )(Acessar)

Título:
A language for high-level programming of dynamic reconfiguration
Autor: Markus Endler
Technische Universität Berlin; Gesellscaft für Mathematik und Dataverarbeitung MBH
Assuntos: Programming languages; Simulation methods; Computer simulation; SOFTWARES
Notas: Thesis (Ph. D)--Technische Universität Berlin, 1992 ; Includes bibliographical references (p. [167]-172)
Descrição: Partial contents: Object based models -- Process based models -- Argus -- HPC -- NIL/Hermes -- LADY -- POLYLITH -- PRONET -- Conic -- Durra --Meta -- Darwin -- Change interface and invocation --Virtual change manager -- The alg orithm of a VCM -- Configuration access discipline -- The reconfiguration language Gerel -- Implementation of Gerel -- Gerel-SL -- The telephone switch example -- The fault-tolerant service example -- Formal static semantics -- The axiomatic denotational language -- Semantics of the base language -- The semantics of Gerel -- Type operator definitions: part 1 -- Type operator definitions: part 2
Títulos relacionados: Série:Berichte der Gesellschaft fr Mathematik und Datenverarbeitung Nr. 210
Data de criação/publicação: c1993
Formato: [xii], 172 p ill. 23 cm.
Idioma: Inglês

Links

Voltar para lista de resultados