Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Universidade Federal do Amazonas" +contributor:("http://lattes.cnpq.br/1132672107627968"). Showing records 1 – 25 of 25 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Lima, Milton Macena Ramos de. Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena.

Degree: 2013, Universidade Federal do Amazonas

Os três Parâmetros de Atitude ou Parâmetros Críticos de Voo Ataque, Guinada e Rolagem são os ângulos que descrevem os movimentos rotacionais de um veículo… (more)

Subjects/Keywords: Visão robótica; VANT; Veículo aéreo não-tripulado; Posicionamento tridimensional; Fluxo óptico; Ângulos de voo.; Robotic Vision; UAV; Unmanned aerial vehicle; Tridimensional positioning; Optical flow; Flight angles.; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lima, M. M. R. d. (2013). Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2914

Chicago Manual of Style (16th Edition):

Lima, Milton Macena Ramos de. “Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena.” 2013. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/2914.

MLA Handbook (7th Edition):

Lima, Milton Macena Ramos de. “Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena.” 2013. Web. 22 Jan 2020.

Vancouver:

Lima MMRd. Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2013. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/2914.

Council of Science Editors:

Lima MMRd. Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena. [Masters Thesis]. Universidade Federal do Amazonas; 2013. Available from: http://tede.ufam.edu.br/handle/tede/2914

2. Rocha, Herbert Oliveira. Verificação e comprovação de erros em códigos C usando bounded model checker.

Degree: 2011, Universidade Federal do Amazonas

A utilização de sistemas baseados em computador em diversos domínios aumentou significativamente nos últimos anos. Um dos principais desafios no desenvolvimento de software de sistemas… (more)

Subjects/Keywords: Model checking; Bounded model checker; Propriedades de segurança; Contra-exemplos; Comprovação de Erros; Model checking; Bounded modelchecker; Safety properties; Counterexamples; Proving errors; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rocha, H. O. (2011). Verificação e comprovação de erros em códigos C usando bounded model checker. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2965

Chicago Manual of Style (16th Edition):

Rocha, Herbert Oliveira. “Verificação e comprovação de erros em códigos C usando bounded model checker.” 2011. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/2965.

MLA Handbook (7th Edition):

Rocha, Herbert Oliveira. “Verificação e comprovação de erros em códigos C usando bounded model checker.” 2011. Web. 22 Jan 2020.

Vancouver:

Rocha HO. Verificação e comprovação de erros em códigos C usando bounded model checker. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2011. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/2965.

Council of Science Editors:

Rocha HO. Verificação e comprovação de erros em códigos C usando bounded model checker. [Masters Thesis]. Universidade Federal do Amazonas; 2011. Available from: http://tede.ufam.edu.br/handle/tede/2965

3. Pinheiro, Diego Quintana. Inserção de Código DVFS-Aware em Sistemas de tempo real críticos.

Degree: 2015, Universidade Federal do Amazonas

Desempenho e consumo de energia são variáveis diretamente proporcionais. Para aumentar o desempenho, é necessário também aumentar o número de instruções por segundo a serem… (more)

Subjects/Keywords: Sistemas Embarcados; Sistemas de Tempo Real, Baixo Consumo de Energia; DVFS Intra-Tarefa; Transformação de Código; DVFS Inter-Tarefa; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pinheiro, D. Q. (2015). Inserção de Código DVFS-Aware em Sistemas de tempo real críticos. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/5248

Chicago Manual of Style (16th Edition):

Pinheiro, Diego Quintana. “Inserção de Código DVFS-Aware em Sistemas de tempo real críticos.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/5248.

MLA Handbook (7th Edition):

Pinheiro, Diego Quintana. “Inserção de Código DVFS-Aware em Sistemas de tempo real críticos.” 2015. Web. 22 Jan 2020.

Vancouver:

Pinheiro DQ. Inserção de Código DVFS-Aware em Sistemas de tempo real críticos. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/5248.

Council of Science Editors:

Pinheiro DQ. Inserção de Código DVFS-Aware em Sistemas de tempo real críticos. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/5248

