Patents by Inventor Michael Wittner

Michael Wittner has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 11461472
    Abstract: Disclosed is a test engine intended to evaluate the correctness and measure the performance effects of a binary transformation technique. The disclosed system takes source code as input and compiler information/flags as input. The transformation-under-test is applied to the compiler, creating a transformed compiler. A random test case generator residing within the test engine for injecting illegal code structures to modify the project source code, build flags, or compiler's operating environment, thereby creating an unlimited number of input test cases for the compiler. The test engine compiles the source code utilizing both the raw and transformed compilers and compares the results. For example, the test engine renders a pass/fail judgement on the binary transformation based on a metric of near equivalence between the results of the raw compiler and transformed compiler. By using one or more bitmasks, the evaluation process factors in differences attributed to compiler run-time generated artifacts.
    Type: Grant
    Filed: June 29, 2020
    Date of Patent: October 4, 2022
    Assignee: RUNSAFE SECURITY, INC.
    Inventors: Doug Britton, Shane Paulsen Fry, Andrew Murray, Michael Wittner
  • Publication number: 20220207150
    Abstract: Disclosed is a test engine intended to evaluate the correctness and measure the performance effects of a binary transformation technique. The disclosed system takes source code as input and compiler information/flags as input. The transformation-under-test is applied to the compiler, creating a transformed compiler. A random test case generator residing within the test engine for injecting illegal code structures to modify the project source code, build flags, or compiler's operating environment, thereby creating an unlimited number of input test cases for the compiler. The test engine compiles the source code utilizing both the raw and transformed compilers and compares the results. For example, the test engine renders a pass/fail judgement on the binary transformation based on a metric of near equivalence between the results of the raw compiler and transformed compiler. By using one or more bitmasks, the evaluation process factors in differences attributed to compiler run-time generated artifacts.
    Type: Application
    Filed: June 29, 2020
    Publication date: June 30, 2022
    Inventors: Doug BRITTON, Shane Paulsen FRY, Andrew MURRAY, Michael Wittner
  • Patent number: 5812732
    Abstract: The invention relates to the classification of such parts of television signals which are commercials so that those parts can be eliminated during recording or playback. Known methods for the detection of commercials during a TV program suffer from the drawbacks that one or two features of the TV signals are observed to decide whether the TV signal is part of a commercial or not. In the present invention of a method and apparatus, a classification of TV signals results on a plurality of information gathered from the TV signals and a plurality of rules using a rule system. Such a rule system permits the modeling of uncertainties so that for the definition of the rules, no strict values or strict limits need be given. In particular, fuzzy rules and linguistic variables are used.
    Type: Grant
    Filed: March 22, 1996
    Date of Patent: September 22, 1998
    Assignee: Deutsche Thomson-Brandt GmbH
    Inventors: Thomas Dettmer, Bernd Reusch, Michael Wittner