Efficient 16-bit floating-point interval processor for embedded systems and applications

12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, Conference Post-Proceedings

Volumn , Issue , 2006, Pages 23-

  Piskorski, Stéphane ^a   Kieffer, Michel ^b   Lacassagne, Lionel ^a   Etiemble, Daniel ^a  

^a CNRS   (France)

^b UNIV PARIS SUD   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL ARITHMETIC; GENERAL PURPOSE COMPUTERS;

DISTRIBUTED LOCALIZATION; FLOATING POINT UNITS; FLOATING POINTS; GENERAL PURPOSE PROCESSORS; INTERVAL COMPUTATIONS; NETWORK OF SENSORS; SOFT-CORE PROCESSORS;

EMBEDDED SYSTEMS;

EID: 47849122720     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAN.2006.15     Document Type: Conference Paper

References (28)

1. Location is everything: Positioning in wireless networks (a special issue). In A. Dogandzic, J. Riba, G. Seco, and A. Lee Swindlehurst, editors, IEEE Signal Processing Magazine, volume 22, 2005.
2. Special issue on distributed constraint satisfaction. In B. Faltings and M. Yokoo, editors, Artificial Intelligence, volume 161, pages 1-250, 2005.
3. Technical Introduction to OpenEXR, 2006. http://www.openexr.com/ TechnicalIntroduction.pdf.
4. Altera. NIOS Custom Instructions, Tutorial, 2002. http://www.altera.com/literature/tt/tt_nios_ci.pdf.
5. R. Bejar, C. Fernandez, M. Valls, C. Domshlak, C. Gomes, B. Selman, and B. Krishnamachari. Sensor networks and distributed CSP: Communication, computation and complexity. Artificial Intelligence Journal, 161(1-2):117-148, 2005.
6. J. Detrey and F. de Dinechin. FPLibrary: A VHDL Library of Parametrisable Floating-Point and LNS Operators for FPGA. ENS Lyon, 2006. http://perso.ens-lyon.fr/jeremie.detrey/FPLibrary/.
7. D. Etiemble, S.Bouaziz, and L. Lacassagne. Customizing 16-bit floating point instructions on a NIOS II processor for FPGA image and media processing. In Proc. Estimedia, New York, 2005.
8. A. O. Hero III and D. Blatt. Sensor network source localization via projection onto convex sets (POCS). In Proceedings of ICASSP, 2005.
9. IEEE. DRAFT Standard for Floating-Point Arithmetic P754, 2006. Draft 1.2.5, http://754r.ucbtest.org/drafts/754r.pdf.
10. Intel. Desktop performance and optimization for intel pentium 4 processor. Technical Report 249438-01, 2001.
11. L. Jaulin, M. Kieffer, I. Braems, and E. Walter. Guaranteed nonlinear estimation using constraint propagation on sets. International Journal of Control, 74(18):1772-1782, 2001.
12. L. Jaulin, M. Kieffer, O. Didrit, and E. Walter. Applied Interval Analysis. Springer-Verlag, London, 2001.
13. L. Jaulin and E. Walter. Set inversion via interval analysis for nonlinear bounded-error estimation. Automatica, 29(4):1053-1064, 1993.
14. M. Kieffer and E. Walter. Centralized and distributed source 1ocalization by a network of sensors using guaranteed set estimation. In Proceedings of ICASSP, volume 4, pages 977-980, 2006.
15. O. Knüppel. PROFIL - programmer's run-time optimized fast interval library. Technical Report 93.4, Institut für Informatik III, Technische Universität Hamburg-Harburg, Germany, 1993. Available at: ftp://ftp.ti3.tu-harburg.de/pub/reports/report93.3.ps.Z.
16. O. Knüppel. PROFIL/BIAS - A fast interval library. Computing, 53:277-287, 1994.
17. R. Kolla, A. Vodopivec, and J. Wolff Von Gudenberg. The IAX architecture: Interval arithmetic extension. Technical report, 1999. http://wwwi2.informatik. uni-wuerzburg.de/mitarbeiter/wvg/Public/iax.ps.gz.
18. U. Kulisch and W. L. Miranker. The arithmetic of digital computer: A new approach. Siam Review, 28(1), 1986.
19. L. Lacassagne, D. Etiembie, and S. Ould Kablia. 16-bit floating point instructions for embedded multimedia applications. In Proc. IEEE Computer Architecture and Machine Perception, Palermo, 2005.
20. W. R. Mark, H. S. Glanville, K. Akeley, and M. J. Kilgard. Cg: A system for programming graphics hardware in a c-like language. In Proceedings of SIG-GRAPH 2003, 2003.
21. R. E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966.
22. A. Neumaier. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, UK, 1990.
23. Y. Okumura, E. Qhmori, T. Kawano, and K. Fukuda. Field strength ans its variability in VHF and UHF land-mobile radio service. Rev. Elec. Commun. Lab., 16:9-10, 1968.
24. N. Patwari, J. N. Ash, S. Kyperountas, A. O. Hero III, R. L. Moses, and N. S. Correal. Locating the nodes. IEEE Signal Processing Magazine, 22(4):54-69, 2005.
25. M. G. Rabbat and R. D. Nowak. Decentralized source localization and tracking. In Proc. ICASSP, 2004.
26. A. H. Sayed, A. Tarighat, and N. Khajehnouri. Network-based wireless location. IEEE Signal Processing Magazine, 22(4):24-40, 2005.
27. G. Sun, J. Chen, W. Guo, and K. J. Ray Liu. Signal processing techniques in network-aided positioning. IEEE Signal Processing Magazine, 22(4):12-23, 2005.
28. J. Wolff von Gudenberg. Hardware support for interval computation. In G. Alefeld, A. Frommer, and B. Lang, editors, Scientific Computing and Validated Numerics, pages 32-37. Akademie-Verlag, Berlin, Germany, 1996.