|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li |
A Structural Approach to Prophecy Variables.  |
TAMC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongjin Liang, Xinyu Feng, Ming Fu |
A rely-guarantee-based simulation for verifying concurrent program transformations. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Fu, Yu Zhang, Yong Li |
Formal verification of concurrent programs with read-write locks. |
Frontiers of Computer Science in China |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Li, Yu Zhang, Yiyun Chen, Ming Fu |
Formal Reasoning About Lazy-STM Programs. |
J. Comput. Sci. Technol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang |
Reasoning about Optimistic Concurrency Using a Program Logic for History. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaobo Li, Ming Fu, Xiangdong Cui, Zhou Zhou |
Super-Program Architectures - A New Driving Method for Executing Instructions. |
CDES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ming Fu, Yu Zhang, Yong Li |
Formal Reasoning about Concurrent Assembly Code with Reentrant Locks. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Li, Yu Zhang, Yiyun Chen, Ming Fu |
On the Verification of Strong Atomicity in Programs Using STM. |
SSIRI |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, proof-carrying code, strong atomicity |
| 1 | Pei He, Lishan Kang, Ming Fu |
Formality based genetic programming. |
IEEE Congress on Evolutionary Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Fu, Yu Zhang |
Homomorphism Resolving of XPath Trees Based on Automata. |
APWeb/WAIM |
2007 |
DBLP DOI BibTeX RDF |
XPath tree, automata, containment, homomorphism |
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")