4. Leitão, Gabriel de Souza. Uma plataforma de suporte ao docente no contexto da Educação Digital.

Degree: 2017, Universidade Federal do Amazonas

Vivemos em uma sociedade tecnológica, por isso, é preciso propor novas metodologias de ensino que integrem os recursos tecnológicos atuais. Porém, apenas criar novos modelos… (more)

Subjects/Keywords: Educação Digital; Sistemas de Tutoria; Ambiente Virtual de Aprendizagem; Sala de Aula Inteligente; Avaliação de Desempenho; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Leitão, G. d. S. (2017). Uma plataforma de suporte ao docente no contexto da Educação Digital. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/5889

Chicago Manual of Style (16th Edition):

Leitão, Gabriel de Souza. “Uma plataforma de suporte ao docente no contexto da Educação Digital.” 2017. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/5889.

MLA Handbook (7th Edition):

Leitão, Gabriel de Souza. “Uma plataforma de suporte ao docente no contexto da Educação Digital.” 2017. Web. 22 Jan 2020.

Vancouver:

Leitão GdS. Uma plataforma de suporte ao docente no contexto da Educação Digital. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2017. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/5889.

Council of Science Editors:

Leitão GdS. Uma plataforma de suporte ao docente no contexto da Educação Digital. [Masters Thesis]. Universidade Federal do Amazonas; 2017. Available from: http://tede.ufam.edu.br/handle/tede/5889

5. Alencar, Márcio André da Costa. Extração descentralizada de conhecimento associativo para internet das coisas.

Degree: 2019, Universidade Federal do Amazonas

A identificação dos padrões de comportamento do usuário é um dos recursos que pode ser incorporado à Internet das Coisas. Encontrar padrões e utilizá-los como… (more)

Subjects/Keywords: Internet das Coisas; Análise Associativa; Sistemas Distribuídos; Mineração Descentralizada; Comportamento de usuários; CIÊNCIAS EXATAS E DA TERRA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alencar, M. A. d. C. (2019). Extração descentralizada de conhecimento associativo para internet das coisas. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7078

Chicago Manual of Style (16th Edition):

Alencar, Márcio André da Costa. “Extração descentralizada de conhecimento associativo para internet das coisas.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7078.

MLA Handbook (7th Edition):

Alencar, Márcio André da Costa. “Extração descentralizada de conhecimento associativo para internet das coisas.” 2019. Web. 22 Jan 2020.

Vancouver:

Alencar MAdC. Extração descentralizada de conhecimento associativo para internet das coisas. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7078.

Council of Science Editors:

Alencar MAdC. Extração descentralizada de conhecimento associativo para internet das coisas. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7078

6. Silva, Francisco Coelho da. Estimador e caracterizador de consumo de energia para software embarcado.

Degree: 2011, Universidade Federal do Amazonas

Consumo de energia nos últimos anos tornou-se um aspecto importante em projetos de sistemas embarcados. A produção e utilização em larga escala dos dispositivos móveis… (more)

Subjects/Keywords: Sistemas Embarcados - Consumo de energia; Grafo de Fluxo de Controle; Múltiplos Cenários Probabilísticos; Ferramenta PESTI; Embedded systems; Energy consumption; Control flow graph; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Silva, F. C. d. (2011). Estimador e caracterizador de consumo de energia para software embarcado. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/3288

Chicago Manual of Style (16th Edition):

Silva, Francisco Coelho da. “Estimador e caracterizador de consumo de energia para software embarcado.” 2011. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/3288.

MLA Handbook (7th Edition):

Silva, Francisco Coelho da. “Estimador e caracterizador de consumo de energia para software embarcado.” 2011. Web. 22 Jan 2020.

Vancouver:

Silva FCd. Estimador e caracterizador de consumo de energia para software embarcado. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2011. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/3288.

Council of Science Editors:

