Computability in Europe 2006
Logical Approaches to Computational Barriers
|Speaker:||Gregorio de Miguel Casado|
|Author(s):||Gregorio de Miguel Casado and Juan Manuel García Chamizo|
|Slot:||Tue, 10:30-10:50, Faraday D (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|