Diagramas De Decisao Binaria
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. Estudo sobre modelagem e avaliação de confiabilidade em redes óticas / Study on reliability modeling and evaluation of optical networks
Nos dias de hoje, as redes de comunicação têm se mostrado cada vez mais vitais e importantes, pois provêm conexões locais, regionais e internacionais para voz, dados e vídeo. Num mundo globalizado, elas desempenham um papel importante na economia e nas relações humanas, de tal maneira que a sua indisponibilidade, ainda que por pouco tempo, pode causa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/06/2010
-
2. Um algoritmo formal para remoção de redundâncias / A formal algorithm for redundancy removal
Os algoritmos para síntese de circuitos digitais em geral visam a melhoria de uma função de custo composta de quatro critérios: área, desempenho, potência e testabilidade. Normalmente estes algoritmos conseguem uma relação de compromisso para a otimização de dois critérios. Efeitos indesejáveis também podem surgir com a otimização de um destes
Publicado em: 2007
-
3. Um verificador de modelos explícito-simbólico
Neste trabalho, propomos uma modelagem que combina representações explícitas e simbólicas em um modelo de verificação formal explícito-simbólico. Os modelos explícitos e simbólicos têm sido usados com sucesso na verificação de sistemas concorrentes de estados finitos, como circuitos sequenciais complexos e protocolos de comunicação. A modelage
Publicado em: 2005