Silva FCd. Estimador e caracterizador de consumo de energia para software embarcado. [Masters Thesis]. Universidade Federal do Amazonas; 2011. Available from: http://tede.ufam.edu.br/handle/tede/3288

7. Passos, Odette Mestrinho. Recomendações de melhoria baseadas na cultura organizacional para iniciativas em melhoria de processo de software.

Degree: 2014, Universidade Federal do Amazonas

A cultura organizacional é um dos fatores mais importantes para o sucesso de uma organização, pois provê tanto as bases de sustentação quanto os rumos… (more)

Subjects/Keywords: Cultura Organizacional; Valores Organizacionais; Melhoria de Processo de Software; Modelos de Tipologias; Recomendações de Melhoria; Software Process Improvement; Typological Models; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Passos, O. M. (2014). Recomendações de melhoria baseadas na cultura organizacional para iniciativas em melhoria de processo de software. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4117

Chicago Manual of Style (16th Edition):

Passos, Odette Mestrinho. “Recomendações de melhoria baseadas na cultura organizacional para iniciativas em melhoria de processo de software.” 2014. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/4117.

MLA Handbook (7th Edition):

Passos, Odette Mestrinho. “Recomendações de melhoria baseadas na cultura organizacional para iniciativas em melhoria de processo de software.” 2014. Web. 22 Jan 2020.

Vancouver:

Passos OM. Recomendações de melhoria baseadas na cultura organizacional para iniciativas em melhoria de processo de software. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2014. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/4117.

Council of Science Editors:

Passos OM. Recomendações de melhoria baseadas na cultura organizacional para iniciativas em melhoria de processo de software. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2014. Available from: http://tede.ufam.edu.br/handle/tede/4117

8. Gonçalves, Rawlinson da Silva. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.

Degree: 2015, Universidade Federal do Amazonas

Os sistemas embarcados têm evoluído significativamente nos últimos anos, principalmente devido aos avanços da tecnologia, a redução dos custos dos equipamentos eletrônicos e a popularização… (more)

Subjects/Keywords: Sistemas Embarcados; Sistemas de Tempo Real; DVFS Intra-Tarefa; Tratamento de Preempções; Embedded Systems; Real Time Systems; DVFS Intra-Task; Low Power Consumption; Preemptions Treatment; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gonçalves, R. d. S. (2015). Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4778

Chicago Manual of Style (16th Edition):

Gonçalves, Rawlinson da Silva. “Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/4778.

MLA Handbook (7th Edition):

Gonçalves, Rawlinson da Silva. “Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa.” 2015. Web. 22 Jan 2020.

Vancouver:

Gonçalves RdS. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/4778.

Council of Science Editors:

Gonçalves RdS. Integração de características preemptivas à técnica de escalonamento dinâmico de tensões e frequências intra-tarefa. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4778

9. Albuquerque, Higo Ferreira. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.

Degree: 2019, Universidade Federal do Amazonas

O processo de otimização exige uma formulação matemática do sistema ou problema a ser otimizado, e considerando que os métodos formais são técnicas baseadas nos… (more)

Subjects/Keywords: Verificadores de programas; Otimização; OptCE; Algoritmo CEGIO; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Albuquerque, H. F. (2019). Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7096

Chicago Manual of Style (16th Edition):

Albuquerque, Higo Ferreira. “Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7096.

MLA Handbook (7th Edition):

Albuquerque, Higo Ferreira. “Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT.” 2019. Web. 22 Jan 2020.

Vancouver:

Albuquerque HF. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7096.

Council of Science Editors:

Albuquerque HF. Uma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMT. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7096

10. Bragança, Hendrio Luis de Souza. Reconhecimento de atividades humanas usando medidas estatísticas dos sensores inerciais dos smartphones.

Degree: 2019, Universidade Federal do Amazonas

 O reconhecimento de atividades humanas (RAH) tem emergido como uma tecnologia revolucionária para monitorar o estilo de vida das pessoas. Com a popularização dos smartphones… (more)

