868 resultados para FPGA parallel SAT solver
Resumo:
Este trabajo analiza el fenómeno intertextual de la ?cita? en Petronio, Sat. 118, donde el poeta de la obra, Eumolpo, expone su particular ?ars poetica?. En este discurso, Eumolpo cita los nombres de Homero, Virgilio y Horacio, al tiempo que cita el primer verso de la Oda 3.1 del Venusino, lo que evidencia que el poetastro tiene muy en cuenta la figura horaciana. El análisis de las citas en este pasaje se relaciona con que Petronio es un autor que alude constantemente, pero que cita muy rara vez, por lo que, cuando lo hace, se debe prestar mucha atención
Resumo:
Myanmar maintained a multiple exchange rate system, and the parallel market exchange rate was left untamed. In the last two decades, the Myanmar kyat exchange rate of the parallel market has exhibited the sharpest fluctuations among Southeast Asian currencies in real terms. Since the move to a managed float regime in April 2012, the question arises of whether exchange rate policies will be effective in stabilizing the real exchange rate. This paper investigates the sources of fluctuations in the real effective exchange rate using Blanchard and Quah’s (1989) structural vector autoregression model. As nominal shocks can be created by exchange rate policies, a persistent impact of a nominal shock implies more room for exchange rate policies. Decomposition of the fluctuations into nominal and real shocks indicates that the impact of nominal shocks is small and quickly diminishes, implying that complementary sterilization is necessary for effective foreign exchange market interventions.
Resumo:
We show a method for parallelizing top down dynamic programs in a straightforward way by a careful choice of a lock-free shared hash table implementation and randomization of the order in which the dynamic program computes its subproblems. This generic approach is applied to dynamic programs for knapsack, shortest paths, and RNA structure alignment, as well as to a state-of-the-art solution for minimizing the máximum number of open stacks. Experimental results are provided on three different modern multicore architectures which show that this parallelization is effective and reasonably scalable. In particular, we obtain over 10 times speedup for 32 threads on the open stacks problem.