T. Y. Tang
ABSTRACT
Fingerprint sensors are getting small enough to be included in mobile devices to enable fingerprint verification be employed as an authentication tool when using the mobile devices for secure transactions. Fingerprint verification, however, is a computing intensive technology that requires a lot of floating-point computation. Unfortunately, the embedded processors in most mobile devices do not support floating-point hardware. In this paper, we present the implementation of a fingerprint verification process in an embedded system environment based the StrongArm processor and the embedded Linux operating system. The success of the implementation relies on the use of a fixed-point arithmetic only. The fingerprint verification component, the fixed-point component as well as the technique employed to pair up the two components are described in details. In particular, we estimated the required precisions in the fixed-point representations before conducting experiments. Through our results, we further show that not only the fixed-point implementation achieves the goal of significant speed improvement but is almost as reliable as the floating-point counterparts.
- A. Jain, H. Lin, R. Bolle, "On-line fingerprint verification," in Pattern Analysis and Machine Intelligence, IEEE Transaction on, Volume: 19 Issue: 4, April 1997 Page(s): 302--314 Google Scholar
Digital Library
- A. Wahab, S. H. Chin, E. C. Tan, "Novel approach to automated fingerprint recognition," in Vision, Image and Signal Processing, IEE Proceedings.-Visual Image Signal Process, Volume: 145 Issue: 3, June 1998Google Scholar
- D. Maio, D. Maltoni, "Direct gray-scale minutiae detection in fingerprints," in Pattern Analysis and machine Intelligence, IEEE Transactions on, Volume: 19 Issue: 1, Jan. 1997 Page(s): 27--40W.-K. Google ScholarDigital Library
- H. Lin, Yifei Wan, A. Jain, "Fingerprint image enhancement: algorithm and performance evaluation" in Pattern Analysis and Machine Intelligence, IEEE Transactions, Volume: 20 Issue: 8, Aug. 1998 Page(s): 777 - 789.com/pub/journals/21ps03-vidmar Google ScholarDigital Library
- A. K. Jain, S. Prabhakar, H. Lin, S. Pankanti, "Filterbank-based fingerprint matching", Image Processing, IEEE Transactions on, Volume: 9 Issue: 5, May 2000. Google ScholarDigital Library
- D. Maio, D. Maltoni, R. Cappelli, J. L. Wayman, A. K. Jain, "FVC2000:fingerprint verification competition" Pattern Analysis and Machine Intelligence,' in IEEE Transactions on, Volume: 24 Issue: 3, March 2002 Page(s): 402--412. Google ScholarDigital Library
- M. Willems, V. Buersgens, H, Keding, and H. Meyr, "FRIDGE: An Interactive Fixed-Point Code Generation Environment for HW/SW CoDesign," in Proceeding of the International Conference on Acoustics, Speech, and Signal Processing '97, Apr. 1997. Google ScholarDigital Library
- Ki-Il Kum, Jiyang Kang "AUTOSCALER For C: An Optimizing Floating-Point to Integer C Program Converter For Fixed-Point Digital Signal Processors,", in IEEE Transcations on Circuits and System-II: Analog and Digital Signal Processing, Vol. 47. No. 9, Sept 2000.Google Scholar
- K. C. Chan, Y. S. Moon and P. S. Cheng, "Fast Fingerprint Verification using Sub-regions of Fingerprint Images" to appear in the IEEE Transactions on Circuits and Systems for Video Technology, Nov. 2003. Google ScholarDigital Library
Recommendations
Formalization of fixed-point arithmetic in HOL
This paper addresses the formalization in higher order logic of fixed-point arithmetic. We encoded the fixed-point number system and specified the different quantization modes in fixed-point arithmetic such as the directed and even quantization modes. ...
Cost-effective fixed-point hardware support for RISC-V embedded systems
AbstractWith the ever-increasing energy-efficiency requirements for the computing platforms at the edge, precision tuning techniques highlight the possibility of improving the efficiency of floating-point computations by selectively lowering ...
Highlights- Substituting floating-point with fixed-point computations optimizes efficiency.
An SMT Theory of Fixed-Point Arithmetic
Automated ReasoningAbstractFixed-point arithmetic is a popular alternative to floating-point arithmetic on embedded systems. Existing work on the verification of fixed-point programs relies on custom formalizations of fixed-point arithmetic, which makes it hard to compare ...
Comments