http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
SHERIFF: Precise Detection and Automatic Mitigation of False Sharing
Liu, T.; Berger, E.D. ACM; 1999 2011 p.3-18
Accentuating the Positive: Atomicity Inference and Enforcement Using Correct Executions
Weeratunge, D.; Zhang, X.; Jaganathan, S. ACM; 1999 2011 p.19-34
SOS: Saving Time in Dynamic Race Detection with Stationary Analysis
Li, D.; Srisa-an, W.; Dwyer, M.B. ACM; 1999 2011 p.35-50
Testing Atomicity of Composed Concurrent Operations
Shacham, O.; Bronson, N.; Aiken, A.; Sagiv, M.; Vechev, M.; Yahav, E. ACM; 1999 2011 p.51-64
Data-Driven Synthesis for Object-Oriented Frameworks
Yessenov, K.; Xu, Z.; Solar-Lezama, A. ACM; 1999 2011 p.65-82
Synthesis of First-Order Dynamic Programming Algorithms
Pu, Y.; Bodik, R.; Srivastava, S. ACM; 1999 2011 p.83-98
Tool-Supported Refactoring for JavaScript
Feldthaus, A.; Millstein, T.; Moller, A.; Schafer, M.; Tip, F. ACM; 1999 2011 p.119-138
Integrated Language Definition Testing: Enabling Test-Driven Language Development
Kats, L.C.L.; Vermaas, R.; Visser, E. ACM; 1999 2011 p.139-154