Navegação por Assunto "Concurrency"

Resultados 1-7 de 7

    • Avaliação de concorrência e de sincronização no Android 

      Vargas, William Wilbert (2019) [Trabalho de conclusão de graduação]
      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 

      Menezes, Paulo Fernando Blauth (1998) [Artigo de periódico]
      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 

      Pedroni, Gabriela (2013) [Trabalho de conclusão de graduação]
      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 

      Menezes, Paulo Fernando Blauth (1995) [Artigo de periódico]
      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 

      Araújo, Thiago da Silva (2023) [Trabalho de conclusão de graduação]
      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 

      Menezes, Paulo Fernando Blauth (1997) [Tese]
      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 

      Borges, Diego da Rocha (2015) [Trabalho de conclusão de graduação]
      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 ...