http://rdf.ncbi.nlm.nih.gov/pubchem/patent/US-9110658-B2
Outgoing Links
Predicate | Object |
---|---|
assignee | http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_9828f806c4f6ffd7dd7abb6c5b19b9bc http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_4b4d688265418b47c1d3b0105c63dedd http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_3be46b01712ed82d83ab7db7a1e0684e http://rdf.ncbi.nlm.nih.gov/pubchem/patentassignee/MD5_e757fd4fedc4fe825bb81b1b466a0947 |
classificationCPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F11-3604 http://rdf.ncbi.nlm.nih.gov/pubchem/patentcpc/G06F8-314 |
classificationIPCInventive | http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F11-36 http://rdf.ncbi.nlm.nih.gov/pubchem/patentipc/G06F9-44 |
filingDate | 2011-04-29-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
grantDate | 2015-08-18-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
inventor | http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_078c014f0af3491c9d3357127350b3ad http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_444e7331f1981a396fcc5200e59a1305 http://rdf.ncbi.nlm.nih.gov/pubchem/patentinventor/MD5_f78559bbb1c05a4972cc184b412679b8 |
publicationDate | 2015-08-18-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
publicationNumber | US-9110658-B2 |
titleOfInvention | Automatic verification and synthesis for weak memory models |
abstract | Techniques are provided for automatic verification and inference of memory fences in concurrent programs that can bound the store buffers that are used to model relaxed memory models. A method is provided for determining whether a program employing a relaxed memory model satisfies a safety specification. An abstract memory model is obtained of the relaxed memory model. The abstract memory model represents concrete program states of the program as a finite number of abstract states. The safety specification is evaluated for the program on the abstract memory model having the finite number of abstract states. Fence positions at one or more locations can be determined to ensure that the safety specification is satisfied. |
priorityDate | 2011-04-29-04:00^^<http://www.w3.org/2001/XMLSchema#date> |
type | http://data.epo.org/linked-data/def/patent/Publication |
Incoming Links
Total number of triples: 32.