Douglas G Howe

US Patent:

6343372, Jan 29, 2002

Filed:

Jun 11, 1999

Appl. No.:

09/330526

Inventors:

Amy Patricia Felty - Berkeley Heights NJ
Douglas J. Howe - Berkeley Heights NJ
Abhik Roychoudhury - Stony Brook NY

Assignee:

Lucent Technologies Inc. - Murray Hill NJ

International Classification:

G06F 944

US Classification:

717 2, 717 4, 717 7, 703 2

Abstract:

A method of synthesizing an algorithm for transforming a program from a first form to a second form includes first formalizing a language associated with the program to be transformed in accordance with a theorem proving system. Then, a proof is built in accordance with the theorem proving system based on a theorem asserting a representability associated with the program, the representability being expressed as inductive predicates over semantic domains. The method then extracts the algorithm based on the proof. The algorithm is capable of transforming the program from the first form to the second form. In one embodiment, the algorithm is a correctness verified abstraction algorithm and the theorem proving system is Nuprl.

US Patent:

6459176, Oct 1, 2002

Filed:

Nov 28, 2000

Appl. No.:

09/723527

Inventors:

Kenneth H. Brockel - Neptune NJ
Peter J. Rathemacher - Highlands NJ
Fenton K. Yip - Edison NJ
Douglas B. Howe - Toms River NJ
Marc D. Gietter - Jackson NJ

Assignee:

The United States of America as represented by the Secretary of the Army - Washington DC

International Classification:

H01M 210

US Classification:

307150, 455 90, 429 99

Abstract:

A survival radio battery adapter is provided for survival equipment to operate with commercially available rechargeable batteries sealed in a rugged, watertight battery compartment. The survival radio battery adapter comprises a battery compartment, an adapter coupler, an adapter means having surge protection, voltage regulator and voltage conversion devices, with the adapter coupler being connected to the battery compartment and the battery compartment containing sufficient commercially available rechargeable batteries. The battery compartment is configured to provide a watertight seal when closed. The preferred embodiment is an AN/PRC-90 survival radio battery adapter. In another embodiment, this invention provides a survival radio battery adapter for the AN/PRC-112 D survival radio comprising a battery compartment connected directly to the survival radio, with a surge protection device being included in the battery compartment, and other power management devices already included in the survival radio so that it operates with commercially available rechargeable batteries. This invention also provides battery adapters for survivability equipment.

US Patent:

61579017, Dec 5, 2000

Filed:

Aug 25, 1998

Appl. No.:

9/139186

Inventors:

Douglas J. Howe - Berkeley Heights NJ

Assignee:

Lucent Technologies Inc. - Murray Hill NJ

International Classification:

G06F 1710

US Classification:

703 2

Abstract:

A type annotation technique such that expressions are assigned and annotated with types in such a way that types can be efficiently maintained during inference without new syntactic restrictions being placed on the expressions or underlying logic within the verification system. More particularly, in accordance with the technique, expressions, i. e. terms, are annotated using a particular labeling scheme such that, during verification, if an expression is annotated the verification may proceed without any additional type inference or type checking with regard to that expression.