60 resultados para framework-intensive applications


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The objective of the paper is to contribute to the understanding of the knowledge economy in Portugal, presenting data and revealing specific characteristics of the Portuguese business R&D, using a framework of available tools such as international comparisons, technology intensity and sectors of the economy. This study concludes that Portuguese business R&D reveals strong elements of economic terciarization, and an important presence of foreign direct investment in knowledge intensive industries. Furthermore, the study revealed less significant determinants such as the existence of skill labour in pharmaceutical industries and the role of the state in some sectors (wealth and rail transportation).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Global restructuring processes have not only strong implications for European working and living realities, but also have specific outcomes with regard to gender relations. The following contribution analyses in which way global restructuring shapes current gender relations in order to identify important trends and developments for future gender (in)equalities at the workplace. On the basis of a large qualitative study on global restructuring and impacts on different occupational groups it argues that occupational belonging in line with skill and qualification levels are crucial factors to assess the further development of gender relations at work. Whereas global restructuring in knowledge-based occupations may provide new opportunities for female employees, current restructuring is going to deteriorate female labour participation in service occupations. In contrast, manufacturing occupations can be characterised by persistent gender relations, which do not change in spite of major restructuring processes at the work place. Taking the institutional perspective into account, it seems to be crucial to integrate the occupational perspective in order to apply adequate policy regulations to prevent the reinforcement of gender related working patterns in the near future.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

MSCC Dissertation in Computer Engineering

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de Mestrado em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação apresentada para obtenção do Grau de Mestre em Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Relevância:

20.00% 20.00%

Publicador:

Resumo:

European Transactions on Telecommunications, vol. 18

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova da Lisboa para obtenção do grau de Mestre em Engenharia e Gestão Industrial (MEGI)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação apresentada para obtenção de Grau de Doutor em Bioquímica,Bioquímica Estrutural, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Relevância:

20.00% 20.00%

Publicador:

Resumo:

IEEE International Symposium on Circuits and Systems, pp. 2713 – 2716, Seattle, EUA

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de Doutoramento em Matemática: Processos Estocásticos

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação de Mestrado em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática