http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Reconfigurable Asynchronous Logic Automata: (RALA)
Gershenfeld, N.; Dalrymple, D.; Chen, K.; Knaian, A.; Green, F.; Demaine, E.D.; Greenwald, S.; Schmidt-Nielsen, P. ACM; 1999 2010 p.1-6
On the Verification Problem for Weak Memory Models
Atig, M.F.; Bouajjani, A.; Burckhardt, S.; Musuvathi, M. ACM; 1999 2010 p.7-18
Sequential Verification of Serializability
Attiya, H.; Ramalingam, G.; Rinetzky, N. ACM; 1999 2010 p.31-42
Compositional May-Must Program Analysis: Unleashing the Power of Alternation
Godefroid, P.; Nori, A.V.; Rajamani, S.K.; Tetali, S.D. ACM; 1999 2010 p.43-56
Continuity Analysis of Programs
Chaudhuri, S.; Gulwani, S.; Lublinerman, R. ACM; 1999 2010 p.57-70
Program Analysis via Satisfiability Modulo Path Programs
Harris, W.R.; Sankaranarayanan, S.; Ivancic, F.; Gupta, A. ACM; 1999 2010 p.71-82
A Simple, Verified Validator for Software Pipelining
Tristan, J.-B.; Leroy, X. ACM; 1999 2010 p.83-92