http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Empirical Analysis of Programming Language Adoption
Meyerovich, L.A.; Rabkin, A.S. ACM; 1999 2013 p.1-18
Steering Symbolic Execution to Less Traveled Paths
Li, Y.; Su, Z.; Wang, L.; Li, X. ACM; 1999 2013 p.19-32
Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware
Carbin, M.; Misailovic, S.; Rinard, M.C. ACM; 1999 2013 p.33-52
Huang, J.; Bond, M.D. ACM; 1999 2013 p.53-72
Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations
Ureche, V.; Talau, C.; Odersky, M. ACM; 1999 2013 p.73-92
Taking Off the Gloves with Reference Counting Immix
Shahriyar, R.; Blackburn, S.M.; Yang, X.; McKinley, K.S. ACM; 1999 2013 p.93-110
Resurrector: A Tunable Object Lifetime Profiling Technique for Optimizing Real-World Programs
Xu, G. ACM; 1999 2013 p.111-130
CDSchecker: Checking Concurrent Data Structures Written with C/C++ Atomics
Norris, B.; Demsky, B. ACM; 1999 2013 p.131-150
Effective Race Detection for Event-Driven Programs
Raychev, V.; Vechev, M.; Sridharan, M. ACM; 1999 2013 p.151-166
Storage Strategies for Collections in Dynamically Typed Languages
Bolz, C.F.; Diekmann, L.; Tratt, L. ACM; 1999 2013 p.167-182