Modeling non-deterministic priority queues for efficient...

Multiplex communications – Pathfinding or routing – Switching a message which includes an address header

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C370S401000, C370S414000

Reexamination Certificate

active

07990980

ABSTRACT:
A method and system are disclosed for modeling non-deterministic queues for efficient model checking. In this method and system, a multitude of messages are held in a plurality of queues, and these messages having n priorities. The method comprises the steps of providing (n+1) queues, including a first queue, and n priority queues; passing said messages from a source to the first queue; passing each of said messages from the first queue to one of said n priority queues based on the priority of the message; and passing each of said messages from the n priority queues to a destination based on the priority of the message. One or more non-deterministic waits are introduced into one or more of the passing steps to simplify passing the messages into or out of the n priority queues.

REFERENCES:
patent: 5790522 (1998-08-01), Fichou et al.
patent: 6011779 (2000-01-01), Wills
patent: 6108307 (2000-08-01), McConnell et al.
patent: 6188698 (2001-02-01), Galand et al.
patent: 6975683 (2005-12-01), Chen et al.
patent: 2003/0004926 (2003-01-01), Ben-David
patent: 2003/0149814 (2003-08-01), Burns et al.
patent: 2004/0123254 (2004-06-01), Geist et al.
patent: 2004/0213251 (2004-10-01), Tran et al.
patent: 2005/0058149 (2005-03-01), Howe
patent: 2005/0097146 (2005-05-01), Konstantinou et al.
patent: 2006/0130007 (2006-06-01), Ackerman
patent: 2007/0297435 (2007-12-01), Bucknell et al.
patent: 2008/0010444 (2008-01-01), Hammes
patent: WO 2006051465 (2006-05-01), None
Vasudevan, S. et al., “Static Program Transformations for Efficient Software Model Checking,” pp. 1-25.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Modeling non-deterministic priority queues for efficient... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Modeling non-deterministic priority queues for efficient..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modeling non-deterministic priority queues for efficient... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-2635346

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.