Skip to main content
SpringerLink
Log in

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

  • Conference paper
Logical Approaches to Computational Barriers (CiE 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3988))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andrews, D., Niehaus, D., Jidin, R., Finley, M., Peck, W., Frisbie, M., Ortiz, J., Komp, E., Ashenden, P.: Programming Models for Hybrid FPGA-CPU Computational Components: A Missing Link. IEEE Micro 24, 42–53 (2004)

    Article  Google Scholar 

  2. Ercegovac, M.D., Lang, T.: Digital Arithmetic. Morgan Kaufmann, San Francisco (2004)

    Google Scholar 

  3. Fox, A.C.J.: Formal specification and verification of ARM6. In: Basin, D., Wolff, B. (eds.) TPHOLs 2003. LNCS, vol. 2758, pp. 25–40. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Fox, A.C.J., Harman, N.A.: Algebraic Models of Correctness for Abstract Pipelines. The Journal of Algebraic and Logic Programming 57, 71–107 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  5. Gowland, P., Lester, D.: A Survey of Exact Arithmetic Implementations. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, pp. 30–47. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  6. Harman, N.A., Tucker, J.V.: Algebraic models of microprocessors: the verification of a simple computer. In: Proc. 2nd IMA Conference, pp. 135–170 (1997)

    Google Scholar 

  7. Klunkle, D.: Type-2 computability on spaces of integrable functions. Math. Log. Quart. 50, 417–430 (2004)

    Article  MathSciNet  Google Scholar 

  8. Lynch, T., Schulte, M.: A High Radix On-line Arithmetic for Credible and Accurate Computing. Journal of UCS 1, 439–453 (1995)

    MathSciNet  MATH  Google Scholar 

  9. McEvoy, K., Tucker, J.V.: Theoretical Foundations of VLSI Design. Cambridge Tracts in Theoretical Computer Science, vol. 10 (1990)

    Google Scholar 

  10. Möller, B., Tucker, J.V. (eds.): NADA 1997. LNCS, vol. 1546. Springer, Heidelberg (1998)

    Google Scholar 

  11. Weihrauch, K.: Computable Analysis. Springer, Heidelberg (2000)

    Book  MATH  Google Scholar 

  12. Zhong, N., Weihrauch, K.: Computability Theory of Generalized Functions. Journal of the ACM 50, 469–505 (2003)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Alicante, 03690, San Vicente del Raspeig, Alicante, Spain

    Gregorio de Miguel Casado & Juan Manuel García Chamizo

Authors
  1. Gregorio de Miguel Casado
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juan Manuel García Chamizo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Swansea University, Singleton Park, SA2 8PP, Swansea, United Kingdom

    Arnold Beckmann

  2. Department of Computer Science, University of Wales Swansea, Singleton Park, SA2 8PP, Swansea, UK

    Ulrich Berger

  3. Universiteit van Amsterdam, Plantage Muidergracht 24, 1018, Amsterdam, TV, The Netherlands

    Benedikt Löwe

  4. School of Physical Sciences, Swansea University, Singleton Park, SA2 8PP, Swansea, Wales, United Kingdom

    John V. Tucker

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Miguel Casado, G., Chamizo, J.M.G. (2006). The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (eds) Logical Approaches to Computational Barriers. CiE 2006. Lecture Notes in Computer Science, vol 3988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780342_15

Download citation

  • DOI: https://doi.org/10.1007/11780342_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35466-6

  • Online ISBN: 978-3-540-35468-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation