A uniform way of reasoning about array-based computation in radar: Algebraically connecting the hardware/software boundary
作者： Lenore R. Mullin
DOI: 10.1016/J.DSP.2005.02.003
关键词:
摘要: Embedded software processing requirements will exceed 1 trillion operations per second in the 2005-2010 time frame. Consequently, efficient use of processors and memory, at all levels, is essential. In many defense environments, e.g., radar, as well medical other real-time embedded systems, are primarily array-based. Although languages support high level, monolithic, array based computation through classes, functions, templates (C++), grammars (Fortran 95, ZPL), limited optimizations occur to eliminate valued temporaries, which for real enormous. Without an underlying theory arrays, algebra index calculus, it difficult, if not impossible provide such optimizations. This paper presents a Mathematics Arrays Psi Calculus. Together they used reason about radar; algorithm, decomposition, mapping performance.
acm.org
elsevier.com
sci-hub.se 参考文章(69)
R.R. Oldehoeft, J.T. Feo, D.C. Cann, A.P.W. Boehm, D.H. Grit, SISAL reference manual. Language version 2.0 ,(1990)
Gerald R. Peterson, Frederick J. Hill, Digital systems: hardware organization and design (3rd ed.) John Wiley & Sons, Inc.. ,(1987)
Jaeyoung Choi, Jack J Dongarra, Susan Ostrouchov, Antoine Petitet, David W Walker, Richard Whaley, None, LAPACK Working Note 80: The Design and Implementation of the ScaLAPACK LU, QR, and Cholesky Factorization Routines University of Tennessee. ,(1994)
Alonzo Church, The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies) Princeton University Press. ,(1985)
E. Rutledge, J. Kepner, PVL: An Object Oriented Software Library for Parallel Signal Processing (invited) international conference on cluster computing. pp. 74- ,(2001)
Artur Krukowski, Izzet Kale, Simulink/Matlab-to-VHDL Route for Full-Custom/FPGA Rapid Prototyping of DSP Algorithms ,(1999)
Robert Bond, Edward Rutledge, Lenore R. Mullin, Monolithic Compiler Experiments Using C++ Expression Templates ,(2002)
Arrays, Functional Languages and Parallel Systems Kluwer Academic Publishers. ,(1991) , 10.1007/978-1-4615-4002-1
Lenore M. Restifo Mullin, Psi, the Indexing Function: a basis for FFP with arrays Springer, Boston, MA. pp. 185- 200 ,(1991) , 10.1007/978-1-4615-4002-1_12
Daniel J. Rosenkrantz, Lenore R. Mullin, Harry B. Hunt, On Materializations of Array-Valued Temporaries languages and compilers for parallel computing. pp. 127- 141 ,(2000) , 10.1007/3-540-45574-4_9