Subjects/Keywords: Reconhecimento de atividades humanas; Representação simbólica; Teoria da informação; Sensores inerciais; Smartphone; Human activity recognition; Symbolic representation; Information theory; Inertial sensors; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bragança, H. L. d. S. (2019). Reconhecimento de atividades humanas usando medidas estatísticas dos sensores inerciais dos smartphones. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7126

Chicago Manual of Style (16th Edition):

Bragança, Hendrio Luis de Souza. “Reconhecimento de atividades humanas usando medidas estatísticas dos sensores inerciais dos smartphones.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7126.

MLA Handbook (7th Edition):

Bragança, Hendrio Luis de Souza. “Reconhecimento de atividades humanas usando medidas estatísticas dos sensores inerciais dos smartphones.” 2019. Web. 22 Jan 2020.

Vancouver:

Bragança HLdS. Reconhecimento de atividades humanas usando medidas estatísticas dos sensores inerciais dos smartphones. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7126.

Council of Science Editors:

Bragança HLdS. Reconhecimento de atividades humanas usando medidas estatísticas dos sensores inerciais dos smartphones. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7126

11. Lima, Wesllen Sousa. Reconhecimento de atividades humanas baseado na análise de fluxo contínuo de dados simbólicos.

Degree: 2019, Universidade Federal do Amazonas

A capacidade de sensoriamento dos smartphones tem permitido o desenvolvimento de soluções para reconhecimento de atividades humanas (do inglês, Human Activity Recognition - HAR) com… (more)

Subjects/Keywords: Smartphones - Tecnologia; Smartphones - Detectores; Reconhecimento de padrões; Algorítmos computacionais; Framework (Arquivo de computador); CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: METODOLOGIA E TÉCNICAS DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lima, W. S. (2019). Reconhecimento de atividades humanas baseado na análise de fluxo contínuo de dados simbólicos. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7202

Chicago Manual of Style (16th Edition):

Lima, Wesllen Sousa. “Reconhecimento de atividades humanas baseado na análise de fluxo contínuo de dados simbólicos.” 2019. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7202.

MLA Handbook (7th Edition):

Lima, Wesllen Sousa. “Reconhecimento de atividades humanas baseado na análise de fluxo contínuo de dados simbólicos.” 2019. Web. 22 Jan 2020.

Vancouver:

Lima WS. Reconhecimento de atividades humanas baseado na análise de fluxo contínuo de dados simbólicos. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7202.

Council of Science Editors:

Lima WS. Reconhecimento de atividades humanas baseado na análise de fluxo contínuo de dados simbólicos. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7202

12. Rocha, Herbert Oliveira. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.

Degree: 2015, Universidade Federal do Amazonas

Um dos principais desafios no desenvolvimento de software é garantir a funcionalidade dos sistemas de software, especialmente em sistemas embarcados críticos, tais como aeronáutico ou… (more)

Subjects/Keywords: Teste de Software; Model Checking; Invariantes de Programas; Transformações de código; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rocha, H. O. (2015). Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/4752

Chicago Manual of Style (16th Edition):

Rocha, Herbert Oliveira. “Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.” 2015. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/4752.

MLA Handbook (7th Edition):

Rocha, Herbert Oliveira. “Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking.” 2015. Web. 22 Jan 2020.

Vancouver:

Rocha HO. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2015. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/4752.

Council of Science Editors:

Rocha HO. Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/4752

13. Valentin, Eduardo Bezerra. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.

Degree: 2017, Universidade Federal do Amazonas

 The power wall is a barrier to improvement in the processor design process due to the power consumption of components. The production of energy optimum… (more)

Subjects/Keywords: Scheduling; Hard real-time; Integer linear programming; Energy constraints; Heterogeneous systems; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Valentin, E. B. (2017). Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/6148

Chicago Manual of Style (16th Edition):

Valentin, Eduardo Bezerra. “Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.” 2017. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/6148.

MLA Handbook (7th Edition):

Valentin, Eduardo Bezerra. “Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.” 2017. Web. 22 Jan 2020.

Vancouver:

Valentin EB. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2017. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/6148.

Council of Science Editors:

