http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Using Formal Methods to Enable More Secure Vehicles: Darpa's HACMS Program
Fisher, K. ACM; 1999 2014 p.1-2
Building Embedded Systems with Embedded DSLs
Hickey, P.C.; Pike, L.; Elliott, T.; Bielman, J.; Launchbury, J. ACM; 1999 2014 p.3-10
Concurrent NetCore: From Policies to Pipelines
Schlesinger, C.; Greenberg, M.; Walker, D. ACM; 1999 2014 p.11-24
SeLINQ: Tracking Information across Application-Database Boundaries
Schoepe, D.; Hedin, D.; Sabelfeld, A. ACM; 1999 2014 p.25-38
Type-Based Parametric Analysis of Program Families
Chen, S.; Erwig, M. ACM; 1999 2014 p.39-52
Romeo: A System for More Flexible Binding-Safe Programming
Stansifer, P.; Wand, M. ACM; 1999 2014 p.53-66
Maximal Sharing in the Lambda Calculus with letrec
Grabmayer, C.; Rochel, J. ACM; 1999 2014 p.67-80
Practical and Effective Higher-Order Optimizations
Bergstrom, L.; Fluet, M.; Le, M.; Reppy, J.; Sandler, N. ACM; 1999 2014 p.81-94
Worker/Wrapper/Makes It/Faster
Hackett, J.; Hutton, G. New York; Association for Computing Machinery 2014 p.95-108