Concurrency
Mostrando 1-12 de 34 artigos, teses e dissertações.
-
1. Validity and reliability of the Neonatal Infant Acute Pain Assessment Scale (NIAPAS) in Turkish: prospective study
ABSTRACT BACKGROUND: Using pain scales helps nurses in making early diagnoses and in assessing and managing pain symptoms and findings when developing a nursing care plan. OBJECTIVE: To determine the validity and reliability of the Turkish form of the Neonatal Infant Acute Pain Assessment Scale (NIAPAS). DESIGN AND SETTING: Prospective study conducted in
Sao Paulo Med. J.. Publicado em: 2021-08
-
2. Simultaneity and aggregation of risk factors for noncommunicable diseases among brazilian adolescents
Resumo Objetivo: Estimar a prevalência da simultaneidade de fatores de risco para doenças crônicas não transmissíveis e o agregamento não aleatório destes em adolescentes escolares brasileiros. Método: Estudo descritivo, com dados da Pesquisa Nacional de Saúde do Escolar, 2015. Foi estimada a prevalência dos fatores de risco simultâneos: tabagis
Esc. Anna Nery. Publicado em: 29/07/2019
-
3. Um modelo de memória transacional para arquiteturas heterogêneas baseado em software Cache / A transactional memory model for heterogeneous architectures based in Software Cache
The adoption of multi-core processors by the industry has pushed towards the development of new techniques to simplify programming parallel software. The technique called transactional memories is one of the most promising. This technique is able to execute multiple tasks concurrently in an optimistic way to achieve a better performance. Another advantage is
Publicado em: 2010
-
4. Especificação de sistemas utilizando lógica linear com subexponencias
Logic programming is defined as the use of logic formulas representing programs and proof search of these formulas as the execution of the program (computation). This is an interesting paradigm because of the specifications formality, which is inherited from the logic itself and facilitates the proof of some properties that would not be so obvious if the pro
Publicado em: 2010
-
5. Reificação de objetos concorrentes / Reification of concurrent objects
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 são Monóides" de Meseguer e Montanari, onde as operações de sincronização e encapsulação são funtoriais e as reifica
Publicado em: 2010
-
6. Acesso paralelo a arquivos em sistemas multiprocessadores. / Parallel access to files for multiprocessor systems.
This work presents a study on disk access bottlenecks for multiprocessor architecture systems and also proposes a specification to solve this problem and its implementation. The developed strategy is called FPA. The developed strategy makes use of shared memory architecture and uses shared data buffers among several application threads and also tries to opti
Publicado em: 2010
-
7. Um modelo de paralelismo de grao fino para objetos distribuidos / A fine-grain parallelism model for distributed objects
Esta Dissertação apresenta um modelo de paralelismo de grão fino para utilização em aplicações baseadas em objetos distribuídos. A pesquisa é desenvolvida sobre o modelo de distribuição de objetos da linguagem DPC++, uma extensão de C++ concebida na Universidade Federal do Rio Grande do Sul. A motivação para o desenvolvimento deste modelo é a
Publicado em: 2010
-
8. Parallel composition and unfolding semantics of graph grammars
The main aims of this thesis are to provide an approach to the parallel composition of graph grammars and a semantics for graph grammars, called the unfolding semantics, in which the aspects of concurrency and compositionality with respect to the parallel composition play a central role. The parallel composition of graph grammar allows the composition of gra
Publicado em: 2009
-
9. MODELOS DE CONCORRÊNCIA E COORDENAÇÃO PARA O DESENVOLVIMENTO DE APLICAÇÕES ORIENTADAS A EVENTOS EM LUA / CONCURRENCY AND COORDINATION MODELS FOR EVENT-DRIVEN IN LUA
Multithreading has become popular as a way to organize concurrent tasks and achieve better performance from CPUs. However, programming with threads is not an easy task. Usage of shared resources needs to be coordinated because concurrent access to them, in most cases, may create inconsistency in the application. The event-driven model has been pointed as a g
Publicado em: 2009
-
10. Model checking underwater vehicles control architectures: a formal specification based approach. / Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.
The development of control architectures for Underwater Vehicles is a complex task. These control architectures might be chracterised by the following attributes: real-time, multitasking, concurrency, and distributed over communication networks. In this scenario, we have multiple processes running in parallel, possibly distributed, and engaging in communicat
Publicado em: 2009
-
11. Transações reconfiguráveis para o ambiente móvel / Reconfigurable transactions for mobile environment
Dentre as tecnologias emergentes, a computação móvel tem a sua posição de destaque. Os dispositivos móveis estão mais presentes na vida das pessoas e contendo aplicações mais sofisticadas e semelhantes às executadas em computadores pessoais. Num mundo globalizado, onde o tempo é escasso e valioso, os dispositivos móveis mantêm as pessoas em cont
Publicado em: 2009
-
12. Estruturas de dados concorrentes: um estudo de caso em skip graphs. / Concurrent data structures: a case-study on skip graphs
Many existing computer systems are concurrent, or, in other words, they are composed of many entities that, at the same time, operate over some set of shared resources. In this context, we must control the concurrency of the operations, otherwise the interference between them could cause inconsistencies in the shared resources or in the operations themselves
Publicado em: 2008