Kenneth E Thompson

US Patent:

6353896, Mar 5, 2002

Filed:

Dec 15, 1998

Appl. No.:

09/211967

Inventors:

Gerard Johan Holzmann - Murray Hill NJ
Kenneth Lane Thompson - Watchung NJ
Philip Steven Winterbottom - Watchung NJ

Assignee:

Lucent Technologies Inc. - Murray Hill NJ

International Classification:

G06F 1136

US Classification:

714 38, 717 1

Abstract:

A technique for testing event driven software. In accordance with the technique, the source code of the event driven software is directly converted to an automation based model useful in verifying that the program code complies with the desired properties defined by the user. More particularly, the event driven system program code is translated into a target language for a particular model checker. Such a translation results in a model which contains statements directed at whether execution of the program code will affect the behavior of the event driven system. Thus, this model extraction process can be used as input to a logic model checker for determining whether event driven system complies with the desired correctness properties specified by the user. Advantageously, the model extraction process and application of the model checker occurs in a direct and dynamic fashion from the subject event driven system program code without the need for user intervention.

US Patent:

54577969, Oct 10, 1995

Filed:

Jun 10, 1994

Appl. No.:

8/259262

Inventors:

Kenneth L. Thompson - Watchung NJ

Assignee:

AT&T IPM Corp. - Coral Gables FL

International Classification:

G06F 1730

US Classification:

395600

Abstract:

A file system which has component file systems including a primary file system which is react/write and a number of dump file systems which are read only. Each dump file system is created from the primary file system by means of a dump operation and conserves the state of the primary file system at the time the dump operation was performed. Component file systems share read only storage elements with older component file systems. The file system is implemented on a system including a file server, a magnetic disk mass storage device, and an optical write once-read many (WORM) disk. The magnetic disk mass storage device contains the read/write storage elements of the primary file system and encached read only storage elements from the WORM disk. Space is reserved on the unwritten portion of the WORM disk for the read-write storage elements of the primary file system. Techniques for performing file operations including opening, reading, writing, creating, and deleting files are disclosed, as well as techniques for performing the operations of dumping and restoring the primary file system.

US Patent:

56236662, Apr 22, 1997

Filed:

May 18, 1995

Appl. No.:

8/443650

Inventors:

Robert C. Pike - Basking Ridge NJ
Kenneth L. Thompson - Watchung NJ

Assignee:

Lucent Technologies Inc. - Murray Hill NJ

International Classification:

G06F 944

US Classification:

395616

Abstract:

An operating system which is particularly adapted to heterogenous distributed systems. Entities available to a process running in the operating system are provided by services. Each service models its entity as a set of files. The entity is controlled by performing operations on the set of files provided by the entity. Services other than those provided by the operating system all employ the same protocol specifying operations on files. The only requirement placed on a service by the operating system is that it be able to accept and respond to messages employing the protocol. The files are named, and the operating system provides a plurality of name spaces, relates each process to one of the name spaces, and permits any process to modify its name space or to create a new name space. Services are disclosed which provide each process using the service with its own set of the service's files and which provide files belonging to one process's namespace to another process executing on a different processor.

US Patent:

58259767, Oct 20, 1998

Filed:

Apr 18, 1996

Appl. No.:

8/634538

Inventors:

Sean Matthew Dorward - Somerville NJ
Nuggehally Sampath Jayant - Gillette NJ
James David Johnston - Warren NJ
Schuyler Reynier Quackenbush - Westfield NJ
Kenneth Lane Thompson - Watchung NJ

Assignee:

Lucent Technologies Inc. - Murray Hill NJ

International Classification:

G10L 300
G10L 900

US Classification:

395 238

Abstract:

An independent transport layer is used as an error correction mechanism in a method employing perceptual audio coding. The transport layer is characterized by the addition of information, via a transport header, to each of a succession of blocks of encoded program material which is independent of the information within its respective block of encoded program material. The transport header comprises information on the structure of the block. Thus, the transport header is easily separated from the digital representation of the program material and is independent of the content of the digital representation thereby providing for changing of the content of the digital representation without changing the transport layer.

US Patent:

20220387433, Dec 8, 2022

Filed:

Nov 10, 2020

Appl. No.:

17/775794

Inventors:

- Shirley NY, US
Kenneth C. Thompson - Hillsborough NJ, US
Sanjay Kumar Singh - South Setauket NY, US

Assignee:

American Regent, Inc. - Shirley NY

International Classification:

A61K 31/519
A61K 9/00
A61K 31/517
A61K 31/506
A61K 31/13
A61K 31/53
A61K 38/00

Abstract:

Methods of preventing or treating elevated pulmonary vascular pressure or exercise-induced pulmonary hemorrhage in mammals are provided, the methods comprise administering compositions comprising type V phosphodiesterase inhibitors and an organic base (e.g., meglumine) to the mammal. Compositions, kits and methods of making type V phosphodiesterase inhibitor are also provided. In one embodiment, the composition comprises E-4021, which is sodium 1-[6-chloro-4-(3,4-methylenedioxybenzyl)-aminoquinazolin-2-yl]piperidine-4-carboxylate sesquihydrate and meglumine.

US Patent:

20160280237, Sep 29, 2016

Filed:

Mar 27, 2015

Appl. No.:

14/670460

Inventors:

Kenneth I. Thompson - Monmouth Junction NJ, US

International Classification:

B61B 1/02
E05F 15/53
E05F 15/57
E01F 13/04
E01F 13/06

Abstract:

A railway passenger gate assembly includes a platform having a well extending into a surface thereof. A housing is positioned within the well and has an open apex flush with the upper surface. A pair of vertically oriented cylinders is positioned within the housing. A conduit is in fluid communication with each of the cylinders. Each of the cylinders has one of a pair of pistons positioned therein. The pistons each have a bottom end and a top end. Each of the top ends has one of a pair of posts attached thereto. A railing is attached to and extends between the posts. The pistons are movable from a stored position with the railing being approximately flush with the upper surface or in a deployed position positioned above the upper surface. A pump in fluid communication with the cylinders forces fluid into the cylinders to urge the pistons upwardly.