Multiplex communications – Pathfinding or routing – Switching a message which includes an address header
Reexamination Certificate
2011-08-02
2011-08-02
Shah, Chirag G (Department: 2477)
Multiplex communications
Pathfinding or routing
Switching a message which includes an address header
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.
Elamkulam Janees
Glazberg Ziv
Gupta Satish Chandra
Kohli Sandeep
Rabinovitz Ishai
Hamilton Brook Smith & Reynolds P.C.
International Business Machines - Corporation
Shah Chirag G
Smith Joshua
LandOfFree
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.
Profile ID: LFUS-PAI-O-2635346