Independent AND-parallel implementation of narrowing

We present a parallel graph narrowing machine, which is used to implement a functional logic language on a shared memory multiprocessor. It is an extensión of an abstract machine for a purely functional language. The result is a programmed graph reduction machine which integrates the mechanisms of unification, backtracking, and independent and-parallelism. In the machine, the subexpressions of an expression can run in parallel. In the case of backtracking, the structure of an expression is used to avoid the reevaluation of subexpressions as far as possible. Deterministic computations are detected. Their results are maintained and need not be reevaluated after backtracking

Unbiased Rounding for HUB Floating-point Addition

Copyright (c) 2018 IEEE doi:10.1109/TC.2018.2807429Half-Unit-Biased (HUB) is an emerging format based on shifting the represented numbers by half Unit in the Last Place. This format simplifies two’s complement and roundto- nearest operations by preventing any carry propagation. This saves power consumption, time and area. Taking into account that the IEEE floating-point standard uses an unbiased rounding as the default mode, this feature is also desirable for HUB approaches. In this paper, we study the unbiased rounding for HUB floating-point addition in both as standalone operation and within FMA. We show two different alternatives to eliminate the bias when rounding the sum results, either partially or totally. We also present an error analysis and the implementation results of the proposed architectures to help the designers to decide what their best option are.TIN2013-42253-P, TIN2016-80920-R, JA2012P12-TIC-169

Fast HUB Floating-point Adder for FPGA

Several previous publications have shown the area and delay reduction when implementing real number computation using HUB formats for both floating-point and fixed-point. In this paper, we present a HUB floating-point adder for FPGA which greatly improves the speed of previous proposed HUB designs for these devices. Our architecture is based on the double path technique which reduces the execution time since each path works in parallel. We also deal with the implementation of unbiased rounding in the proposed adder. Experimental results are presented showing the goodness of the new HUB adder for FPGA.TIN2016- 80920-R, JA2012 P12-TIC-1692, JA2012 P12-TIC-147

The Holy Trinity of our time: market, state and religion

Frente a quienes han entendido que la modernidad supone necesariamente un debilitamiento progresivo del ámbito de lo sagrado capaz de desembocar en la secularización, defiendo que lo que caracteriza precisamente a la modernidad es la sucesión de sacralidades y su pluralidad actual.In spite of those who believe that modernity means a gradual weakening of the limits of the sacred and the strengthening of a secularization process, in this paper I defend that modernity is characterized by a sequence of sacralities and its current plurality

Globalization, ideologies about work and work cultures

Toda persona se posiciona respecto a un triple marco de referencia, relaciones de producción, relaciones de sexo-género y relaciones interétnicas-, relaciones que generan, a su vez, una matriz identitaria triple -culturas de producción, culturas de género y culturas étnicas-. En concreto, las culturas del trabajo son moldeadas por colectivos de trabajadores a partir de la experiencia compartida en procesos de trabajo concretos bajo determinadas relaciones de producción. El autor se interroga sobre cómo estas culturas del trabajo se ven afectadas por procesos mayores en curso: la globalización del capital; las nuevas formas y condiciones de trabajo en el Primer Mundo, marcadas por la desregulación y la precarización, y que conducen a la segmentación de los trabajadores; la conformación de una ideología dominante, en torno a la entronización del mercado como principio absoluto, y su difusión entre los trabajadores. Como consecuencia, se crean las condiciones para la ruptura del pacto keynesiano y para la destrucción del Estado del Bienestar y se abre paso a una nueva conformación social tripartita -integrados, precarios y excluidos-.Every people along their lives have to deal with a threefold framework: production relationships, sex-gender relationships and interethnic relationships. At the same time those relationships produce a threefold identity: production, gender and ethnic cultures. Work cultures are produced by collectives of workers starting from experiences they have shared at a certain work process under concrete conditions of production. The author inquires about how those work cultures are affected by major processes. First, the globalization of capital. Second, the new forms and working conditions -precarious and deregulated- who are becoming widely lmown in the First World, leading to the segmentation of workers. Third the formation and spreading among workers of an hegemonic ideology, that looks at the market as an uncontested absolute. In that way conditions are created for the breaking of the keynesian contract, and for the destruction of Welfare State. And a society emerges who is sharply divided beteween those who remain integrated, those who survive in precariousness and those who are excluded at last