Valentin EB. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2017. Available from: http://tede.ufam.edu.br/handle/tede/6148

14. Bezerra, Daniella Rodrigues. Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos.

Degree: 2016, Universidade Federal do Amazonas

Essa tese investiga o problema de como integrar do ponto de vista arquitetural, modelos conceituais e de projeto e manter as diferenças necessárias para viabilizar… (more)

Subjects/Keywords: Modelagem Arquitetural; Linha de Produto de Software; Engenharia Dirigida a Modelos; Linguagem de Domínio Específico; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bezerra, D. R. (2016). Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/6217

Chicago Manual of Style (16th Edition):

Bezerra, Daniella Rodrigues. “Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos.” 2016. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/6217.

MLA Handbook (7th Edition):

Bezerra, Daniella Rodrigues. “Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos.” 2016. Web. 22 Jan 2020.

Vancouver:

Bezerra DR. Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2016. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/6217.

Council of Science Editors:

Bezerra DR. Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2016. Available from: http://tede.ufam.edu.br/handle/tede/6217

15. Rodrigues, Anderson Clayton Barreto. Um arcabouço conceitual para diagnóstico organizacional a respeito da utilização da automação de testes de software.

Degree: 2018, Universidade Federal do Amazonas

Software está presente em todas as áreas da vida contemporânea. De simples vídeo games a complexos sistemas de monitoramento de tráfego aéreo, os riscos envolvidos… (more)

Subjects/Keywords: Teste de Software; Automação; Engenharia de Software; Software testing; Automation; Software engineering; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: METODOLOGIA E TÉCNICAS DA COMPUTAÇÃO: ENGENHARIA DE SOFTWARE

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rodrigues, A. C. B. (2018). Um arcabouço conceitual para diagnóstico organizacional a respeito da utilização da automação de testes de software. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6501

Chicago Manual of Style (16th Edition):

Rodrigues, Anderson Clayton Barreto. “Um arcabouço conceitual para diagnóstico organizacional a respeito da utilização da automação de testes de software.” 2018. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/6501.

MLA Handbook (7th Edition):

Rodrigues, Anderson Clayton Barreto. “Um arcabouço conceitual para diagnóstico organizacional a respeito da utilização da automação de testes de software.” 2018. Web. 22 Jan 2020.

Vancouver:

Rodrigues ACB. Um arcabouço conceitual para diagnóstico organizacional a respeito da utilização da automação de testes de software. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2018. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/6501.

Council of Science Editors:

Rodrigues ACB. Um arcabouço conceitual para diagnóstico organizacional a respeito da utilização da automação de testes de software. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6501

16. Santos, Marco Aurélio dos. Localização em ambientes internos utilizando PDR e Wi-Fi.

Degree: 2018, Universidade Federal do Amazonas

Os sistemas de posicionamento internos permitem a localização de pessoas ou certos objetos em ambientes internos, assim como ajudam na navegação e orientação. As propostas… (more)

Subjects/Keywords: Localização em Ambientes Internos; Localização em Interiores; Indoor Location; Wi-Fi; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Santos, M. A. d. (2018). Localização em ambientes internos utilizando PDR e Wi-Fi. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6517

Chicago Manual of Style (16th Edition):

Santos, Marco Aurélio dos. “Localização em ambientes internos utilizando PDR e Wi-Fi.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/6517.

MLA Handbook (7th Edition):

Santos, Marco Aurélio dos. “Localização em ambientes internos utilizando PDR e Wi-Fi.” 2018. Web. 22 Jan 2020.

Vancouver:

Santos MAd. Localização em ambientes internos utilizando PDR e Wi-Fi. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/6517.

Council of Science Editors:

Santos MAd. Localização em ambientes internos utilizando PDR e Wi-Fi. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6517

17. Silva, Sergio Deodoro de Souza. Uma proposta de solução em hardware para o problema das p-medianas utilizando algoritmo genético e unidades de processamento softcore.

Degree: 2019, Universidade Federal do Amazonas

A tomada de decisão é uma atividade recorrente no cotidiano comercial, militar e industrial, ocorrendo em diferentes instâncias e frente a problemas diversos. Ferramentas de… (more)

Subjects/Keywords: Alocação de facilidades; Hardware reconfigurável; Algoritmo genético; Problema das p-medianas; Ferramentas de otimização; Allocation of facilities; Reconfigurable hardware; Genetic algorithm; Problem of the p-medians; Optimization tool; ENGENHARIAS: ENGENHARIA ELÉTRICA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Silva, S. D. d. S. (2019). Uma proposta de solução em hardware para o problema das p-medianas utilizando algoritmo genético e unidades de processamento softcore. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7104

Chicago Manual of Style (16th Edition):

Silva, Sergio Deodoro de Souza. “Uma proposta de solução em hardware para o problema das p-medianas utilizando algoritmo genético e unidades de processamento softcore.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7104.

MLA Handbook (7th Edition):

Silva, Sergio Deodoro de Souza. “Uma proposta de solução em hardware para o problema das p-medianas utilizando algoritmo genético e unidades de processamento softcore.” 2019. Web. 22 Jan 2020.

Vancouver:

Silva SDdS. Uma proposta de solução em hardware para o problema das p-medianas utilizando algoritmo genético e unidades de processamento softcore. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7104.

Council of Science Editors:

Silva SDdS. Uma proposta de solução em hardware para o problema das p-medianas utilizando algoritmo genético e unidades de processamento softcore. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7104

18. Cruz, Anderson Araújo da. Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução.

Degree: 2019, Universidade Federal do Amazonas

Desenvolver a percepção emocional dos computadores é uma tendência tecnológica. O reconhecimento de emoção compõe sistemas cognitivos com aplicabilidade em diversas áreas. A expressão facial… (more)

Subjects/Keywords: Redes neurais (Computação); Aprendizado do computador; Reconhecimento de padrões; Expressão facial; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO; Reconhecimento de emoção; Expressão facial; Redes neurais de convolução; Computação afetiva; Detecção de afeto

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cruz, A. A. d. (2019). Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7320

Chicago Manual of Style (16th Edition):

Cruz, Anderson Araújo da. “Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7320.

MLA Handbook (7th Edition):

Cruz, Anderson Araújo da. “Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução.” 2019. Web. 22 Jan 2020.

Vancouver:

Cruz AAd. Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7320.

Council of Science Editors:

Cruz AAd. Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7320

19. Santos Junior, Carlos Raimundo Pereira dos. Consenso em sistemas multiagentes heterogêneos: uma abordagem robusta aplicada a veículos robóticos.

Degree: 2019, Universidade Federal do Amazonas

O termo consenso, quando associado a sistemas multiagentes, está relacionado a uma estratégia de controle que possibilite a esse grupo de agentes, por meio da… (more)

Subjects/Keywords: Inteligência artificial; Robôs industriais; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO; Consenso; Sistemas multiagentes; Veículos robóticos; Desigualdades matriciais lineares

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Santos Junior, C. R. P. d. (2019). Consenso em sistemas multiagentes heterogêneos: uma abordagem robusta aplicada a veículos robóticos. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7313

Chicago Manual of Style (16th Edition):

Santos Junior, Carlos Raimundo Pereira dos. “Consenso em sistemas multiagentes heterogêneos: uma abordagem robusta aplicada a veículos robóticos.” 2019. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7313.

MLA Handbook (7th Edition):

Santos Junior, Carlos Raimundo Pereira dos. “Consenso em sistemas multiagentes heterogêneos: uma abordagem robusta aplicada a veículos robóticos.” 2019. Web. 22 Jan 2020.

Vancouver:

Santos Junior CRPd. Consenso em sistemas multiagentes heterogêneos: uma abordagem robusta aplicada a veículos robóticos. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7313.

Council of Science Editors:

Santos Junior CRPd. Consenso em sistemas multiagentes heterogêneos: uma abordagem robusta aplicada a veículos robóticos. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7313

20. Mour?o, Andreza Bastos. Modelo Inclusivo de Desenvolvimento de Objetos de Aprendizagem Acess?veis.

Degree: 2019, Universidade Federal do Amazonas

A Educa??o Inclusiva est? diretamente relacionada com as pr?ticas pedag?gicas que apoiam m?todos significativos e acess?veis promovendo a igualdade de oportunidades e a valoriza??o dos… (more)

Subjects/Keywords: Educa??o inclusiva; Projeto de acessibilidade para estudantes com defici?ncia; CI?NCIAS EXATAS E DA TERRA: CI?NCIA DA COMPUTA??O; Educa??o Inclusiva; Objetos de Aprendizagem Acess?veis; Engenharia de Requisitos; Modelo Inclusivo

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mour?o, A. B. (2019). Modelo Inclusivo de Desenvolvimento de Objetos de Aprendizagem Acess?veis. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7469

Chicago Manual of Style (16th Edition):

Mour?o, Andreza Bastos. “Modelo Inclusivo de Desenvolvimento de Objetos de Aprendizagem Acess?veis.” 2019. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7469.

MLA Handbook (7th Edition):

Mour?o, Andreza Bastos. “Modelo Inclusivo de Desenvolvimento de Objetos de Aprendizagem Acess?veis.” 2019. Web. 22 Jan 2020.

Vancouver:

Mour?o AB. Modelo Inclusivo de Desenvolvimento de Objetos de Aprendizagem Acess?veis. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7469.

Council of Science Editors:

Mour?o AB. Modelo Inclusivo de Desenvolvimento de Objetos de Aprendizagem Acess?veis. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7469

21. Teófilo, Mauro Ricardo da Silva. Enabling deaf or hard of hearing accessibility in live theaters through virtual reality.

Degree: 2019, Universidade Federal do Amazonas

Avanços recentes em Realidade Virtual (RV) fizeram dela uma tecnologia potencial para melhorar o entendimento entre surdos ou pessoas com deficiência auditiva. Com base nisso,… (more)

Subjects/Keywords: Realidade virtual; Acessibilidade; Distúrbios da audição; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO: SISTEMAS DE COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Teófilo, M. R. d. S. (2019). Enabling deaf or hard of hearing accessibility in live theaters through virtual reality. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7204

Chicago Manual of Style (16th Edition):

Teófilo, Mauro Ricardo da Silva. “Enabling deaf or hard of hearing accessibility in live theaters through virtual reality.” 2019. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7204.

MLA Handbook (7th Edition):

Teófilo, Mauro Ricardo da Silva. “Enabling deaf or hard of hearing accessibility in live theaters through virtual reality.” 2019. Web. 22 Jan 2020.

Vancouver:

Teófilo MRdS. Enabling deaf or hard of hearing accessibility in live theaters through virtual reality. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7204.

Council of Science Editors:

Teófilo MRdS. Enabling deaf or hard of hearing accessibility in live theaters through virtual reality. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7204

22. Cavalcante, Thiago Rodrigo F?lix. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.

Degree: 2019, Universidade Federal do Amazonas

Neste trabalho, uma abordagem para a realiza??o de verifica??o e s?ntese de sistemas de controle discreto com realimenta??o de estados foi descrita, levando-se em considera??o… (more)

Subjects/Keywords: Sistemas de controle inteligente; Sistemas de controle digital; Sistemas de controle por realimenta??o; ENGENHARIAS; Sistemas de controle; Verifica??o de Par?metros de Desempenho; S?ntese

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cavalcante, T. R. F. (2019). Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7470

Chicago Manual of Style (16th Edition):

Cavalcante, Thiago Rodrigo F?lix. “Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. https://tede.ufam.edu.br/handle/tede/7470.

MLA Handbook (7th Edition):

Cavalcante, Thiago Rodrigo F?lix. “Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil.” 2019. Web. 22 Jan 2020.

Vancouver:

Cavalcante TRF. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2020 Jan 22]. Available from: https://tede.ufam.edu.br/handle/tede/7470.

