http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Programming the World of Uncertain Things (Keynote)
McKinley, Kathryn S. ACM Press 2016 p.1-2
Synthesis of Reactive Controllers for Hybrid Systems (Keynote)
Murray, Richard M. ACM Press 2016 p.3-3
WiSync: An Architecture for Fast Synchronization through On-Chip Wireless Communication
Abadal, Sergi; Cabellos-Aparicio, Albert; Alarcón, Eduard; Torrellas, Josep ACM Press 2016 p.3-18
Breaking through the Normalization Barrier: A Self-Interpreter for F-omega
Brown, Matt; Palsberg, Jens ACM Press 2016 p.5-17
Type Theory in Type Theory using Quotient Inductive Types
Altenkirch, Thorsten; Kaposi, Ambrus ACM Press 2016 p.18-29
Wang, Xiaodong; Martínez, José F. ACM Press 2016 p.19-32
System F-omega with Equirecursive Types for Datatype-Generic Programming
Cai, Yufei; Giarrusso, Paolo G.; Ostermann, Klaus ACM Press 2016 p.30-43
Dirigent: Enforcing QoS for Latency-Critical Tasks on Shared Multicore Systems
Zhu, Haishan; Erez, Mattan ACM Press 2016 p.33-48