|
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... |