Sciweavers

58 search results - page 1 / 12
» Design of throughput-optimized arrays from recurrence abstra...
Sort
View
ASAP
2010
IEEE
127views Hardware» more  ASAP 2010»
13 years 6 months ago
Design of throughput-optimized arrays from recurrence abstractions
urrence abstractions Arpith C. Jacob Jeremy D. Buhler Roger D. Chamberlain Arpith C. Jacob, Jeremy D. Buhler, and Roger D. Chamberlain, "Design of ut-optimized arrays from rec...
Arpith C. Jacob, Jeremy D. Buhler, Roger D. Chambe...
IPPS
1998
IEEE
13 years 9 months ago
Synthesis of a Systolic Array Genetic Algorithm
The paper presents the design of a hardware genetic algorithm which uses a pipeline of systolic arrays. Demostrated is the design methodology, where a simple genetic algorithm exp...
Graham M. Megson, I. M. Bland
CAV
2009
Springer
165views Hardware» more  CAV 2009»
13 years 8 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...
FASE
2009
Springer
13 years 11 months ago
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
Laura Kovács, Andrei Voronkov
TC
2008
13 years 4 months ago
Converting to and from Dilated Integers
Abstract-- Dilated integers form an ordered group of the cartesian indices into a d-dimensional array represented in Morton order. Efficient implementations of its operations can b...
Rajeev Raman, David S. Wise