Automaton synchronization during system verification

Details Automaton synchronization during system verification Automaton synchronization during system verification

2007-06-19

2007-06-19

Kerveros, James C (Department: 2138)

Error detection/correction and fault detection/recovery

Pulse or data error handling

Digital logic testing

C714S741000

Reexamination Certificate

active

10956988

ABSTRACT:
A method and apparatus for synchronizing a non-deterministic automaton being processed on a computing device during dynamic verification of a system or device under test, is described herein.

REFERENCES:
patent: 6226716 (2001-05-01), Bauman et al.
patent: 2002/0124208 (2002-09-01), Beer et al.
patent: 2003/0159132 (2003-08-01), Barnett et al.
Berry, et al., “Constructing Object-oriented Distributed Simulations”, Proceedings of 3rdIsrael Conference on Computer Systems and Software Engineering, pp. 117-121, IEEE Jul. 1988.
Candea, et al., “Vassal: Loadable Scheduler Support for Multi-Policy Scheduling”, 2ndUSENIX Windows NT Symposium, Seattle, Washington, Aug. 1998.
Hermannsson, et al., “Optimistic Synchronization in Distributed Shared Memory”, International Conference on Distributed Computing Systems, pp. 345-354, 1994.
Hiller, et al., “Conservative Synchronization in Object-oriented Parallel Battlefield Discrete Event Simulations”, Workshop on Parallel and Distributed Simulation, pp. 12-19, 1997.
Pancake, C.M., “Multithreaded languages for scientific and technical computing”, Proceedings of the IEEE, vol. 81, No. 2. pp. 288-304, Feb. 1993.

Affiliated with

Also associated with

Rating

Automaton synchronization during system verification does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automaton synchronization during system verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automaton synchronization during system verification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3881825