Kenneth 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:

46275487, Dec 9, 1986

Filed:

Apr 26, 1985

Appl. No.:

6/727677

Inventors:

Kenneth H. Thompson - Kensington MD

International Classification:

B65D 4104

US Classification:

215295

Abstract:

Injury to a user's hand when removing a serrated twist-of cap from a container is prevented by a continuous band of gripping material circumscribing the serrations. The band may be a plastic material sprayed or painted onto the cap in liquid form and allowed to dry and adhere to the serrations. Alternatively, the band may be heat-shrunk about the cap periphery. In another embodiment, the band is a resilient plastic cover secured to the cap in a snap-fit engagement by means of an inwardly projecting annular lip arranged to snap over and engage the lower edge of the serrated cap. In the latter embodiment, the cover is provided with projections or ridges positioned and sized to engage corresponding recesses in the serrated cap sidewall. The band is made of a material which will not slip in the user's hand when the band and cap are twisted/turned.

US Patent:

44387270, Mar 27, 1984

Filed:

Jan 22, 1982

Appl. No.:

6/341794

Inventors:

Kenneth H. Thompson - Kensington MD

International Classification:

A01K 2900

US Classification:

119 29

Abstract:

A mobile unit for a kitten or similar animal includes at least two freely suspended rods, one of which is suspended from the other, with unequal torques applied about their off-center suspension points so that both rods, at rest, are skewed relative to horizontal. Pulling, tugging or otherwise disturbing a toy-like member, suspended from the lower rod, causes both rods to dip and bob irregularly in addition to rotating. This compound irregular motion, in both horizontal and vertical planes, is translated to the toy-like member with the result that the cat or other animal is attracted thereto. The mobile unit may be suspended from a door-way and the applied torques and suspension lengths may be made adjustable.

Address:

25 Briarwood Rd, Jersey City, NJ 07305

Phone:

9526794280

VIN:

1GNFK13087R280771

Make:

CHEVROLET

Model:

TAHOE

Year:

2007