Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: magazinearticle
|
![]() |
The First Computer ProgramRojas, RaúlCommunications of the ACM, 2024-06, Vol.67 (6), p.78-81New York, NY, USA: ACMTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist TestersXu, Yi-Sen ; Jia, Xiang-Yang ; Wu, Fan ; Li, Lingbo ; Xuan, Ji-FengJournal of computer science and technology, 2020-11, Vol.35 (6), p.1278-1294 [Periódico revisado por pares]Singapore: Springer SingaporeTexto completo disponível |
3 |
Material Type: magazinearticle
|
![]() |
BLeak: automatically debugging memory leaks in web applicationsVilk, John ; Berger, Emery D.Communications of the ACM, 2020-11, Vol.63 (11), p.146-153New York, NY, USA: ACMTexto completo disponível |
4 |
Material Type: magazinearticle
|
![]() |
Contextual word representations: putting words into computersSmith, Noah ACommunications of the ACM, 2020-06, Vol.63 (6), p.66-74 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
DLPlib: A Library for Deep Learning ProcessorLan, Hui-Ying ; Wu, Lin-Yang ; Zhang, Xiao ; Tao, Jin-Hua ; Chen, Xun-Yu ; Wang, Bing-Rui ; Wang, Yu-Qing ; Guo, Qi ; Chen, Yun-JiJournal of computer science and technology, 2017-03, Vol.32 (2), p.286-296 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Continuous Probabilistic Subspace Skyline Query Processing Using Grid Projections赵雷 杨艳艳 周晓方Journal of computer science and technology, 2014, Vol.29 (2), p.332-344 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
7 |
Material Type: magazinearticle
|
![]() |
Nonblocking Algorithms and Scalable Multicore ProgrammingAL BAHRA, SamyCommunications of the ACM, 2013-07, Vol.56 (7), p.50-61New York, NY: Association for Computing MachineryTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Model Checking Higher-Order ProgramsKOBAYASHI, NaokiJournal of the ACM, 2013-06, Vol.60 (3), p.1-62 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Design and Implementation of an Extended Collectives Library for Unified Parallel CTeijeiro, Carlos ; Taboada, Guillermo L. ; Touriño, Juan ; Doallo, Ramón ; Mouriño, José C. ; Mallón, Damián A. ; Wibecan, BrianJournal of computer science and technology, 2013, Vol.28 (1), p.72-89 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Lazy Slicing for State-Space Exploration黄少滨 黄宏涛 陈志远 吕天阳 张涛Journal of computer science and technology, 2012-07, Vol.27 (4), p.872-890 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |