Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Utilização de queuing statecharts em um ambiente de simulação automáticoAiza, Thais SouzaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2005-04-11Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Dissertação de Mestrado
|
Mutation Testing Study in SML functional programsYano, ThaiseBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2004-04-16Acesso online |
|
3 |
Material Type: Dissertação de Mestrado
|
Architect-R: uma ferramenta para o desenvolvimento de robôs móveis configuráveisGonçalves, Richard AderbalBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2002-08-23Acesso online |
|
4 |
Material Type: Tese de Doutorado
|
Statecharts estocásticos e queuing statecharts: novas abordagens para avaliação de desempenho baseadas em especificação statechartsFrancês, Carlos Renato LisboaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2001-10-15Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Dissertação de Mestrado
|
Aquisição de Conhecimento Utilizando Aprendizado de Máquina RelacionalCaulkins, Chandler WellingtonBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-08-17Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Dissertação de Mestrado
|
UM GERADOR DE APLICACOES PARA SISTEMAS CONCORRENTES COM UTILIZACAO DE FERRAMENTAS FORMAIS.Vasconcelos, Jose RobertoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1996-08-06Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Tese de Doutorado
|
Servidores de arquivos de alto desempenhoFischer, Carlos NorbertoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Física de São Carlos 1996-03-15Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Dissertação de Mestrado
|
TESTE ESTRUTURAL BASEADO EM FLUXO DE DADOS DE PROGRAMAS CONCORRENTESCosta Neto, José Craveiro DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1995-03-31Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Dissertação de Mestrado
|
SIMULACAO DISTRIBUIDA EM UMA REDE DE TRANSPUTERS UTILIZANDO O METODO CMB.Morselli Junior, João Carlos De MoraesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1995-12-07Acesso online |
|
10 |
Material Type: Dissertação de Mestrado
|
FERRAMENTAS PARA ANALISE DE DESEMPENHO DE SISTEMAS COMPUTACIONAIS DISTRIBUIDOSSousa, Regina Celia Ghislotti DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 1995-04-25Acesso online |