Buscar
Mostrando ítems 21-30 de 992
Mixed computation of Prolog programs
(1988)
This paper describes theoretical as well as implementation issues involved in the design of amix partial evaluator, starting from an interpretive specification using Prolog as the source language. First, the general theory ...
Um algoritmo evolucionário para encontrar sequências de transformações com ordenação por classe
(Campo MouraoBrasil, 2017-08)
Evolutionary Algorithms are metaheuristics widely used to solve combinatorial problems and optimizational. A combinatorial problem, on the context of Computer Science, is the choose for a transformations sequence that is ...
Qubit Allocation
(Universidade Federal de Minas GeraisUFMG, 2019-02-14)
In May of 2016, IBM Research has made a quantum processor available in the cloud to the general public. The possibility of programming an actual quantum device has elicited much enthusiasm. Yet, quantum programming still ...
On the efficiency of transactional code generation: A GCC case study
(2018-10-01)
Memory transactions are becoming more popular as chip manufacturers are building native support for their execution. Although current Intel and IBM microprocessors support transactions in their instruction set architectures, ...
Recuperación de base de datos - Tipos de Fallos
(2011)
In this paper presents an introduction to the recovery of databases, where in this case is a compilation of types of failures that can be databases with examples.
Data Parallel C++ : Mastering DPC++ for Programming of Heterogeneous Systems using C++ and SYCL
Learn how to accelerate C++ programs using data parallelism. This open access book enables C++ programmers to be at the forefront of this exciting and important new development that is helping to push computing to new ...