Council of Science Editors:

Cavalcante TRF. Verifica??o e s?ntese de controladores de realimenta??o de estados est?tica com garantias formais de desempenho n?o fr?gil. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7470

23. Teófilo, Mauro Ricardo da Silva. Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel.

Degree: 2007, Universidade Federal do Amazonas

Com o uso intenso de aplicativos em aparelho celulares a questão da usabilidade passa a vigorar fortemente como objeto de estudo, sendo considerado um fator… (more)

Subjects/Keywords: Usabilidade; Método de interação com o usuário; Framework de desenvolvimento; Desenvolvimento de aplicativos J2ME; Telefonia móvel; Usabilidade; método de interação com o usuário; framework de desenvolvimento; desenvolvimento de aplicativos J2ME; telefonia móvel;

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Teófilo, M. R. d. S. (2007). Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2917

Chicago Manual of Style (16th Edition):

Teófilo, Mauro Ricardo da Silva. “Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel.” 2007. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/2917.

MLA Handbook (7th Edition):

Teófilo, Mauro Ricardo da Silva. “Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel.” 2007. Web. 22 Jan 2020.

Vancouver:

Teófilo MRdS. Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2007. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/2917.

Council of Science Editors:

Teófilo MRdS. Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel. [Masters Thesis]. Universidade Federal do Amazonas; 2007. Available from: http://tede.ufam.edu.br/handle/tede/2917

24. Freitas, Romulo Devezas. Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.

Degree: 2005, Universidade Federal do Amazonas

 No contexto restritivo dos sistemas embarcados de tempo real críticos, a geração de código escalonado mostra-se uma maneira eficiente de proporcionar previsibilidade e demais garantias… (more)

Subjects/Keywords: Semântica de Passo, Redes de Petri, Escalonamento Estático, Síntese Software.; Semântica de Passo; Redes de Petri; Escalonamento Estático; Síntese Software; Step semantic; Petri Web; Synthesis of software; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Freitas, R. D. (2005). Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2938

Chicago Manual of Style (16th Edition):

Freitas, Romulo Devezas. “Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.” 2005. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/2938.

MLA Handbook (7th Edition):

Freitas, Romulo Devezas. “Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.” 2005. Web. 22 Jan 2020.

Vancouver:

Freitas RD. Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2005. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/2938.

Council of Science Editors:

Freitas RD. Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. [Masters Thesis]. Universidade Federal do Amazonas; 2005. Available from: http://tede.ufam.edu.br/handle/tede/2938

25. Custódio, Marcelo Monteiro. Verificação de modelos uml de software embarcado com model checking.

Degree: 2008, Universidade Federal do Amazonas

Os sistemas embarcados possuem inegável importância na sociedade atual. Eles possuem restrições temporais (quando são de tempo real), de gerência de consumo de energia, tamanho,… (more)

Subjects/Keywords: UML; Redes de petri; Sistemas embarcados; Métodos formais; UML; Petri nets; Embedded systems; Formal methods; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Custódio, M. M. (2008). Verificação de modelos uml de software embarcado com model checking. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2956

Chicago Manual of Style (16th Edition):

Custódio, Marcelo Monteiro. “Verificação de modelos uml de software embarcado com model checking.” 2008. Masters Thesis, Universidade Federal do Amazonas. Accessed January 22, 2020. http://tede.ufam.edu.br/handle/tede/2956.

MLA Handbook (7th Edition):

Custódio, Marcelo Monteiro. “Verificação de modelos uml de software embarcado com model checking.” 2008. Web. 22 Jan 2020.

Vancouver:

Custódio MM. Verificação de modelos uml de software embarcado com model checking. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2008. [cited 2020 Jan 22]. Available from: http://tede.ufam.edu.br/handle/tede/2956.

Council of Science Editors:

Custódio MM. Verificação de modelos uml de software embarcado com model checking. [Masters Thesis]. Universidade Federal do Amazonas; 2008. Available from: http://tede.ufam.edu.br/handle/tede/2956

.