Programa de Pós-Graduação em Ciência da Computação (PGCOMP)
Página inicial da comunidade
Visualizar estatísticas
Novos documentos depositados
Verificação formal de Sistemas de Sistemas (SoS) modelados em diagramas de coreografia (BPMN) para detecção prévia de erros típicos de tempo de execução.
See
Análise da mudança semântica lexical: identificação e caracterização na língua portuguesa.
See
PSSA: um algoritmo semi-particionado com server shadowing para o escalonamento de tarefas de tempo real periódicas em múltiplos processadores
See
Uma investigação sobre análise de sentimentos e categorização de Issues reabertas do GitHub.
See
Políticas de alocação de recursos para redes ópticas elásticas em situação de desastre.
See
An intelligent self-configuring recommender system as a service.
See
Bug analysis in Jupyter notebook projects: an empirical study.
See