Standard for Digitizing Waveform Recorders, IEEE Std. 1057, Dec.1994. - 25 - Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Modular Verification of SRT Division - Rueß, Shankar, Srivas (1996) (6 citations) (Correct)
....to the fixed point kernel of the division circuit. Recently, Miner and Leathrum [21] used PVS to verify a general class of subtractive division algorithms as well as specific instances in this class including Taylor s SRT circuit, with respect to the IEEE floating point arithmetic standards [15,16]. They also showed how PVS could be used in the rapid design of new division circuits starting from existing ones. Methods based on ordered BDDs and symbolic model checking are not wellsuited for verifying multipliers and dividers since BDD graphs for such operations grow exponentially with the ....
Standard for Radix-Independent Floating-Point Arithmetic, 1987. ANSI/IEEE Std 854-1987.
Modular Verification of SRT Division - Rueß, Shankar, Srivas (1996) (6 citations) (Correct)
....to the fixed point kernel of the division circuit. Recently, Miner and Leathrum [21] used PVS to verify a general class of subtractive division algorithms as well as specific instances in this class including Taylor s SRT circuit, with respect to the IEEE floating point arithmetic standards [15,16]. They also showed how PVS could be used in the rapid design of new division circuits starting from existing ones. Methods based on ordered BDDs and symbolic model checking are not wellsuited for verifying multipliers and dividers since BDD graphs for such operations grow exponentially with the ....
Standard for Binary Floating-Point Arithmetic, 1985. ANSI/IEEE Std 754-1985.
Unknown - Self-citation (Digital) (Correct)
No context found.
Standard for Terminology and Test Methods for Analogto -Digital Converters, IEEE Std 1241, Oct. 2000.
Testing a Communications Driver for the IEEE 1394 - High Speed Serial (2000) Self-citation (Standard Bus) (Correct)
....combines the multimedia consumer, the computing and the industry area. At the end of the 80 s Apple developed the high speed data transmission system and trademarked it as FireWire . In 1995 the IEEE (Institute of Electrical and Electronic Engineers) standardized the high performance serial bus [7]. Today many electronic devices, including computers, printers, digital cameras, camcorders, monitors, VCRs, scanners, HDDs and other storage media, can be interconnected on the same local network and communicate using this technology. IEEE 1394 is a universal interconnect solution that has been ....
"P1394 Standard for a High Performance Serial Bus", IEEE Std 1394, 1995 -
G Numerics - The Numerics Self-citation (Arithmetic) (Correct)
.... Radix Using the hardware radix rather than a binary radix has two effects: It permits practical implementations on decimal hardware (which, though not currently of commercial significance for mainstream computers, is permitted by the radix independent IEEE floating point arithmetic standard [IEEE 87] is appealing for embedded computers in consumer electronics; and is used in at least one such application, a Hewlett Packard calculator) On hexadecimal hardware, it allows more machine numbers to be classed as model numbers (and therefore to be proven to possess special properties, such as ....
Standard for Radix-Independent Floating-Point Arithmetic. ANSI/IEEE Std. 854-1987 edition, 1987.
Frequency Domain Testing Of Waveform Digitizers - Petri (2001) (Correct)
No context found.
Standard for Digitizing Waveform Recorders, IEEE Std. 1057, Dec.1994. - 25 -
A Procedure For High Reproducible . . . - Nunzi (2004) (Correct)
No context found.
Standard for Terminology and Test Methods for Analog-to-Digital Converters, IEEE Std 1241, Oct. 2000.
A Procedure For High Reproducible . . . - Nunzi (2004) (Correct)
No context found.
Standard for Digitizing Waveform Recorders, IEEE Std. 1057, Dec. 1994.
Unknown - (Correct)
No context found.
Standard for Terminology and Test Methods for Analogto -Digital Converters, IEEE Std 1241, Oct. 2000.
Unknown - (Correct)
No context found.
Standard for Terminology and Test Methods for Analog-to-Digital Converters, IEEE Std 1241, Oct. 2000.
Unknown - (Correct)
No context found.
Standard for Digitizing Waveform Recorders, IEEE Std. 1057, Dec. 1994.
Unknown - (Correct)
No context found.
Standard for Digitizing Waveform Recorders, IEEE Std. 1057, Dec. 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC