Uma ferramenta para a construção de protótipos de programas concorrentes (1991)
- Autores:
- Autor USP: KINOSHITA, JORGE - EP
- Unidade: EP
- Sigla do Departamento: PEE
- Assunto: ENGENHARIA ELÉTRICA
- Idioma: Português
- Resumo: O objetivo deste trabalho é o de apresentar uma ferramenta gráfica de auxílio ao projeto de programas concorrentes. Ela é executada no ambiente smalltalk. Antes da implementação (codificação e testes) de um programa concorrente, existe a fase de projeto, onde são definidos os processos que o compõem e a forma como eles se relacionam. A ferramenta é usada nesta fase. Ela permite ao usuário editar, simular e analisar protótipos de programas concorrentes. Os protótipos são descritos através de redes de processos e redes de petri. Através de redes de processos, definidas neste trabalho, é possível descrever a estrutura hierarquica dos processos (como um ativa o outro) e como eles se comunicam entre si. A cada processo da rede de processos pode-se associar uma rede de petri do tipo máquina de estados estendida. A ferramenta permite associar codigo smalltalk as transições. Através da simulação e análise pode-se prever erros tais como "deadlocks" ou protocolos mal definidos.
- Imprenta:
- Data da defesa: 26.04.1991
-
ABNT
KINOSHITA, Jorge. Uma ferramenta para a construção de protótipos de programas concorrentes. 1991. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1991. . Acesso em: 18 set. 2024. -
APA
Kinoshita, J. (1991). Uma ferramenta para a construção de protótipos de programas concorrentes (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. -
NLM
Kinoshita J. Uma ferramenta para a construção de protótipos de programas concorrentes. 1991 ;[citado 2024 set. 18 ] -
Vancouver
Kinoshita J. Uma ferramenta para a construção de protótipos de programas concorrentes. 1991 ;[citado 2024 set. 18 ] - Controle otimizado para elevadores
- Manual do proprietário Computer Card System (CCS)
- Alinhamento de corpus bilíngües: modelos e aplicações
- An example based machine translation system working on trigrams
- Sistema de consumação por cartão
- A transfer dictionary for words and bigrams
- Aspectos de implementação de uma ferramenta de auxílio à tradução inglês-português
- Codificação e decodificacao digital de dados
- Sistema supervisor para no-break - interface UNIX
- Sistema de controle de estacionamento com comunicação via RS-485
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas