Buscas alternativas:
temporalizacoes » temporizacoes (Expandir a busca), temporalizados (Expandir a busca), temporalidades (Expandir a busca)
temporalizacoes » temporizacoes (Expandir a busca), temporalizados (Expandir a busca), temporalidades (Expandir a busca)
1
“... de supervisores de sistemas a eventos discretos temporizados. Essa extensao utiliza o automato temporizado...”
Síntese de supervisores de sistemas a eventos discretos temporizados e não temporizados.
Tese
2
“... de supervisores de sistemas a eventos discretos temporizados. Essa extensao utiliza o automato temporizado...”
Síntese de supervisores de sistemas a eventos discretos temporizados e não temporizados.
Tese
3
4
Assuntos:
“...Grafos de eventos temporizados...”
Estudo e desenvolvimento de técnicas de controle para grafos de eventos temporizados
Dissertação
5
Assuntos:
“...Autômatos temporizados...”
Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados
Dissertação
6
7
“... do sistema. Para tratar os modelos temporizados e desenvolvido um algoritmo para a construção do espaço...”
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
Dissertação
8
“... a confiança no funcionamento dos SIS. Um método para obter automaticamente um modelo de autômato temporizado...”
Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.
Dissertação
9
“... do sistema. Para tratar os modelos temporizados e desenvolvido um algoritmo para a construção do espaço...”
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
Dissertação
10
“... temporizado, que tem como objetivo minimizar a penalidade dos núcleos através uma solução de prefetching...”
Algoritmo de prefetching de dados temporizado para sistemas multiprocessadores baseados em NOC
Dissertação
11
Assuntos:
“...Grafo de eventos temporizados...”
Métodos de controle de fluxo de entrada para sistemas modelados por grafos de eventos temporizados
Tese
12
Assuntos:
“...Autômatos temporizados...”
Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura
Dissertação
13
14
“... a confiança no funcionamento dos SIS. Um método para obter automaticamente um modelo de autômato temporizado...”
Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.
Dissertação
15
Assuntos:
“...Temporizador Trickle...”
Roteamento baseado em entropia de mobilidade para sensores sem fio conectados a Internet das coisas
Dissertação
16
“... p-t-Temporizada e através de simulações, incluindo a avaliação da confiabilidade do processo pela análise...”
Modelagem e análise de performance de sistemas flexíveis de manufatura baseado em redes de Petri temporizadas: estudo de caso na indústria automobilística.
Dissertação
17
18
19
20
Assuntos:
“...Redes de petri temporizadas...”
Uma metodologia para estimativa de área baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design
Dissertação