Patents by Inventor Christopher Dern

Christopher Dern 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).

  • Checking transactional memory implementations
    Patent number: 8191046
    Abstract: A transactional memory implementation is tested using an automatically generated test program and a locking memory model implementation which defines atomicity semantics. Schedules of the test program specify different interleavings of read operations and write operations of the test program threads. Executing the schedules under the locking memory model implementation provides legal final states of the shared variable(s). Executing the schedules under the transactional memory implementation produces candidate final states of the shared variable(s). If the candidate final states are also legal final states, then the transactional memory implementation passes the test.
    Type: Grant
    Filed: October 6, 2008
    Date of Patent: May 29, 2012
    Assignee: Microsoft Corporation
    Inventors: Christopher Dern, Raghuveer Simha
  • CHECKING TRANSACTIONAL MEMORY IMPLEMENTATIONS
    Publication number: 20100088702
    Abstract: A transactional memory implementation is tested using an automatically generated test program and a locking memory model implementation which defines atomicity semantics. Schedules of the test program specify different interleavings of read operations and write operations of the test program threads. Executing the schedules under the locking memory model implementation provides legal final states of the shared variable(s). Executing the schedules under the transactional memory implementation produces candidate final states of the shared variable(s). If the candidate final states are also legal final states, then the transactional memory implementation passes the test.
    Type: Application
    Filed: October 6, 2008
    Publication date: April 8, 2010
    Applicant: MICROSOFT CORPORATION
    Inventors: Christopher Dern, Raghuveer Simha
  • System and method for network discovery and connection management
    Publication number: 20050138428
    Abstract: The present invention provides for a system and method of discovering whether a medical device is connected to a network, establishing secure communications between and a server and the medical device, and communicating with the medical device. Also disclosed is a method of encryption to ensure secure communications within the network between a server and medical devices connected to the network. The invention also includes a system and method for determining the location of medical devices within an institution.
    Type: Application
    Filed: December 1, 2004
    Publication date: June 23, 2005
    Inventors: Christopher McAllen, Christopher Dern, Gregory Borges, Michael Scott Reed, Richard Batch
  • Discovery and connection management with mobile systems manager
    Publication number: 20050135306
    Abstract: The present invention provides for a system and method of discovering whether a medical device is connected to a network, establishing secure communications between and a server and the medical device, and communicating with the medical device. Also disclosed is a method of encryption to ensure secure communications within the network between a server and medical devices connected to the network. The invention also includes a system and method for determining the location of medical devices within an institution. Also disclosed is a mobile server functioning as a mobile systems manager.
    Type: Application
    Filed: December 6, 2004
    Publication date: June 23, 2005
    Inventors: Christopher McAllen, Christopher Dern, Gregory Borges, Michael Reed, Richard Batch