Monte Carlo arithmetic: how to gamble with floating point and win
Computing in Science and Engineering
Scientific Simulations with Special Purpose Computers: The Grade Systems
Scientific Simulations with Special Purpose Computers: The Grade Systems
Binary Arithmetic for DNA Computers
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
A Serial Logarithmic Number System ALU
DSD '07 Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools
The Sign/Logarithm Number System
IEEE Transactions on Computers
DNA Computing Models
DNA Implementation of Arithmetic Operations
ICNC '09 Proceedings of the 2009 Fifth International Conference on Natural Computation - Volume 06
Bioinspired Parallel Algorithms for Maximum Clique Problem on FPGA Architectures
Journal of Signal Processing Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An improved DNA-sticker addition algorithm and its application to logarithmic arithmetic
DNA'11 Proceedings of the 17th international conference on DNA computing and molecular programming
IEEE Spectrum
Hi-index | 0.00 |
The sticker model of computation, implemented using robotic processing of DNA, manipulates in parallel many bitstrings, called strands, that are contained in a limited number of tubes. Prior sticker arithmetic algorithms, patterned on digital-electronics, generate carry bits in the strand, either wasting bits or using a clear operation (with problematic biochemical implementation). The novel addition algorithm here does not need to record the carry. Instead, which tube holds a particular strand implicitly encodes the carry. The speed and number of tubes are half that of prior approaches. Further encoding data in the Logarithmic Number System (LNS) allows such integer operations to perform cost-effective real multiplications, divisions and roots. An example LNS Euclidian norm is more efficient than prior methods, assuming perfect operations. Unfortunately, DNA-stickers are unreliable. This paper uses sticker unreliability as a source of randomness to implement Monte-Carlo (MC) arithmetic (previously fabricated in silicon at the cost of pseudo-random generators). With stickers, the randomness is free. MC engineering mimics natural systems using unreliable but redundant components. Here, MC randomness is only useful in low-order bits. Multiple re-testing of the same bit ("refinement") trades improved reliability for slower operation using more tubes. Simulations (with different sizes, probabilities and refinement) show that increasing refinement as a function of bit position allows imperfect implementations to achieve suitable MC strand-error distributions, predicting 1000x speed-mass advantage of sticker-MCLNS over conventional supercomputers.