Skip to search formSkip to main contentSkip to account menu

Overflow flag

In computer processors, the overflow flag (sometimes called V flag) is usually a single bit in a system status register used to indicate when an… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Communication by transferring data using computer networks have an important role nowadays. There are many activities which… 
2012
2012
Reversible watermarking algorithms make it possible that the original image can be totally restored after the watermark was… 
2010
2010
Dynamic test generation consists of running a program while simultaneously executing the program symbolically in order to gather… 
2009
2009
  • M. Schmalz
  • 2009
  • Corpus ID: 62575197
Floating-point computation generates errors at the bit level through four processes, namely, overflow, underflow, truncation, and… 
2005
2005
This paper addresses the formalization in higher-order logic of fixed-point arithmetic. We encoded the fixed-point number system… 
2002
2002
This paper addresses the formalization in higher-order logic of fixed-point arithmetic based on the SPW (Signal Processing… 
1999
1999
The #u-TBL system represents an attempt to use the search and database capabilities of the Prolog programming language to… 
1998
1998
In this paper, we present a “black box” version of verification of FP adders. In our approach, FP adders are verified by an… 
1998
1998
In recent years, the software of automotive control systems has become increasingly large and complex to meet numerous…