Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
QuanTaichi: a compiler for quantized simulationsHu, Yuanming ; Liu, Jiafeng ; Yang, Xuanda ; Xu, Mingkuan ; Kuang, Ye ; Xu, Weiwei ; Dai, Qiang ; Freeman, William T. ; Durand, FrédoACM transactions on graphics, 2021-08, Vol.40 (4), p.1-16, Article 182 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
2 |
Material Type: Artigo
|
OpenQASM 3: A Broader and Deeper Quantum Assembly LanguageCross, Andrew ; Javadi-Abhari, Ali ; Alexander, Thomas ; De Beaudrap, Niel ; Bishop, Lev S. ; Heidel, Steven ; Ryan, Colm A. ; Sivarajah, Prasahnt ; Smolin, John ; Gambetta, Jay M. ; Johnson, Blake R.ACM transactions on quantum computing (Print), 2022-09, Vol.3 (3), p.1-50, Article 12 [Periódico revisado por pares]New York, NY: ACMSem texto completo |
|
3 |
Material Type: Artigo
|
I♥LA: compilable markdown for linear algebraLi, Yong ; Kamil, Shoaib ; Jacobson, Alec ; Gingold, YotamACM transactions on graphics, 2021-12, Vol.40 (6), p.1-14, Article 264 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
4 |
Material Type: Artigo
|
Pushing the Level of Abstraction of Digital System Design: A Survey on How to Program FPGAsSozzo, Emanuele Del ; Conficconi, Davide ; Zeni, Alberto ; Salaris, Mirko ; Sciuto, Donatella ; Santambrogio, Marco D.ACM computing surveys, 2022-12, Vol.55 (5), p.1-48, Article 106 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
Semantics and Scheduling for Machine Knitting CompilersLin, Jenny ; Narayanan, Vidya ; Ikarashi, Yuka ; Ragan-Kelley, Jonathan ; Bernstein, Gilbert ; Mccann, JamesACM transactions on graphics, 2023-08, Vol.42 (4), p.1-26, Article 143 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
6 |
Material Type: Artigo
|
LuisaRender: A High-Performance Rendering Framework with Layered and Unified Interfaces on Stream ArchitecturesZheng, Shaokun ; Zhou, Zhiqian ; Chen, Xin ; Yan, Difei ; Zhang, Chuyan ; Geng, Yuefeng ; Gu, Yan ; Xu, KunACM transactions on graphics, 2022-12, Vol.41 (6), p.1-19, Article 232 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
7 |
Material Type: Artigo
|
Aδ: autodiff for discontinuous programs - applied to shadersYang, Yuting ; Barnes, Connelly ; Adams, Andrew ; Finkelstein, AdamACM transactions on graphics, 2022-07, Vol.41 (4), p.1-24, Article 135 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: Artigo
|
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized ApplicationsRichter, David ; Kretzler, David ; Weisenburger, Pascal ; Salvaneschi, Guido ; Faust, Sebastian ; Mezini, MiraACM transactions on programming languages and systems, 2023-09, Vol.45 (3), p.1-41, Article 17 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
9 |
Material Type: Artigo
|
Penrose: from mathematical notation to beautiful diagramsYe, Katherine ; Ni, Wode ; Krieger, Max ; Ma'ayan, Dor ; Wise, Jenna ; Aldrich, Jonathan ; Sunshine, Joshua ; Crane, KeenanACM transactions on graphics, 2020-07, Vol.39 (4), p.144:1-144:16, Article 144 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
10 |
Material Type: Artigo
|
Obsidian: Typestate and Assets for Safer Blockchain ProgrammingCoblenz, Michael ; Oei, Reed ; Etzel, Tyler ; Koronkevich, Paulette ; Baker, Miles ; Bloem, Yannick ; Myers, Brad A. ; Sunshine, Joshua ; Aldrich, JonathanACM transactions on programming languages and systems, 2020-12, Vol.42 (3), p.1-82, Article 14 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |