Now showing items 1-3 of 3
A General Work for the Flow Analysis of Concurrent Programs
Standard techniques for analysing sequential programs are severely constrained when applied to a concurrent program because they cannot take full advantage of the concurrent structure of the program. In this work, we ...
Preserving digital entities: A framework for choosing and testing preservation strategies
The long-term preservation of digital objects has become increasingly relevant. Libraries, public institutions and museums, but also companies are requesting solutions to store their digital files with all relevant contents ...
Modelos Estatísticos Espaciais no Planejamento da Prestação de Serviços
This thesis has the objective of systematizing the use of spatial statistical models for use in the planning of services, through the use of computational tools that allow the construction of those models. From a bibliographical ...