Gerador de aplicacoes para sistemas concorrentes com utilizacao de ferramentas formais (1995)
- Authors:
- Autor USP: SANTANA, REGINA HELENA CARLUCCI - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Português
- Imprenta:
- Publisher: Icmsc-Usp
- Publisher place: Sao Carlos
- Date published: 1995
- Conference titles: Workshop de Dissertacao em Andamento
-
ABNT
VASCONCELOS, J R e SANTANA, Regina Helena Carlucci. Gerador de aplicacoes para sistemas concorrentes com utilizacao de ferramentas formais. 1995, Anais.. Sao Carlos: Icmsc-Usp, 1995. . Acesso em: 19 set. 2024. -
APA
Vasconcelos, J. R., & Santana, R. H. C. (1995). Gerador de aplicacoes para sistemas concorrentes com utilizacao de ferramentas formais. In . Sao Carlos: Icmsc-Usp. -
NLM
Vasconcelos JR, Santana RHC. Gerador de aplicacoes para sistemas concorrentes com utilizacao de ferramentas formais. 1995 ;[citado 2024 set. 19 ] -
Vancouver
Vasconcelos JR, Santana RHC. Gerador de aplicacoes para sistemas concorrentes com utilizacao de ferramentas formais. 1995 ;[citado 2024 set. 19 ] - Perfomance evaluation of lan based file server
- Aplicações distribuídas em windows 95 apoiadas por um mecanismo de RPCs orientado a objetos
- Modelagem e simulação: desenvolvimento de ferramentas e utilização de computação paralela
- Avaliação das rotinas de comunicação ponto-a-ponto do mpi
- Um gerador de aplicações para sistema concorrente
- Algoritmos paralelos
- Avaliação da aplicabilidade do padrão de especificação Estelle na construção de modelos de simulação
- Interface gráfica da camada superior do ambiente AMIGO
- Um estudo comparativo de Benchmarks paralelos
- Extensão do ambiente de simulação automático (ASiA) para simulação de redes de computadores
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas