Browsing by Subject "Concurrency"
Now showing items 1-7 of 7
-
Avaliação de concorrência e de sincronização no Android
(2019) [Work completion of graduation]A consolidação do mercado de smartphones ampliou o acesso das pessoas à computação. Um dos principais objetivos das aplicações desenvolvidas para esse mercado é proporcionar uma boa experiência ao usuário. Uma aplicação ... -
A categorical framework for concurrent, anticipatory systems
(1998) [Journal article]A categorical semantic domain is constructed for Petri nets which satisfies the diagonal compositionality requirement with respect to anticipations, i.e., Petri nets are equipped with a compositional anticipation mechanism ... -
A maçã proibida : a ausência de tutela jurídica para as famílias simultâneas
(2013) [Work completion of graduation]A presente monografia tem como tema as famílias simultâneas no que diz respeito à tutela das múltiplas conjugalidades, tanto nos casos em que há casamento, quanto nos casos de companheirismo. Primeiramente, fará uma análise ... -
Marked petri nets within a categorial framework
(1995) [Journal article]Well know categories of Petri nets lack coproducts and some re strictioné on nets, morphisms or initial markings are required in or der to guarantee the existence of colimits. Categories of Petri nets equipped with a set ... -
Otimização de portfólio financeiro utilizando aprendizado por reforço
(2023) [Work completion of graduation]Portfólio financeiro pode ser definido como o conjunto de ativos que um investidor detém. Estes ativos podem ser tanto investimentos em renda fixa como em renda variável. Otimização de portfólio financeiro é uma área que ... -
Reificação de objetos concorrentes
(1997) [Thesis]Autômatos não-seqüenciais constituem um domínio semântico categorial do tipo não-intercalação para sistemas reativos, comunicantes e concorrentes.É baseado em sistemas de transições etiquetados, inspirado em "Redes de Petri ... -
Rivers : API para processamento de stream para linguagem Go
(2015) [Work completion of graduation]Nos últimos anos o poder computacional evoluiu drasticamente e os sistemas computacionais atuais podem beneficiar-se de máquinas com múltiplas unidades de processamento para realizar concorrentemente tarefas de maneira ...