Computation of all-pairs reaching probabilities in software...

Details Computation of all-pairs reaching probabilities in software... Computation of all-pairs reaching probabilities in software...

2008-05-27

2008-05-27

Rodriguez, Paul L (Department: 2123)

Data processing: structural design, modeling, simulation, and em

Simulating electronic device or electrical system

Software program

C718S102000, C717S158000, C717S156000, C717S155000, C717S141000, C717S129000, C703S006000

Reexamination Certificate

active

07379858

ABSTRACT:
A Markov chain model of a software system may be used to compute all-pairs reaching probabilities to provide guidance in performing speculative operations with respect to the software system.

REFERENCES:
patent: 6112317 (2000-08-01), Berc et al.
patent: 6260190 (2001-07-01), Ju
patent: 6332214 (2001-12-01), Wu
patent: 6412105 (2002-06-01), Maslennikov et al.
patent: 6782511 (2004-08-01), Frank et al.
patent: 7155708 (2006-12-01), Hammes et al.
patent: 2001/0052120 (2001-12-01), Babaian et al.
patent: 2003/0079206 (2003-04-01), Bates et al.
patent: 2004/0059443 (2004-03-01), Sharangpani
patent: 2004/0154010 (2004-08-01), Marcuello et al.
patent: 2004/0154011 (2004-08-01), Wang et al.
patent: 2004/0154019 (2004-08-01), Aamodt et al.
patent: 2004/0215593 (2004-10-01), Sharangpani et al.
patent: 2005/0012521 (2005-01-01), Sharangpani et al.
patent: 2005/0055565 (2005-03-01), Fournet et al.
Huang et al., “Speculative disambiguation: a compilation technique for dynamic memory disambiguation”, IEEE 1994.
Fernandez et al., “Speculative alias analysis for executable code”, IEEE 2002.

Affiliated with

Also associated with

Rating

Computation of all-pairs reaching probabilities in software... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Computation of all-pairs reaching probabilities in software..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Computation of all-pairs reaching probabilities in software... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-2781699