Paper Info
Title
The role of algebraic models and type-2 theory of effectivity in special purpose processor design
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.
Year
DOI
Venue
2006
10.1007/11780342_15
CiE
Keywords
Field
DocType
special purpose processor design,theoretical approach,implementation feasibility,related operation,special purpose processor,algebraic processor model,convolution operation,type-2 theory,specification formalization,novel design method,calculation reliability,algebraic model,convolution operator,design method,integral transforms,vlsi design
Algebraic specification,Discrete mathematics,Algebraic number,Computer science,Convolution,Algebraic method,Type theory,Computability,Processor design,Integral transform
Conference
Volume
ISSN
ISBN
3988
0302-9743
3-540-35466-2
Citations 
PageRank 
References 
1
0.37
7
Authors
2
Name
Order
Citations
PageRank
Gregorio de Miguel Casado1245.69
Juan Manuel García Chamizo2174.20