Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-11-15
2008-09-30
Wood, William H (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S141000, C717S151000
Reexamination Certificate
active
07430733
ABSTRACT:
A method of validating binary code transformation in one aspect includes analyzing original program and transform program. Control flow graphs are generated for both programs. The two graphs are traversed to create respective linear invariant representations. The linear representations are compared to identify incorrect transformations.
REFERENCES:
patent: 5371747 (1994-12-01), Brooks et al.
patent: 5450575 (1995-09-01), Sites
patent: 5758051 (1998-05-01), Moreno et al.
patent: 5790867 (1998-08-01), Schmidt et al.
patent: 5802373 (1998-09-01), Yates et al.
patent: 5889999 (1999-03-01), Breternitz et al.
patent: 5966539 (1999-10-01), Srivastava
patent: 5966541 (1999-10-01), Agarwal
patent: 6035123 (2000-03-01), Razdan et al.
patent: 6075942 (2000-06-01), Cartwright, Jr. et al.
patent: 6226789 (2001-05-01), Tye et al.
patent: 6275981 (2001-08-01), Buzbee et al.
patent: 6289505 (2001-09-01), Goebel
patent: 6292938 (2001-09-01), Sarkar et al.
patent: 6530079 (2003-03-01), Choi et al.
patent: 6598221 (2003-07-01), Pegatoquet et al.
patent: 6748584 (2004-06-01), Witchel et al.
patent: 6829733 (2004-12-01), Richardson et al.
patent: 7185328 (2007-02-01), Grover
patent: 7207038 (2007-04-01), Bicsak et al.
patent: 2004/0098710 (2004-05-01), Radigan
patent: 2004/0128659 (2004-07-01), Robison
patent: 2005/0257202 (2005-11-01), Kaestner et al.
patent: 2005/0268293 (2005-12-01), Kawahito et al.
patent: 2006/0080645 (2006-04-01), Miranda et al.
patent: 2006/0130016 (2006-06-01), Wagner
patent: 2006/0282807 (2006-12-01), Ivancic et al.
patent: 1004961 (2000-05-01), None
patent: WO99/57635 (1999-11-01), None
Wang et al., “BMAT—A Binary Matching Tool for Stale Profile Propagation,” Journal of Instruction-Level Parallelism 2 (2000) 1-6 © 2000 Morgan Kaufmann Publishers. All rights reserved. pp. 1-20.
Bakos, et al., “Lightweight Error Correction Coding for System-level Interconnects,” IEEE Transactions on Computers, 2007, vol. 56, No. 3 (MAR), p. 289-304.
Bombin, H., et al., “Homological Error Correction: Classical and Quantum Codes,” Journal of Mathematical Physics, vol. 48, No. 5, p. 52105-1-35 (2007).
Dodunekov, S.M., et al., “On Algebraic Decoding of Some Maximal Quaternary Codes and the Binary Golay Code,” Translated in: Problems of Information Transmission, vol. 35, No. 4, p. 338-45, Oct.-Dec. 1999.
Dodunekov, S.M., et al., “Parallel Decoding of the (23, 12, 7) Binary Golay Code,” IEE Proceedings—Computers and Digital Techniques, vol. 141, No. 2, p. 119-22, Mar. 1994.
Fu, C-M., et al., “Combined Error Concealment and Error Correction in Rate-Distortion Analysis for Multiple Substream Transmissions,” IEEE Transactions On Image Processing, 2007, vol. 16, No. 4, p. 1022-1035.
Huang, S-W., et al., “Binary Code Design for High-Frequency Ultrasound,” IEEE Transactions on Ultrasonics, Ferroelectrics and Frequency Control, vol. 54, No. 5, p. 947-56. May 2007.
Kim, J., et al., “Probability Quantizer for Multiplication Free Binary Arithmetic Code,” Electronics Letters, Jun. 5, 1997, vol. 33, No. 12, p. 1030-1031.
Kwan, H. Y., et al., “Binary-Code-Allocation Scheme in DS-CDMA Systems,” IEEE Transactions on Vehicular Technology, vol. 56, No. 1, p. 134-45 Jan. 2007.
Lee, W-T., et al., “A Single-Chip Viterbi Decoder For a Binary Convolutional Code Using an Adaptive Algorithm,” IEEE Transactions on Consumer Electronics, vol. 41, No. 1, pp. 150-9, Feb. 1995.
Mihaljevic, M., et al., “A Sequence Comparison Approach for Decoding of General Binary Block Code After the Binary Summetric Channel with Synchronization Errors,” Conference: ICIAM / GAMM 95. Part I, (Hamburg DEU) , Jul. 3, 1995, vol. 76, No. SUP1, p. 479-480.
Mityakov, V.G., et al., “Comparison of Phase Masking Methods in Holographic Recording of Binary Code Transparencies,” Translated in: Optics and Spectroscopy, vol. 57, No. 2, p. 184-8, Aug. 1984.
Nazarov, L.E., “Use of Fast Walsh-Hadamard Transformation for Optimal Symbol-by-Symbol Binary Block-code Decoding,” Electronics Letters, vol. 34, No. 3, p. 261-2. Feb. 1998.
Nicol, D.M., et al., “Performance Analysis of Binary Code Protection,” Conference: Proceedings of the 2005 Winter Simulation Conference (IEEE Cat. No. 05CH37732C) , p. 10 pp. 005.
Shuang, W., et al., “Secure Deterministic Communication In a Quantum Loss Channel Using Quantum Error Correction Code,” Chinese Physics, vol. 16, No. 5, p. 1229-32, May 2007.
Tan, et al., “Optimization of an RTP Level Hybrid Error Correction Scheme for DVB Services Over Wireless Home Networks Under Strict Delay Constraints,” IEEE Transactions on Broadcasting , vol. 53, No. 1, pt. 2, p. 297-307. Mar. 2007.
Testard, M., et al., “Tight Approximation of Bit Error Probability For L-Diversity Non-Coherent M-Ary FSK Frequency Hopping System With Binary Convolutional Code and Soft Viterbi Decoder: Diversity, Bit Interleaver Size and Reed-Solomon Outer Code Effects Analysis on Receiver Performance for M=8,” Conference: MILCOM 97 MILCOM 97 Proceedings, IEEE Commun. Soc., AFCEA (Armed Forces Commun. & Electron. Assoc.) , Nov. 2-5, 1997, Monterey, CA, USA.
Tomlinson, M., et al., “Analysis of the Distribution of the Number of Erasures Correctable by a Binary Linear Code and the Link to Low-Weight Codewords,” IET Communications, vol. 1, No. 3, p. 539-48. Publisher: Inst. of Eng. and Technol, Jun. 1, 2007.
Valembois, A., et al., “Detection and Recognition of a Binary Linear Code,” Discrete Applied Mathematics, vol. 111, No. 1-2, p. 199-218. Publisher: Elsevier, Jul. 15, 2001.
Wang, Q., et al., “Coded QAM Using a Binary Convolutional Code,” IEEE Transactions on Communications, vol. 43, No. 6, p. 2001-4, Jun. 1995.
Zhang, L., et al. “A Time Domain Synthesized Binary Phase Code Sidelobe Suppression Filter Based on Genetic Algorithm,” Conference: Proceedings of 5th International Conference on Signal Processing, Aug. 21-25, 2000, Beijing, China.
Eakman, G, “Verification of Platform Independent Models,” Pathfinder Solutions, 2003.
Harris et al., “Practical Analysis of Stripped Binary Code,” Computer Sciences Department, 2005.
Erez, Esq. Suzanne
Scully , Scott, Murphy & Presser, P.C.
Wood William H
LandOfFree
Method for validation of binary code transformations 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 validation of binary code transformations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for validation of binary code transformations will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3978316