Buscar
Mostrando ítems 1-10 de 37
Especificação do micronúcleo FreeRTOS utilizando o método B
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em Sistemas e ComputaçãoCiência da Computação, 2011-08-16)
This paper presents a contribution to the international Verified Software Repository
effort through the formal specification of the microkernel FreeRTOS real-time system.
Such specification was made in abstract level making ...
FreeMAES: Desarrollo de una biblioteca bajo el paradigma multiagente para sistemas embebidos (MAES) compatible con la NanoMind A3200 y el kernel FreeRTOS
(Instituto Tecnológico de Costa Rica, 2021-04-28)
En este documento se desarrollan las diferentes etapas para la implementación de un
paradigma de software nombrado Multiagente para Sistemas Embebidos (MAES por sus
siglas en inglés) compatible con el microkernel FreeRTOS ...
Wireless EEG miniaturized platform
(IEEE, 2022)
This work presents the design, manufacture, and preliminary tests of the proof-of-concept of a miniaturized platform for acquiring electroencephalography signals, where the input stage is based on a high-CMRR current-efficiency ...