The role of algebraic models and type-2 theory of effectivity in special purpose processor design

Authors:
Gregorio de Miguel Casado;Juan Manuel García Chamizo
Affiliations:
University of Alicante, San Vicente del Raspeig, Alicante, Spain;University of Alicante, San Vicente del Raspeig, Alicante, Spain
Venue:
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Year:
2006

Citing 6
Cited 1

Computable analysis: an introduction

Computable analysis: an introduction
Theoretical Foundations of VLSI Design

Theoretical Foundations of VLSI Design
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
A Survey of Exact Arithmetic Implementations

CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Computability theory of generalized functions

Journal of the ACM (JACM)
Programming Models for Hybrid FPGA-CPU Computational Components: A Missing Link

IEEE Micro

Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers

CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World

Quantified Score

Hi-index	0.00

Visualization

Abstract

A theoretical approach to a novel design method for special purpose processors for computable integral transforms and related operations is presented. The method is based on algebraic processor models and Type-2 Theory of Effectivity and aims for specification formalization and calculation reliability together with implementation feasibility. The convolution operation is presented as a case of study.