Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Santos, Bruno Roberto"'
Autor:
Santos, Bruno Roberto
Publikováno v:
Repositório Institucional da UFALUniversidade Federal de AlagoasUFAL.
This work presents a method to perform formal and dynamic verification of concurrent software. The objective is to provide a method capable of identifying problems in programs whose execution is based on multiple threads, and analyze behavioral prope
Externí odkaz:
http://www.repositorio.ufal.br/handle/riufal/1540
Publikováno v:
In Procedia Computer Science 2017 122:159-166
Publikováno v:
Motricidade, Vol 16, Iss 2, Pp 196-204 (2020)
A aprendizagem motora pode ser influenciada por diferentes fatores. O conhecimento de resultado (CR), um tipo de feedback extrínseco, existe em um destes fatores. Há diferentes formas de fornecer CR para otimizar a aprendizagem motora. Faixa de amp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::983971099344ec8c87bc0f32beeeaed9
https://revistas.rcaap.pt/motricidade/article/view/18341
https://revistas.rcaap.pt/motricidade/article/view/18341
Autor:
Santos, Bruno Roberto
Publikováno v:
Repositório Institucional da Universidade Federal de Alagoas (UFAL)
Universidade Federal de Alagoas (UFAL)
instacron:UFAL
Universidade Federal de Alagoas (UFAL)
instacron:UFAL
This work presents a method to perform formal and dynamic verification of concurrent software. The objective is to provide a method capable of identifying problems in programs whose execution is based on multiple threads, and analyze behavioral prope
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::19f10f0373964fbfe82d04d53073ed26
http://www.repositorio.ufal.br/handle/riufal/1540
http://www.repositorio.ufal.br/handle/riufal/1540
