Computability in Europe 2006
Logical Approaches to Computational Barriers

Print current page  Print this page

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
Presentation: deMiguelCasado.pdf
Slot: Tue, 10:30-10:50, Faraday D (col. 4)

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.

websites: Arnold Beckmann 2006-04-22 Valid HTML 4.01! Valid CSS! eXTReMe Tracker hit counters by www.free-counters.net