Introduction to programmable active memories

We introduce the concept of PAM, Programmable Active Memory and present results obtained with our Perle-0 prototype board, featuring: A software silicon foundry for a 50K gate array, with a 50 milliseconds turn-around time. A 3000 one bit processors universal machine with an arbitrary interconnect structure specified by 400K bits of nano-code. A programmable hardware co-processor with an initial library including: a long multiplier, an image convolver, a data compressor, etc. Each of these hardware designs speeds up the corresponding software application by at least an order of magnitude.

[1]  John G. McWhirter,et al.  Systolic Array Processors , 1989 .

[2]  Jean Vuillemin,et al.  BigNum: A Portable and Efficient Package for Arbitrary-Precision Arithmetic , 1989 .

[3]  G. Longo,et al.  The Genericity Theorem and the Notion of Parametricity in the Polymorphic λ-calculus , 1992 .

[4]  François Bourdoncle,et al.  Abstract interpretation by dynamic partitioning , 1992, Journal of Functional Programming.

[5]  Delia Kesner,et al.  Pattern Matching in Order-Sorted Languages , 1991, MFCS.

[6]  Abraham Lempel,et al.  A universal algorithm for sequential data compression , 1977, IEEE Trans. Inf. Theory.

[7]  Edward R. Fiala,et al.  Data compression with finite windows , 1989, CACM.

[8]  Hans-Juergen Boehm,et al.  Constructive real interpretation of numerical programs , 1987, SIGPLAN '87.

[9]  John Gray,et al.  Configurable hardware: Two case studies of micro-grain computation , 1990, J. VLSI Signal Process..

[10]  Edward Wobber,et al.  The Siphon: managing distant replicated repositories , 1990, [1990] Proceedings. Workshop on the Management of Replicated Data.

[11]  Adi Shamir,et al.  A method for obtaining digital signatures and public-key cryptosystems , 1978, CACM.

[12]  Gert Smolka.  Residuation and Guarded Rules for Constraint Logic Programming , 1991, WCLP.

[13]  Richard F. Lyon,et al.  Two's Complement Pipeline Multipliers , 1976, IEEE Trans. Commun..

[14]  J. Gallier.  Constructive Logics. Part II: Linear Logic and Proof Nets , 1991 .

[15]  Jean Vuillemin,et al.  Programmable Active Memories: A Performance Assessment , 1992, Heinz Nixdorf Symposium.