http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Taming the parallel effect zoo: extensible deterministic parallelism with LVish
Kuper, L.; Todd, A.; Tobin-Hochstadt, S.; Newton, R.R. ACM; 1999 2014 p.2-14
Test-driven repair of data races in structured parallel programs
Surendran, R.; Raman, R.; Chaudhuri, S.; Mellor-Crummey, J.; Sarkar, V. ACM; 1999 2014 p.15-25
AEminium: A permission based concurrent-by-default programming language approach
Stork, S.; Naden, K.; Sunshine, J.; Mohr, M.; Fonseca, A.; Marques, P.; Aldrich, J. ACM; 1999 2014 p.26
Atomicity refinement for verified compilation
Jagannathan, S.; Laporte, V.; Petri, G.; Pichardie, D.; Vitek, J. ACM; 1999 2014 p.27
DoubleChecker: efficient sound and precise atomicity checking
Biswas, S.; Huang, J.; Sengupta, A.; Bond, M.D. ACM; 1999 2014 p.28-39
Herding cats: modelling, simulation, testing, and data-mining for weak memory
Alglave, J.; Maranget, L.; Tautschnig, M. ACM; 1999 2014 p.40
Surgical precision JIT compilers
Rompf, T.; Sujeeth, A.K.; Brown, K.J.; Lee, H.; Chafi, H.; Olukotun, K. ACM; 1999 2014 p.41-52
Stochastic optimization of floating-point programs using tunable precision
Schkufza, E.; Sharma, R.; Aiken, A. ACM; 1999 2014 p.53-64
A framework for enhancing data reuse via associative reordering
Stock, K.; Kong, M.; Grosser, T.; Pouchet, L.-N.; Rastello, F.; Ramanujam, J.; Sadayappa, P. ACM; 1999 2014 p.65-76