Karla Darlene Nepomuceno Ramos
Professora do Departamento de Computação da Universidade do Estado do Rio Grande do Norte (UERN)/Campus de Natal, atuando como professora no Curso de Ciência da Computação, pesquisadora no grupo de pesquisa de Sistemas Embarcados e de Tempo Real (GSET-UERN) e Chefe do Setor dos Cursos de Extensão da Escola da UERN Cursos e Atividades - EdUCA. É mestre em Sistemas e Computação e doutora em Engenharia Elétrica e Computação pela Universidade Federal do Rio Grande do Norte, em 2002 e 2007, respectivamente. Áreas de interesse de pesquisa: sistemas integrados, redes-em-chip, métodos formais e redes de sensores sem fio.
Informações coletadas do Lattes em 31/05/2022
Acadêmico
Formação acadêmica
Doutorado em Pós-graduação em Eng. Elétrica e de Computação
2002 - 2007
Universidade Federal do Rio Grande do Norte
Título: CADZ:Uma Metodologia de Projeto Baseada em Z para Redes-em-Chip
Ivan Saraiva Silva. Palavras-chave: Redes-em-chip; System-on-Chip; Métodos Formais.
Mestrado em Sistemas e Computação
1999 - 2002
Universidade Federal do Rio Grande do Norte
Título: PAPÍLIO: Proposta de um Algoritmo de Criptografia Baseado no Algoritmo Viterbi e Codificação Convolucional,Ano de Obtenção: 2002
Orientador: Ivan Saraiva Silva
Formação complementar
2006 - 2006
Ferramentas de Apoio a Construção de Software Conc. (Carga horária: 8h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2006 - 2006
Modelagem e Validação de Sistemas Utilizando Redes. , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2000 - 2000
Microcontroladores. (Carga horária: 8h). , Universidade Federal de Pernambuco, UFPE, Brasil.
2000 - 2000
Minicurso Segurança em Redes. (Carga horária: 20h). , Universidade Federal do Rio Grande do Norte, UFRN, Brasil.
2000 - 2000
Automação Industrial Robótica. (Carga horária: 10h). , Universidade Federal de Pernambuco, UFPE, Brasil.
2000 - 2000
Sistemas Embarcados. (Carga horária: 8h). , Universidade Federal de Pernambuco, UFPE, Brasil.
2000 - 2000
Prototipação Rápida de Circuitos Integrados Digita. (Carga horária: 8h). , Universidade Federal de Pernambuco, UFPE, Brasil.
1999 - 1999
Curso Básico de Telecomunicação. (Carga horária: 120h). , Centro Federal de Educação Tecnológica do Rio Grande do Norte, CEFET, Brasil.
1998 - 1998
Banco de Dados Temporais. (Carga horária: 8h). , Universidade Federal de Minas Gerais, UFMG, Brasil.
1984 - 1984
Ciência dos Computadores e Programação Cobol. (Carga horária: 110h). , Fundação Educacional de Fortaleza, FUNEFOR, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: ARQUITETURA DE COMPUTADORES.
Organização de eventos
RAMOS, Karla D. N. ; SILVA, A. J. . #include<2017.1>. 2017. (Outro).
RAMOS, KARLA D. N. ; CAMARA, M. H. F. ; REZENDE, J. F. D. . Café com Informação - Ciclo de Palestras. 2017. (Outro).
RAMOS, Karla D. N. ; SILVA, A. J. . #include<2016.2>. 2016. (Outro).
RAMOS, KARLA D. N. ; FONSECA, C. A. G. ; ROCHA, B. G. ; LOPES NETO, S. G. ; OLIVEIRA, F. D. M. ; FARIAS, A. B. ; OLIVEIRA FILHO, I. L. ; SANTOS, C. A. A. ; NASI, J. C. S. ; SOUZA, S. J. ; MAIA, J. B. . Café com Informação - Ciclo de Palestras. 2016. (Outro).
RAMOS, KARLA D. N. ; FONSECA, C. A. G. ; ROCHA, B. G. ; NASCIMENTO, A. T. S. ; SANTOS, C. A. A. ; FARIAS, A. B. . Café com Informação - Ciclo de Palestras. 2015. (Outro).
RAMOS, Karla D. N. ; ARAUJO, S. R. F. . III Workshop de Sistemas Embarcados do Semiárido do Nordeste - WSESANE. 2013. (Outro).
RAMOS, Karla D. N. ; ARAUJO, S. R. F. ; CASILO, L. A. . II Workshop de Sistemas Embarcados do Semiárido do Nordeste - WSESANE. 2011. (Outro).
RAMOS, Karla D. N. ; SILVA, Ivan S. ; Susin, A. A. ; KREUTZ, M. E. . I Workshop de Sistemas Embarcados do Semiárido do Nordeste - WSESANE. 2010. (Outro).
RAMOS, Karla D. N. ; RIBEIRO, Claudia M. F. A. ; CASILLO, D. S. S. ; Lima, R. W. ; ARAUJO, S. R. F. ; CASTRO, A. F. ; LIMA JUNIOR, F. C. ; ALVES FILHO, S. E. ; LOPES, D. C. . III Escola Potiguar de Computação e suas Aplicações - EPOCA. 2010. (Outro).
SILVA, Ivan S. ; RAMOS, Karla D. N. ; SOUSA, F. R. . Chip on the Dunes. 2009. (Congresso).
RAMOS, Karla D. N. ; SILVA, Ivan S. . Olimpíada de Experimentos em Microeletrônica ? OEMicro. 2009. (Outro).
RAMOS, KARLA D. N. ; FONSECA, C. A. G. ; ROCHA, B. G. ; LOPES NETO, S. G. ; OLIVEIRA, F. D. M. ; FARIAS, A. B. ; OLIVEIRA FILHO, I. L. ; SANTOS, C. A. A. ; NASI, J. C. S. ; SOUZA, S. J. ; MAIA, J. B. . Café com Informação - Ciclo de Palestras. 2016. (Outro).
RAMOS, KARLA D. N. ; FONSECA, C. A. G. ; ROCHA, B. G. ; NASCIMENTO, A. T. S. ; SANTOS, C. A. A. ; FARIAS, A. B. . Café com Informação - Ciclo de Palestras. 2015. (Outro).
Participação em eventos
XI Colóquio de Extensão da UERN - IV Salão de Extensão.EdUCA REDUZINDO AS DESIGUALDADES SOCIAIS. 2018. (Encontro).
Escola de Sistemas Embarcados - ESSE. 2012. (Outra).
Escola Potiguar de Computação e suas Aplicações - EPOCA.Protocolo Zigbee em Redes de Comunicação Intraveicular. 2012. (Outra).
Simpósio Brasileiro de Engenharia e Sistemas Computacionais - SBESC. 2012. (Simpósio).
14th Btrazilian Symposium on Formal Methods (SBMF 2011).Supporting NoC Projects with a Formal QoS-aware Model. 2011. (Simpósio).
Escola de Sistemas Embarcados.Uso de Métodos Formais em Projeto de Hardware. 2011. (Outra).
Escola Potiguar de Computação e suas Aplicações - EPOCA.Especificando Formalmente Topologias para Redes em Chip. 2011. (Outra).
I Congresso FAPERN de Ciência, Tecnologia e Inovação do Rio Grande do Norte. Desenvolvimento de Arquiteturas para Compressão de Vídeo em Sistemas Embarcados baseado no Padrão H.264/AVC. 2011. (Congresso).
II Workshop de Sistemas Embarcados do Semiárido do Nordeste - WSESANE.Síntese de Alto Nível. 2011. (Simpósio).
Motores do Desenvolvimento do Rio Grande do Norte - Seminário Inovação e Tecnologia. 2011. (Seminário).
XXIV Symposium on Integrated Circuits and Systems Design. 2011. (Simpósio).
62a. Reunião Anual da SBPC. 2010. (Outra).
Workshop de Sistemas Embarcados do Semiárido do Nordeste - WSESANE.Utilização de Métodos Formais em Projeto de Hardware. 2010. (Simpósio).
XXIII Symposium on Integrated Circuits ans System Design. 2010. (Simpósio).
I Simpósio de Ciência e Tecnologia: Soluções Integradas para uma Gestão Compartilhada. 2008. (Simpósio).
X Curso de Qualidade. 2008. (Encontro).
XXVIII Congresso da Sociedade Brasileira de Computação. 2008. (Congresso).
Brasilian Symposium on Formal Methods. 2006. (Simpósio).
Chip on the Reefs. 2004. (Simpósio).
X Workshop Iberchip. X Workshop IBERCHIP. 2004. (Congresso).
Telecongresso de Tecnologias da Informação. 2003. (Outra).
VI Simpósio Brasileiro de Sistemas Multimídia e Hipermídia. 2000. (Simpósio).
XII Symposium on Integrated Circuits and Systems Design. 1999. (Congresso).
XVIII Congresso da Sociedade Brasileira de Computação. 1998. (Congresso).
Participação em bancas
BEDREGAL, B. R. C.; OLIVEIRA FILHO, I. L.;RAMOS, KARLA D. N.; VENANCIO NETO, A. J.. Implementação do Algoritmo Criptográfico Papílio Versátil na Biblioteca OpenSSL. 2019. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MEDEIROS NETO, Francisco Dantas de;RAMOS, KARLA D. N.; SILVA, L. F.; OLIVEIRA FILHO, I. L.. Avaliando a Relação entre os Escopos de Requisitos e Código: Um Estudo Envolvendo Sistemas em Evolução. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
VALE, M. R. B. G.; CASILLO, L. A.;RAMOS, KARLA D. N.; CASILLO, D. S. S.. Estudo de esempenho de um Controlador Fuzzy Descrito em VHDL para um Sistema de Tanques. 2017. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
ARAUJO, S. R. F.; CASILLO, L. A.;RAMOS, KARLA D. N.; KREUTZ, M. E.. Estendendo a ISA do IPNoSys para implementação de Software Pipelining. 2016. Dissertação (Mestrado em Prog.Pós-grad.em Ciência da Computação UERN/UFERSA) - Universidade Federal Rural do Semi-Árido.
ARAUJO, S. R. F.; SILVA, G. G. B.;SILVA, Ivan S.RAMOS, Karla D. N.. O Impacto da Hierarquia de Memória sobre a Arquitetura IPNOSYS. 2016. Dissertação (Mestrado em Prog.Pós-grad.em Ciência da Computação UERN/UFERSA) - Universidade Federal Rural do Semi-Árido.
ARAUJO, S. R. F.;RAMOS, Karla D. N.SILVA, Ivan S.. Projeto e Implementação de um MPSoC utilizando a IPNoSys como Unidade de Processamento. 2014. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal Rural do Semi-Árido.
Lima, R. W.;RAMOS, KARLA D. N.; MIRANDA, L. C.. Integrando o Network Simulator 2.0 a um ambiente Virtual de Aprendizagem. 2014. Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
KREUTZ, M. E.;RAMOS, Karla D. N.; LOPES, A. B.; BARROS, E. N. S.. Proposta de um modelo de execução orientado a dados para a arquitetura de rede em chip Ipnosys. 2012. Dissertação (Mestrado em Programa de Pós-Graduação em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
OLIVEIRA, J. A. N.; DORIA NETO, A. D.; MELO, J. D.; BARBALHO, D. S.;RAMOS, Karla D. N.; LOPES, D. C.. Desenvolvimento de uma arquitetura em hardware prototipada em FPGA para aplicações genéricas utilizando redes neurais artificiais embarcadas. 2011. Dissertação (Mestrado em Prog.de Pós-Graduação em Eng.Elétrica e Computação) - Universidade Federal do Rio Grande do Norte.
RAMOS, Karla D. N.SILVA, Ivan S.; KREUTZ, M. E.; RIBEIRO, Claudia M. F. A.. Uma Abordagem Formal para Modelagem de QoS em Redes em Chip. 2011. Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.
Ribeiro Neto, P. F.; ANDRADE, R. M. C.;RAMOS, Karla D. N.. Uma arquitetura parametrizável para sistemas embarcados: um Estudo de Caso. 2011. Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.
BEDREGAL, B. R. C.RAMOS, Karla D. N.SILVA, Ivan S.; QUEIROZ, R. J. G. B.; Lima, J. D.. Criptoanálise Diferencial do Papílio. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SILVA, Ivan S.RAMOS, Karla D. N.; KREUTZ, M. E.; RIBEIRO, Claudia M. F. A.. Arquitetura Hardware/Software de um Núcleo NCAP segundo o Padrão IEEE 1451.1: Uma Prova de Conceito. 2010. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
SALAZAR, A. O.; DORIA NETO, A. D.;RAMOS, KARLA D. N.; RIBEIRO, Claudia M. F. A.; GUIMARAES, A. M. F.. FTE-LEACH: Um Protocolo Energeticamente Eficiente e Tolerante a Falhas Aplicado às Redes Industriais de Sensores sem Fio. 2015. Tese (Doutorado em Prog. Pós-Grad. em Eng. Elétrica e de Computação) - Universidade Federal do Rio Grande do Norte.
DORIA NETO, A. D.; OLIVEIRA, J. A. N.;RAMOS, KARLA D. N.; LOPES, D. C.; MELO, J. D.; BARBALHO, D. S.. Implementação de uma Matriz de Neurônios Dinamicamente Reconfigurável para Descrição de Topologias de Redes Neurais Artificiais Multilayer Perceptrons. 2015. Tese (Doutorado em Prog. Pós-Grad. em Eng. Elétrica e de Computação) - Universidade Federal do Rio Grande do Norte.
SALAZAR, A. O.; Silveira, L. F. Q; Vidal, F. J. T.; VILLANUEVA, J. M. M.;RAMOS, Karla D. N.. Estudo e Desenvolvimento de Algoritmos Criptográficos para Redes de Sensores sem Fio, utilizando técnica de Programação Genética. 2015. Tese (Doutorado em Prog. Pós-Grad. em Eng. Elétrica e de Computação) - Universidade Federal do Rio Grande do Norte.
SILVA, Ivan S.RAMOS, Karla D. N.; LOPES, D. C.;BEDREGAL, B. R. C.; PEREIRA, M. M.. Metodologia para adaptação de microarquiteturas microprogramadas soft-core à uma ISA padrão: Estudo do Impacto sobre a complexidade de hardware para o padrão MIPS. 2013. Tese (Doutorado em Pós-graduação em Eng. Elétrica e de Computação) - Universidade Federal do Rio Grande do Norte.
SALAZAR, A. O.;RAMOS, Karla D. N.; GUIMARAES, A. M. F.; VALENTIM, R. A. M.. Desenvolvimento de algoritmo de programação genética para projeto de algoritmo criptográfico para redes de sensores sem fio. 2013. Exame de qualificação (Doutorando em Pós-graduação em Eng. Elétrica e de Computação) - Universidade Federal do Rio Grande do Norte.
RAMOS, Karla D. N.SILVA, Ivan S.; Susin, A. A.; KREUTZ, M. E.. Projeto de Sistemas Integrados de Propósito Geral Baseados em Redes em Chip ? Expandindo as Funcionalidades dos Roteadores para Execução de Operações: A plataforma IPNoSys. 2010. Exame de qualificação (Doutorando em Programa de Pós-Graduação em Ssistemas e Computaçã) - Universidade Federal do Rio Grande do Norte.
SILVA, Ivan S.OLIVEIRA, J. A. N.; KREUTZ, M. E.;RAMOS, Karla D. N.; Susin, A. A.. Exploração do espaço de projeto de microprocessadores para plataformas MPSoC baseadas em NoC: Impacto do uso de múltiplas micro-arquiteturas no desempenho das plataformas (potência, área e desempenho). 2010. Exame de qualificação (Doutorando em Pós-graduação em Eng. Elétrica e de Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.; OLIVEIRA FILHO, I. L.;RAMOS, KARLA D. N.; VENANCIO NETO, A. J.. Integração do Algoritmo de Criptografia Papílio Versátil na Biblioteca OpenSSL. 2018. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
MEDEIROS NETO, Francisco Dantas de;RAMOS, KARLA D. N.; SILVA, L. F.. Predizendo Estabilidade de Requisitos em Sistemas Evolutivos. 2016. Exame de qualificação (Mestrando em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.
ARAUJO, S. R. F.; CASILLO, L. A.;RAMOS, Karla D. N.; SILVA, G. G. B.. Exploração de Paralelismo em Nível de Instrução na Plataforma IPNoSys. 2015. Exame de qualificação (Mestrando em Prog.Pós-grad.em Ciência da Computação UERN/UFERSA) - Universidade Federal Rural do Semi-Árido.
ARAUJO, S. R. F.; CASILLO, L. A.;RAMOS, Karla D. N.; SILVA, G. G. B.. Estendendo a ISA da IPNoSys para Implementação de Software Pipeline. 2015. Exame de qualificação (Mestrando em Prog.Pós-grad.em Ciência da Computação UERN/UFERSA) - Universidade Federal Rural do Semi-Árido.
ARAUJO, S. R. F.; SILVA, G. G. B.;RAMOS, Karla D. N.; CASILLO, L. A.. Estudo sobre o Impacto de um Sistema de Hierarquia de Memória no Desempenho da Arquitetura IPNoSyS. 2015. Exame de qualificação (Mestrando em Prog.Pós-grad.em Ciência da Computação UERN/UFERSA) - Universidade Federal Rural do Semi-Árido.
ARAUJO, S. R. F.; SILVA, G. G. B.;SILVA, Ivan S.RAMOS, Karla D. N.. O Impacto dA Hierarquia de Memória sobre a Arquitetura IPNOSYS. 2015. Exame de qualificação (Mestrando em Prog.Pós-grad.em Ciência da Computação UERN/UFERSA) - Universidade Federal Rural do Semi-Árido.
RAMOS, Karla D. N.; MOREIRA, A. M.; RIBEIRO, Claudia M. F. A.. Especificação Formal de Escalonador de Hardware sobre MPSoC. 2014. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
ARAUJO, S. R. F.;RAMOS, Karla D. N.; KREUTZ, M. E.. MPNI: Uma interface de rede parametrizável para ambientes multiprocessados sobre redes em chip. 2013. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal Rural do Semi-Árido.
HOLANDA, H. J. A.;RAMOS, Karla D. N.; ARAUJO, S. R. F.. Uso de Algoritmos de Benchmark para Avaliação de Desempenho de Nós Sensores". 2013. Exame de qualificação (Mestrando em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.
HOLANDA, H. J. A.;RAMOS, Karla D. N.; ARAUJO, S. R. F.. Análise de Subsistemas de um nodo sensor com base no nível de energia. 2013. Exame de qualificação (Mestrando em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte.
ARAUJO, S. R. F.;RAMOS, Karla D. N.; SOUZA, A. A. S.. Projeto e Implementação de um Cluster utilizando IPNoSys como Unidade de Processamento. 2013. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Ciência da Computação) - Universidade Federal Rural do Semi-Árido.
KREUTZ, M. E.;RAMOS, Karla D. N.; LOPES, A. B.. Proposta de uma Linguagem de Domínio Específico para Redes em Chip. 2012. Exame de qualificação (Mestrando em Programa de Pós-Graduação em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.
RAMOS, KARLA D. N.; Lima, R. W.; RIBEIRO, Claudia M. F. A.; GOMES, A. V.. Desenvolvimento de uma Metodologia para o Planejamento do Processo Ensino-Aprendizagem em um AVA. 2012.
CAMPOS, G. M. M.;RAMOS, KARLA D. N.; SILVA, A. G. P.. FORMALCODE: Uma Plataforma Web para Edição e Simulação de Especificações Formais com a Linguagem Lotos. 2020. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
MEDEIROS NETO, Francisco Dantas de;RAMOS, Karla D. N.; SOUZA, A. A. S.. Desenvolvimento de Interface de Mouse para Pessoas com Tetraplegia. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
OLIVEIRA, B. C.;RAMOS, KARLA D. N.; MAIA, R. S.. Protótipo de Plataforma MPSOC. 2014. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
RIBEIRO, Claudia M. F. A.; Burlamaqui, A. M. F.;RAMOS, Karla D. N.. FormatAndGenderTV: Uma descrição semântica para o SBTVD. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
Burlamaqui, A. M. F.; RIBEIRO, Claudia M. F. A.;RAMOS, Karla D. N.. LUAR: Um framework de desenvolvimento ágil para aplicativos de TV digital interativa. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
RAMOS, Karla D. N.; Burlamaqui, A. M. F.; TAKAHASHI, A.. Cubo Alegre: Um Aplicativo Educacional para TV Digital. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
RAMOS, Karla D. N.SILVA, Ivan S.; KREUTZ, M. E.. Utilização da Tecnologia ZigBee Aplicada à Indústria do Petróleo. 2010. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
SILVA, Ivan S.RAMOS, Karla D. N.; ARAUJO, S. R. F.. Uma Arquitetura baseada em Redes em Chip para a Estimação de Movimento segundo o Padrão H.264. 2009. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
BEDREGAL, B. R. C.RAMOS, Karla D. N.SILVA, Ivan S.. Papílio Versátil: Um Algoritmo Criptográfico. 2009. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
Burlamaqui, A. M. F.;RAMOS, Karla D. N.; MEDEIROS NETO, Francisco Dantas de. IBGE Interativo: Um Aplicativo para Pesquisas Domiciliares Baseado em Televisão Digitall Interativa. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
RIBEIRO, Claudia M. F. A.; SILVA, A. G. P.;RAMOS, Karla D. N.. Arquiteturas para Portais Semânticos. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte.
RAMOS, Karla D. N.SILVA, Ivan S.; COSTA, U. S.. Manutenção da Consistência de Dados em uma Plataforma MP-SOC Baseada em NOC: Projeto do Diretório. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
RAMOS, Karla D. N.SILVA, Ivan S.; COSTA, U. S.. Manutenção da Consistência de Dados em uma Plataforma MP-SOC Baseada em NOC: Projeto da Cache. 2006. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
RAMOS, Karla D. N.; RIBEIRO, Claudia M. F. A.; HOLANDA, H. J. A.; ARAÚJO, M. L.. Uma Ontologia de Domínio para Arquitetura de Computadores. 2004. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade do Estado do Rio Grande do Norte.
RAMOS, Karla D. N.BEDREGAL, B. R. C.; BATISTA, T. V.. Papílio XP - Uma Extensão do Algoritmo Criptográfico Papílio. 2003. Trabalho de Conclusão de Curso (Graduação em Ciências da Computação) - Universidade Federal do Rio Grande do Norte.
RAMOS, Karla D. N.. Análise das Estratégias Gerenciais do Banco 'Anônimo'Alecrim (Natal-RN) para a Retenção de Clientes. 2002. Trabalho de Conclusão de Curso (Graduação em Administração) - Faculdade de Ciências Cultura e Extensão do Rn.
RAMOS, Karla D. N.. Sistema de Informação Contábil: Estudo de Caso da Câmara Municipal de Natal. 2002. Trabalho de Conclusão de Curso (Graduação em Administração) - Faculdade de Ciências Cultura e Extensão do Rn.
RAMOS, Karla D. N.. Proposta de Melhoria do Sistema de Pesquisa de Leis da Câmara Municipal de Natal. 2002. Trabalho de Conclusão de Curso (Graduação em Administração) - Faculdade de Ciências Cultura e Extensão do Rn.
CASILLO, L. A.; SANTIAGO, N.;RAMOS, Karla D. N.. Unidade de Ponto Flutuante para o Microprocessador 8051. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Potiguar.
RAMOS, Karla D. N.; Oliveira, A. M.; Rocha, J. B.. Concurso para docentes da UFERSA. 2010. Universidade Federal Rural do Semi-Árido.
RAMOS, Karla D. N.; LIMA JUNIOR, F. C.; Lima, R. W.. Concurso para Agente Técnico Especializado/Técnico de Laboratório de Informática da UERN. 2010. Universidade do Estado do Rio Grande do Norte.
RAMOS, Karla D. N.; Rocha, J. B. V.; Oliveira, A. M. B.. Concurso para docentes da UFERSA. 2010. Universidade Federal Rural do Semi-Árido.
RAMOS, Karla D. N.; HOLANDA, H. J. A.; SILVA, A. G. P.. Concurso para docentes da UERN. 2004. Universidade do Estado do Rio Grande do Norte.
RAMOS, KARLA D. N.; SILVA, I. A. V. D. B.; SOARES, T. C. M.; SOUZA, D. M. C.. Processo Seletivo de Profissional Temporário de Educação Física. 2019. Universidade do Estado do Rio Grande do Norte.
BERG, I. A. V. D.;RAMOS, Karla D. N.; NASCIMENTO, G. A.; PEREIRA, E. H. D.; QUEIROZ, R. S. P.. Processo Seletivo Simplificado para Contratação Temporária de Instrutor Musical - Violão. 2018. Universidade do Estado do Rio Grande do Norte.
BERG, I. A. V. D.;RAMOS, Karla D. N.; MORITZ, T.. Processo Seletivo Simplificado para Contratação Temporária de Instrutor de Dança. 2018. Universidade do Estado do Rio Grande do Norte.
BERG, I. A. V. D.;RAMOS, Karla D. N.; MORITZ, T.. Processo Seletivo Simplificado para Contratação Temporária de Instrutor de Teatro e Criação artistica. 2018. Universidade do Estado do Rio Grande do Norte.
BERG, I. A. V. D.;RAMOS, Karla D. N.; OLIVEIRA FILHO, I. L.. Processo Seletivo Simplificado para Contratação Temporária de Instrutor de Informática. 2018. Universidade do Estado do Rio Grande do Norte.
BERG, I. A. V. D.;RAMOS, Karla D. N.; NASCIMENTO, G. A.; PEREIRA, E. H. D.; QUEIROZ, R. S. P.. Processo Seletivo Simplificado para Contratação Temporária de Instrutor Musical - Teclado. 2018. Universidade do Estado do Rio Grande do Norte.
RAMOS, Karla D. N.; Musicante, M. A.; Carvalho, B. M.; Costa Neto, M. A.; Almeida, J. M.. Comissão de Seleção de Candidatura ao PDSE. 2011. Universidade Federal do Rio Grande do Norte.
RAMOS, Karla D. N.; BERG, I. A. V. D.; SANTOS, R. L. S.. Comissão Científica da SBPC JOVEM. 2010. Universidade Federal do Rio Grande do Norte.
RIBEIRO, Claudia M. F. A.;RAMOS, Karla D. N.. Comissão Julgadora do Prêmio FAPERN de Iniciação Científica. 2009. Fundação de Apoio à Pesquisa do Estado do Rio Grande do Norte.
Orientou
Técnicas de Eficiência Energética aplicadas ao Protocolo FTE-LEACH em NS-3; 2017; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Karla Darlene Nepomuceno Ramos;
Dependabilidade Aplicada a Protocolo Hierárquico Baseado no LEACH; 2017; Dissertação (Mestrado em Programa de Pós-Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte,; Orientador: Karla Darlene Nepomuceno Ramos;
Integrando Redes em Chip à Plataformas Multiprocessadas: Estudo de Caso STORM; 2013; Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Karla Darlene Nepomuceno Ramos;
Especificação Formal de Escalonador em Hardware para Sistemas de Tempo Real; 2013; Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte,; Orientador: Karla Darlene Nepomuceno Ramos;
Escalonamento para Serviços de Comunicação de Tempo Real em Redes em Chip; 2013; Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte,; Orientador: Karla Darlene Nepomuceno Ramos;
Uma Abordagem Formal para Modelagem de QoS em Redes em Chip; 2011; Dissertação (Mestrado em Ciência da Computação - Uern - Ufersa) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Especificação Formal de um Escalonador de Processos em Arquiteturas Multicore; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Uma Abordagem Experimental do Protocolo Zigbee em um Ambiente Simulado de Comunicação Intraveicular; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Uma aplicação de medição de temperatura utilizando o protocolo ZigBee; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Redes em chip: Mecanismo de arbitragem com suporte a comunicação de tempo real; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Uma Investigação da Integração de Transdutores baseados no Padrão IEEE 1451 com Arquiteturas Orientadas a Serviço; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Implementação de Canais Virtuais em Redes em Chip; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
CALIGO: Uma Ontologia de Domínio para Arquitetura de Computadores (Co-orientação); 2005; 0 f; Trabalho de Conclusão de Curso; (Graduação em Ciências da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Redes em chip com suporte de Tempo-Real: Controle de Fluxo; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Redes em Chip com suporte de Tempo-Real: Memorização; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Especificação de Arquiteturas de Comunicação para Sistemas Multiprocessados; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Uma abordagem para garantir qualidade e corretude em projetos de hardware; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Projeto Digital (1): convertendo um comportamento desejado em um circuito digital; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Projeto Digital (2): convertendo um comportamento desejado em um circuito digital; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Projeto Digital (3): convertendo um comportamento desejado em um circuito digital; 2013; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Estudo sobre as tecnologias para implementação física de circuitos digitais; 2012; Iniciação Científica; (Graduando em Ensino Médio) - Escola Estadual Peregrino Júnior, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Aprendendo a projetar circuitos digitais; 2012; Iniciação Científica; (Graduando em Ensino Médio) - Escola Estadual Peregrino Júnior; Orientador: Karla Darlene Nepomuceno Ramos;
Márcia Régia de Lima Tito; 2012; Iniciação Científica; (Graduando em Ensino Médio) - Escola Estadual Peregrino Júnior; Orientador: Karla Darlene Nepomuceno Ramos;
Estudo sobre as tecnologias para implementação física de circuitos digitais; 2012; Iniciação Científica; (Graduando em Ensino Médio) - Escola Estadual Peregrino Júnior, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Aplicando Métodos Formais na especificação e verificação de um modelo de QoS para redes em chip; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Geração de código VHDL a partir da linguagem de especificação Z; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Aplicando Métodos Formais na Especificação e Verificação de um modelo de QoS para Redes-em-Chip; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Karla Darlene Nepomuceno Ramos;
Desenvolvimento de Arquiteturas para Compressão de Vídeo em Sistemas Embarcados; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Estudo e desenvolvimento em linguagem de descrição de hardware de módulos utilizados na compressão de vídeo segundo o padrão H; 264/AVC; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Projeto de DCT para Codificador de Vídeo segundo o padrão H; 264/AVC; 2007; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade do Estado do Rio Grande do Norte, Universidade do Estado do Rio Grande do Norte; Orientador: Karla Darlene Nepomuceno Ramos;
Produções bibliográficas
-
SANTOS, E. V. ; RAMOS, Karla D. N. . Especificando Formalmente Topologias para Redes em Chip. Holos (Natal. Online) , v. 1, p. 157-163, 2012.
-
RAMOS, Karla D. N. ; ARAÚJO, Frederiko S. ; BEDREGAL, B. R. C. ; SILVA, Ivan S. . Papílio Cryptography Algorithm. Lecture Notes in Computer Science , Berlim, v. 3314, p. 928-933, 2004.
-
RAMOS, Karla D. N. ; SILVA, Ivan S. ; BEDREGAL, B. R. C. . PAPÍLIO: Um Algoritmo de Criptografia. Revista do CCEI , Bagé-RS, v. 6, n.10, p. 24-32, 2002.
-
RAMOS, Karla D. N. ; SILVA, Ivan S. . Compressão de Dados Multimídia através da Decodificação Viterbi e Codificação Convolucional. Revista do CCEI , Bagé-RS, v. 4, n.6, p. 7-15, 2000.
Outras produções
BERG, I. A. V. D. ; RAMOS, KARLA D. N. ; KRUGER, P. N. ; VERAS, L. T. . Relatório Anual 2016 - CCUERN. 2016.
BERG, I. A. V. D. ; RAMOS, KARLA D. N. ; KRUGER, P. N. ; VERAS, L. T. . Relatório de Atividades 2015 - Complexo Cultural da UERN - CCUERN. 2015.
RAMOS, KARLA D. N. ; SANTOS, A. A. ; AMARAL, T. D. . Orientação de Estágio Não-obrigatório. 2017. (Supervisão de Estágio).
COELHO, M. I. S. ; RAMOS, Karla D. N. . Avaliação de Relatório Final na área de Ciências Exatas e da Terra, PIBIC cota 2011/2012. 2012. (Avaliação de Relatório Final PIBIC).
Projetos de pesquisa
-
2015 - 2017
Técnicas de Eficiência Energética aplicadas ao Protocolo FTE-LEACH em NS-3, Descrição: Redes de Sensores Sem Fio (RSSF) consistem de pequenos dispositivos com baterias limitadas usados na detecção e monitoramento de ambientes. Uma Rede de Sensores sem Fio Industrial (RSSFI) é um tipo de RSSF usada na indústria, por exemplo, para monitorar tráfegos de automação, controle e sensoriamento. É imprescindível usar eficientemente recursos como memória e bateria em RSSF no âmbito industrial pra um melhor aproveitamento de recursos. Para tanto, foram desenvolvidas diferentes protocolos nesse campo de pesquisa, sendo o mecanismo de roteamento um dos mais pesquisados. O tipo de roteamento empregado em RSSFI influi fortemente na qualidade e longevidade da rede. Dessa forma, esta pesquisa investiga técnicas de eficiência energética aplicadas ao protocolo de roteamento FTE-LEACH desenvolvido para RSSFI. Para análise da eficiência energética do protocolo FTE-LEACH foi desenvolvido um módulo de simulação em Network Simulator 3 (NS-3), que permitiu avaliar as principais vantagens e desvantagens do protocolo que tenta ponderar características de dependabilidade e eficiência no consumo de energia, além de orientar pesquisas futuras em protocolos baseados no LEACH com a criação do módulo em NS-3.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador / FELIPE DENIS MENDONÇA DE OLIVEIRA - Integrante / JOSÉ EWERTON DA CRUZ DE SOUZA - Integrante.
-
2015 - 2017
Dependabilidade Aplicada a Protocolo Hierárquico Baseado no LEACH, Descrição: Esta pesquisa visa inserir recursos para se alcançar mais qualidade e confiança (dependabilidade) no serviço fornecido pelas Redes de Sensores sem Fio Industriais. Para tanto, foram pesquisados e identificados protocolos que oferecem suporte à dependabilidade, dentre eles o protocolo FTE-LEACH, que é baseado no LEACH. Com o objetivo de avaliar o impacto da inserção de técnicas de dependabilidade no protocolo FTE-LEACH, foi desenvolvido um módulo de simulação no Network Simulator 3 (NS-3). De acordo com a taxonomia de dependabilidade, foram implementadas técnicas de prevenção de falhas, obtendo-se resultados satisfatórios de desempenho, mesmo em cenários críticos e em casos de interferências altas, comparando-se ao protocolo original. Outras técnicas de dependabilidade aplicadas foram as de recuperação de falha, redundâncias de hardware e de informação, em como a técnica de previsão de falha. Os resultados da pesquisa indicam que a inserção de técnicas de dependabilidade não comprometeram o desempenho do protocolo que ainda pode ser aperfeiçoado, por meio de técnicas de comunicação via broadcast.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador / FELIPE DENIS MENDONÇA DE OLIVEIRA - Integrante / Credson Isaac Lopes dos Santos - Integrante.
-
2012 - 2014
Modelos de Arquitetura de Mémória para Arquiteturas Multicore, Projeto certificado pelo(a) coordenador(a) Ivan Saraiva Silva em 18/03/2015., Descrição: Edital Universal 14/2012 Propõe-se o estudo, desenvolvimento (utilizando linguagens de descrição de hardware e de propósito geral), a prototipagem e avaliação de modelos de hierarquia de memória para arquiteturas multi-core . Os experimentos a serem desenvolvidos contemplam estudos relativos ao desempenho computacional e energético, mas envolvem também os demais aspectos de interesse relacionados aos modelos de hierarquia de memória, virtualização, segurança de sistemas embarcados e programabilidade. Este projeto insere-se mas atividades do projeto Biblioteca de Componentes de Hardware/Software e Projeto de Plataformas Multiprocessadas em Silício , aprovado no âmbito do edital Produtividade em Pesquisa PQ - 2010.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Karla Darlene Nepomuceno Ramos - Integrante / Ivan Saraiva Silva - Coordenador / Leonardo Augusto Casillo - Integrante / Silvio Roberto Fernandes de Araújo - Integrante / Bruno Cruz de Oliveira - Integrante / Ramon Santos Nepomuceno - Integrante / Laysson Oliveira Luz - Integrante / Eugenio Souza Carvalho - Integrante / Guilherme Amaral Avelino - Integrante / Thiago Rodrigues Barros da Silva Soares - Integrante / Hildebrando Alves de Araújo Segundo - Integrante / Tackyss Takamazina Mafuta - Integrante.
-
2012 - 2013
Especificação de arquiteturas de comunicação para sistemas multiprocessados, Descrição: Considerando o poder de abstração de métodos formais e seu uso em projeto de hardware, esta pesquisa tem como objetivo especificar os requisitos de comunicação em sistemas multiprocessados, visando a minimização de erros ainda nas fases iniciais do projeto. A minimização de erros influencia diretamente na redução de custo do projeto e na redução do tempo para o mercado. Portanto, este projeto visa contribuir para a complementação de técnicas qualitativas e quantitativas no desenvolvimento de projetos de hardware.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador / Renato Luiz Maia Carlos - Integrante / Ronnison Regis Vidal - Integrante.
-
2012 - 2013
Uma abordagem para garantir qualidade e corretude em projetos de hardware, Descrição: Este projeto visa desenvolver sistemas/componentes de hardware de alta confiabilidade e qualidade por meio da integração de métodos formais às linguagens de descrição de hardware.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador / Rodrigo Silva da Cunha - Integrante.
-
2012 - 2013
Redes em Chip com suporte de Tempo-Real: Controle de Fluxo e Memorização, Descrição: Este projeto tem como objetivo oferecer uma maior corretude no serviço de comunicação de tempo real em redes em chip, ao mesmo tempo que oferece suporte a qualidade de serviço (QoS). Portanto, esta pesquisa está inserida na exploração de técnicas relacionadas aos mecanismos básicos de comunicação, denominados: controle de fluxo e memorização.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador / Lauro Ponciano de Carvalho Júnior - Integrante / Osvaldo Henrique Bezerra - Integrante.
-
2011 - 2012
Geração de Código VHDL a partir da Linguagem de Especificação Z, Descrição: Considerando que as técnicas de modelagem matemática e lógica formal, auxiliam na especificação e verificação tanto de sistemas computacionais como de software, podendo ser utilizadas como opções para otimizar os custos e atender restrições de projeto, esta pesquisa visa investigar a geração automática do código VHDL a partir da linguagem de especificação formal Z.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador / Renato Luiz Maia Carlos - Integrante / Rodrigo Silva da Cunha - Integrante.
-
2011 - 2012
Aprendendo a projetar circuitos digitais, Descrição: O projeto tem como objetivo disseminar junto aos alunos do ensino médio informações e conhecimento científico sobre projetos de circuitos digitais, notadamente sobre os princípios fundamentais de sistemas digitais. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2011 - 2012
Estudo sobre as tecnologias para implementação física de circuitos digitais, Descrição: O objetivo deste projeto é estudar e conhecer o estado da arte das tecnologias para implementação física de circuitos digitais, de modo a despertar vocação científica e incentivar talentos potencias que estão cursando o ensino médio para atuarem nas áreas de computação e afins.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2009 - 2011
Uma Abordagem Formal para Modelagem de QoS em Redes em Chip, Descrição: Este projeto de pesquisa visa o tratamento integrado entre os requisitos de QoS no nível da aplicação e as funcionalidades providas no nível do hardware de sistemas embarcados. Embora a garantia de QoS em sistemas embarcados seja objeto de diferentes pesquisas, a formalização proposta pela metodologia CADZ, que será utilizada neste projeto, permite a análise qualitativa por meio da verificação de propriedades do sistema de comunicação, mesmo antes do desenvolvimento do próprio sistema, o que permite acelerar o desenvolvimento do projeto.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2008 - 2010
Aplicando Métodos Formais na Especificação e Verificação de um Modelo de QoS para Redes em Chip, Descrição: Este projeto propõe estender a metodologia apresentada na tese de doutorado intitulada CADZ: Uma Metodologia de Projeto baseada em Z para Redes-em-Chip?. A principal característica da metodologia CADZ (Computer Aided Design based on Z) é o reuso de especificações de componentes, descritas formalmente na notação Z e armazenadas em uma biblioteca. A ampliação proposta implica no desenvolvimento de um modelo de QoS para auxiliar o projetista no desenvolvimento de Redes-em-Chip. Estas estruturas de comunicação apresentam similaridades com as redes tradicionais, contudo, projetá-las não é uma tarefa trivial, visto que as peculiaridades de sistemas embarcados, tais como restrições de espaço e energia, devem ser explicitamente consideradas. Ademais, as Redes-em-Chip apresentam requisitos de desempenho similares aos clusters de computadores paralelos, o que torna o tratamento de QoS um desafio ainda maior. É precisamente neste contexto que se insere este projeto de pesquisa, que visa o tratamento integrado entre os requisitos de QoS no nível da aplicação e as funcionalidades providas no nível do hardware. Embora a garantia de QoS em sistemas embarcados seja objeto de diferentes pesquisas, a formalização proposta pela metodologia CADZ permite a análise qualitativa por meio da verificação de propriedades do sistema de comunicação, mesmo antes do desenvolvimento do próprio sistema, o que permite acelerar o desenvolvimento do projeto.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador / Bartira Paraguaçu Falcão Dantas Rocha - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2007 - 2010
Desenvolvimento de Arquiteturas para Compressão de Vídeo em Sistemas Embarcados baseado no padrão H.264/AVC, Descrição: Este Projeto de Pesquisa visa estudar o mais novo padrão de compressão de vídeo H.264/AVC, aprovado em 2003 e utilizado no Sistema Brasileiro de TV Digital (SBTVD), e desenvolver a partir da linguagem de descrição de hardware VHDL módulos utilizados na compressão de vídeo segundo este padrão. Existem muitas aplicações potenciais para codificadores e decodificadores (codecs) H.264/AVC, que vão de celulares a televisão digital, permitindo uma ampla atividade de pesquisa nesta área.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Karla Darlene Nepomuceno Ramos - Coordenador., Financiador(es): Fundação de Apoio à Pesquisa do Estado do Rio Grande do Norte - Auxílio financeiro.
Prêmios
2011
Best Paper EPOCA 2011, Intituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte - IFRN.
Histórico profissional
Endereço profissional
-
Universidade do Estado do Rio Grande do Norte, Campus Natal. , Avenida Doutor João Medeiros Filho, 3419, Potengi, 59120200 - Natal, RN - Brasil, Telefone: (84) 32325523
Experiência profissional
2013 - 2015
Fundação de Apoio à Pesquisa do Estado do Rio Grande do NorteVínculo: , Enquadramento Funcional: Cargo Comissionado, Carga horária: 40
Atividades
-
11/2013 - 01/2015
Direção e administração, Fundação de Apoio à Pesquisa no Estado do Rio Grande do Norte, .,Cargo ou função, Diretora Científica.
2012 - 2014
Universidade Federal do PiauíVínculo: Colaborador, Enquadramento Funcional: Participação em projeto
2010 - 2012
Instituto Nacional de Pesquisas Espaciais (RN)Vínculo: Participação em projetos, Enquadramento Funcional: colaborador
2015 - Atual
Universidade do Estado do Rio Grande do NorteVínculo: Servidor Público, Enquadramento Funcional: Chefe do setor de cursos do CCN-UERN, Carga horária: 20
2004 - Atual
Universidade do Estado do Rio Grande do NorteVínculo: , Enquadramento Funcional: Professora Adjunto IV, Carga horária: 40, Regime: Dedicação exclusiva.
2001 - 2001
Universidade do Estado do Rio Grande do NorteVínculo: Professor, Enquadramento Funcional: Substituto, Carga horária: 40
Atividades
-
11/2018
Conselhos, Comissões e Consultoria, Campus Natal, .,Cargo ou função, Presidente da Comissão de Extensão do Departamento de Computação - UERN/Campus de Natal.
-
01/2004
Ensino, Ciências da Computação, Nível: Graduação,Disciplinas ministradas, Arquitetura Avançada de Computadores, Arquitetura de Computadores, Empreendedorismo, Estudo Individualizado, Interação Homem Computador, Métodos Formais, Sistemas de Informação, Sistemas Digitais e Microprocessadores, Sistemas Multimídia, Sistemas Tolerantes a Falhas, Trabalho de Conclusão de Curso, Teoria Geral da Administração e Empreendedorismo
-
09/2009 - 07/2017
Ensino, Ciência da Computação - Uern - Ufersa, Nível: Pós-Graduação,Disciplinas ministradas, Arquitetura de Computadores, Estudo Dirigido, Metodologia científica, Projeto e Implementação de Middleware, Tópicos Especiais em Redes e Sistemas Distribuídos (Ênfase em Sistemas Embarcados)
-
10/2012 - 10/2014
Conselhos, Comissões e Consultoria, Pró-Reitoria de Pesquisa e Pós-Graduação - PROPEG, .,Cargo ou função, Membro do Comitê Científico de Assessoramento ao Comitê Institucional do Programa de Bolsas de Iniciação Científica da UERN.
-
10/2012 - 10/2012
Outras atividades técnico-científicas , Pró-Reitoria de Pesquisa e Pós-Graduação - PROPEG, Pró-Reitoria de Pesquisa e Pós-Graduação - PROPEG.,Atividade realizada, Avaliadora de Relatório Final na Área de Ciências Exatas e da Terra.
-
10/2009 - 03/2011
Extensão universitária , Campus Natal, .,Atividade de extensão realizada, Curso de Formação de Recursos Humanos na Área de Sistemas Embarcados (FRHASE).
-
10/2008 - 01/2011
Direção e administração, Campus Natal, .,Cargo ou função, Coordenação dos Laboratórios de Informática.
-
03/2010 - 07/2010
Conselhos, Comissões e Consultoria, Comissão Científica da SBPC Jovem, .,Cargo ou função, Articuladora.
-
07/2008 - 07/2010
Conselhos, Comissões e Consultoria, Conselho Municipal de Ciência e Tecnologia, COMCIT, Natal, .,Cargo ou função, Conselheira - Titular.
-
04/2010 - 04/2010
Extensão universitária , Mestrado em Ciência da Computação UERN/UFERSA, .,Atividade de extensão realizada, I Workshop de Sistemas Embarcados do Semiárido do Nordeste - WSESANE.
-
02/2008 - 08/2008
Direção e administração, Campus Natal, Natal.,Cargo ou função, Coordenador de Curso.
-
03/2006 - 03/2007
Ensino, Informática Aplicada, Nível: Especialização,Disciplinas ministradas, Sistemas de Computação e Tecnologia da Informação
-
06/2004 - 10/2004
Ensino, Pedagogia, Nível: Graduação,Disciplinas ministradas, Informática na Educação
-
02/2001 - 12/2001
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas Tolerantes a Falha, Arquitetura de Computadores
-
02/2001 - 06/2001
Ensino, Física, Nível: Graduação,Disciplinas ministradas, Linguagem de Programação Estruturada
2002 - 2003
Faculdade de Ciências Cultura e Extensão do RnVínculo: Celetista formal, Enquadramento Funcional: Professora, Carga horária: 12
Atividades
-
08/2008 - 08/2008
Ensino, Gestão Estratégica de Negócios, Nível: Especialização,Disciplinas ministradas, Estratégia de Tecnologia da Informação
-
06/2008 - 06/2008
Ensino, Gestão Estratégica de Pessoas, Nível: Especialização,Disciplinas ministradas, Sistemas de Informação como Apoio à Gestão de Pessoas
-
10/2005 - 10/2005
Ensino, Gestão Estratégica de Pessoas, Nível: Especialização,Disciplinas ministradas, Sistema de Informação na Gestão de Pessoas
-
08/2002 - 01/2003
Ensino, Administração Em Sistema de Informação, Nível: Graduação,Disciplinas ministradas, Administração de Sistemas de Informação I, Administração de Sistemas de Informação II, Estratégia de Tecnologia da Informação, Informática I, Informática II
2002 - 2003
Universidade Potiguar, UnPVínculo: Celetista formal, Enquadramento Funcional: Professora, Carga horária: 6
Atividades
-
08/2002 - 01/2003
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Arquitetura de Computadores, Laboratório de Arquitetura de Computadores
1987 - 1997
Banco do Brasil S. A.Vínculo: Celetista, Enquadramento Funcional: Escrituraria, Carga horária: 30
Atividades
-
12/1990 - 05/1997
Outras atividades técnico-científicas , CESEC, CESEC.,Atividade realizada, Operadora de Periféricos.
-
01/1994 - 05/1996
Treinamentos ministrados , Departamento de Desenvolvimento de Pessoal, .,Treinamentos ministrados, Sistema Operacional, Planilha, Editor de Texto
1986 - 1987
Banco do Estado do CearáVínculo: Celetista, Enquadramento Funcional: Escriturária, Carga horária: 30
Atividades
-
01/1986 - 08/1987
Outras atividades técnico-científicas , Agencia Cascavel, Agencia Cascavel.,Atividade realizada, Escrituraria.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Karla Darlene Nepomuceno Ramos e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?