|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 6 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yao Sun, Xiaodong Ma, Dingkang Wang |
On Computing Groebner Basis in the Rings of Differential Operators  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xun-Yi Ren, Zheng-Hua Qi, Ru-chuan Wang, Xiaodong Ma |
Rough Set and A* based Tasks Scheduling in Gird Environment. |
JDCTA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang |
Symbolic model checking APSL. |
Frontiers of Computer Science in China |
2009 |
DBLP DOI BibTeX RDF |
tableau approach, extended NuSMV, symbolic model checking, property specification language |
| 1 | Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu |
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
memory leak detection, static analysis, flow-sensitive, demand-driven |
| 1 | Xiaodong Ma, Xiao Su |
A new TCP congestion control algorithm for media streaming. |
ICME |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Ma, Ji Wang, Wei Dong |
Shape Analysis by Refining on Abstract Evaluation Path. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaodong Ma, Ji Wang, Wei Dong |
Computing Must and May Alias to Detect Null Pointer Dereference. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma |
Symbolic Model Checking APSL. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Symbolic model checking, PSL |
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")