Detalhes do Documento

HiParaGraphs, uma Linguagem de Especificação de Algoritmos de Controlo Paralelo...

Autor(es): Andreia Melo cv logo 1 ; Valery Sklyarov cv logo 2 ; António Ferrari cv logo 3

Data: 2012

Origem: Electrónica e Telecomunicações

Assunto(s): HiParaGraphs; algoritmos de controlo; HiParaGraphs; algoritmos de controlo


Descrição
This paper presents a specification method for describing the behavior of digital control units. It is a formal language that results from an evolution of its predecessor, the HGSs – Hierarchical Graph-Schemes. It is called HiParaGraphs – Hierarchical and Parallel Graphs, and the main objective was to add new facilities, mainly related to parallelism. Este artigo apresenta um método de especificação utilizado para descrever o comportamento de uma unidade de controlo digital. É uma linguagem formal que resultou da evolução da sua antecessora, os HGSs – Hierarchical Graph-Schemes. Denominada HiParaGraphs – Hierachical & Parallel Graphs, esta linguagem pretende acrescentar novas facilidades de paralelismo aos algoritmos de controlo, além de melhorar a especificação anterior com a introdução de novos parâmetros e diferentes tipos de nodos.
Tipo de Documento Artigo
Idioma Português
Editor(es) ;
delicious logo  facebook logo  linkedin logo  twitter logo 
degois logo
mendeley logo

Documentos Relacionados



    Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento União Europeia