Computability in Europe 2006
Logical Approaches to Computational Barriers

Regular Talk:
The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design

Speaker: Gregorio de Miguel Casado
Author(s): Gregorio de Miguel Casado and Juan Manuel García Chamizo
Slot: Array, 10:30-10:50, col. 4


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.

websites: Arnold Beckmann 2006-04-22