Matches 1 - 23 out of 23


Match Document Document Title
8301180 System and methods for robust messaging  
A portable electronic device is provided. The portable device comprises a wireless transceiver to receive and transmit messages and a messaging client. The messaging client receives a first...
8055697 Method and device for dynamically verifying a processor architecture  
A method and device may be useful for dynamically verifying a processor architecture at runtime. The checker may more efficiently and cheaply verify at least some of the functionality provided by...
7574335 Modelling piece-wise continuous transfer functions for digital image processing  
Methods and apparatus, including computer program products, for modelling a non-linear transfer function with a power law function. A transfer function is received. Iteratively, until a...
6697995 Diagnostic method for logic used in vehicle  
Disclosed is a diagnostic method for a logic used in a vehicle in which a sequence of a plurality of logic operations is predetermined, the method comprising the steps of assigning an ID to each...
5608661 Method and apparatus for semi-automatic number verification  
Semi-Automatic Number Verification (SNV) on an electronic adding machine employing a small amount of random access memory (RAM), a microprocessor, a printer link and printer, a piezo-electric...
5506800 Self-checking complementary adder unit  
A self-checking complementary adder unit used for high performance subtractions comprises two carry select adders (30 and 36) each of which consists of a pair of byte or digit organized ripple...
5018093 High performance self-checking adder having small circuit area  
A carry select adder may be used in which carry inputs to ripple adder stages are not fixed. The adder stage determines which of the two ripple adders of that stage has output the correct sum...
5016208 Deferred comparison multiplier checker  
In a data processing system, a multiplication operation is immediately followed by a redundant multiplication operation, using the same, albeit altered, operands, to check the initial result. The...
5001479 Gray code converter with error signal  
A method and circuit arrangement is disclosed for converting Gray code signals into counting pulses, forming a counter status, detecting interference signals infringing the Gray code and for...
4994993 System for detecting and correcting errors generated by arithmetic logic units  
Apparatus is provided for performing a method for detecting and correcting errors in one clock cycle that occur during arithmetic operations of at least two operands. Specifically, two operands...
4924467 System for checking duplicate logic using complementary residue codes to achieve high error coverage with a minimum of interface signals  
A system for detecting and isolating fault conditions occurring within a digital electronic system. The digital electronic system includes a first digital logic array for generating digital...
4707794 Playback operation circuit in synthetic-speech calculator  
A synthetic-speech calculator includes a calculating circuit inclusive of a plurality of memory locations to allow successive or chain calculations by some calculations equations and calculating...
4314350 Self-checking arithmetic unit  
A circuit for the detection of errors in single and double word arithmetic logic unit operations.A microprogram processor achieves self-checking of arithmetic logic unit functions by performing...
4088877 Sequence checking device  
A device for determining the presence and position or order of items which bear a bar coded tag and in which, by means of comparing the codes of two sequentially scanned items, missing, duplicate,...
3846626 ELECTRONIC DESK CALCULATOR WITH VERIFICATION FUNCTION  
The present disclosure is directed to electronic desk calculators having an additional function for verifying the results of arithmetic operations. The verification system includes an additional...
3660646 CHECKING BY PSEUDODUPLICATION  
An error detection system is described which detects errors by performing a given arithmetic or logical operation using one data path followed by the performing of the same arithmetic or logic...
3047227 Multiplier apparatus  
3040984 Data-checking system  
3037698 Error controlled recycling of the readout of stored information  
867,307. Digital electric calculating-apparatus. INTERNATIONAL BUSINESS MACHINES CORPORATION. Aug. 29, 1958 [Sept. 3, 1957], No. 27806/58. Class 106 (1). An electronic computer includes a data...
2973900 Accounting systems  
2954926 Electronic data processing system  
2861744 Verification system  
2789759 Electronic digital computing machines  
737,863. Digital electrical calculating apparatus. NATIONAL RESEARCH DEVELOPMENT CORPORATION. June 21, 1950 [June 22, 1949], No. 16590/49. Class 106 (1). An electronic digital computing machine...

Matches 1 - 23 out of 23