Buscar
Mostrando ítems 1-10 de 61
Automata-based formal analysis and verification of the real-time Linux kernel
(2020)
Sistemas de tempo real são sistemas computacionais em que o comportamento correto não depende apenas do comportamento lógico, mas também do comportamento temporal. Na teoria de sistemas de tempo real, um sistema é uma ...
Avaliação da confiabilidade de longarinas de concreto protendido de pontes rodoviárias em relação ao estado limite último de flexão
(2019)
Este trabalho trata da avaliação do índice de confiabilidade de vigas longarinas protendidas de pontes rodoviárias em relação ao estado limite último de ruptura por flexão. É mostrada uma vasta revisão bibliográfica de ...
Integrated method for designing complex cyber-physical systems
(2018)
O projeto de sistemas ciberfísicos (CPS) é considerado uma atividade complexa, sendo composto por diferentes fases, essenciais para sua concepção. Neste sentido, a definição detalhada das fases de projeto se faz necessária, ...
Modelo para o compartilhamento do conhecimento em coworking spaces
(2020)
Esta pesquisa tem por objetivo propor um modelo para o compartilhamento do conhecimento a gestores de coworking spaces, caracterizando-se como uma pesquisa qualitativa, funcionalista, tratando o conhecimento de forma ...
Modelo de simulação por passagem de mensagem para sistemas integrados com múltiplos núcleos
(2020)
A tecnologia que permite a integração de diversos processadores em um único chip (Multi-processor system-on-chip ? MPSoC) possui um papel central nos sistemas embarcados da atualidade. Para que um sistema baseado em MPSoC ...