Method for comparing two trinary logic representations in...

Electrical computers and digital processing systems: multicomput – Remote data accessing

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C714S039000, C707S793000, C455S003030

Reexamination Certificate

active

07058694

ABSTRACT:
A method for efficiently comparing two trinary logic representations, including the steps of creating a first data structure (a VALUE data structure) representative of a first set of properties; creating a second data structure (a KNOWN data structure) representative of whether the first set of properties is known; creating a third data structure (a TARGET data structure) representative of a target set of properties; creating a fourth data structure (a WANT data structure) representative of whether the target set of properties is wanted; and comparing the first, second, third, and fourth data structures using bit-wise binary operations to determine whether the first set of known properties are wanted as a target set of properties. In exemplary embodiments, the bit-wise binary operations are performed according to the Boolean equation: (not WANT) or (KNOWN and ((TARGET xor VALUE))). Alternatively, the bit-wise binary operation are performed according to the Boolean equation: (not WANT) or (KNOWN and ((TARGET and VALUE) or ((not TARGET) and (not (VALUE))). These data structures may be any size computer word, including 16 and 32-bit words.

REFERENCES:
patent: 5455570 (1995-10-01), Cook
patent: 5815662 (1998-09-01), Ong
patent: 5818510 (1998-10-01), Cobbley et al.
patent: 5986692 (1999-11-01), Logan et al.
patent: 6038591 (2000-03-01), Wolfe et al.
patent: 6081780 (2000-06-01), Lumelsky
patent: 6088722 (2000-07-01), Herz et al.
patent: 6122757 (2000-09-01), Kelley
patent: 6128663 (2000-10-01), Thomas
patent: 6161142 (2000-12-01), Wolfe et al.
patent: 6167393 (2000-12-01), Davis et al.
patent: 6246672 (2001-06-01), Lumelsky
patent: 6289165 (2001-09-01), Abecassis
patent: 6314094 (2001-11-01), Boys
patent: 6317784 (2001-11-01), Mackintosh et al.
patent: 6335927 (2002-01-01), Elliott et al.
patent: 6339693 (2002-01-01), Chan
patent: 6345289 (2002-02-01), Lotspiech et al.
patent: 6377782 (2002-04-01), Bishop
patent: 6411992 (2002-06-01), Srinivasan et al.
patent: 6477707 (2002-11-01), King et al.
patent: 6487390 (2002-11-01), Virine et al.
patent: 6496802 (2002-12-01), van Zoest et al.
patent: 6560651 (2003-05-01), Katz et al.
patent: 6587127 (2003-07-01), Leeke et al.
patent: 6615039 (2003-09-01), Eldering
patent: 2001/0025259 (2001-09-01), Rouchon
patent: 2002/0023270 (2002-02-01), Thomas et al.
patent: 2002/0116082 (2002-08-01), Gudorf
patent: 2002/0183059 (2002-12-01), Noreen et al.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Method for comparing two trinary logic representations in... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for comparing two trinary logic representations in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for comparing two trinary logic representations in... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-3640178

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.