|
Tác giả CN
| Shi,Qingkai | |
Nhan đề
| Verifying Synchronization for Atomicity Violation Fixing /Qingkai Shi, Jeff Huang, Member, IEEE, Zhenyu Chen, Member, IEEE, and Baowen Xu, Member, IEEE | |
Từ khóa tự do
| Atomicity violations | |
Từ khóa tự do
| insufficient synchronization | |
Nguồn trích
| IEEE transactions on software engineering2016-3
Số: 3
Tập: 42 |
| | 000 | 00000nab#a2200000ui#4500 |
|---|
| 001 | 17127 |
|---|
| 002 | 6 |
|---|
| 004 | 9D06E29A-49D3-4391-886D-715DC24E9B13 |
|---|
| 005 | 201709291032 |
|---|
| 008 | 081223s vm| vie |
|---|
| 009 | 1 0 |
|---|
| 039 | |y20170929104014|zcuonglv |
|---|
| 100 | |aShi,Qingkai |
|---|
| 245 | |aVerifying Synchronization for Atomicity Violation Fixing /Qingkai Shi, Jeff Huang, Member, IEEE, Zhenyu Chen, Member, IEEE, and Baowen Xu, Member, IEEE |
|---|
| 653 | |aAtomicity violations |
|---|
| 653 | |ainsufficient synchronization |
|---|
| 773 | |tIEEE transactions on software engineering|v42|i3|d2016-3 |
|---|
| 890 | |c1|a0|b0|d2 |
|---|
|
Không tìm thấy biểu ghi nào
|
|
|
|