Concurrency Models
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. História das partículas: de elétrons aos quarks
This Work, a thesis in history of subatomic particles, is an historic and epistemological development study of the theoretical and experimental subatomic particles and antiparticles from the early Diracs quantum theory of the electron, published in a year of 1928, until the publications of the theories of the quarks in a decade of the sixths, the Gell Mann t
Publicado em: 2008
-
4. CONCURRENCY AND SANDBOXES MODELS APPLIED TO LUA HTTP SERVERS / MODELOS DE CONCORRÊNCIA E SANDBOXES APLICADOS A SERVIDORES HTTP EM LUA
Client-server developers constantly have to deal with questions concerning performance and scalability, since the number of simultaneous clients can grow significantly. Moreover, if these systems can execute third-party code, there is also the concern of secure execution of these pieces of code. This work goal is to benchmark several combinations of concurre
Publicado em: 2006
-
5. REVISITANDO CO-ROTINAS / REVISITING COROUTINES
O objetivo deste trabalho é defender o resgate do conceito de co-rotinas como uma construção de controle poderosa e conveniente, que pode substituir tanto continuações de primeira classe como threads com um conceito único e mais simples. Para suprir a ausência de uma definição precisa e adequada para o conceito de co-rotinas, propomos um novo sistem
Publicado em: 2004
-
6. A Coverification Framework
In dieser Dissertation wird eine Koverifikations-Umgebung (coverification fra-mework CVF) präsentiert. CVF ist geeignet für die Validierung von Systemen die aus Hardware und Software bestehen. Das Werkzeug profitiert von der partitionierten Natur der HW/SW-Systeme, da die Eigenschaften der Systeme modular verifiziert werden. Die Modellprüfung (model check
Publicado em: 1999