Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
μVulDeePecker: A Deep Learning-Based System for Multiclass Vulnerability DetectionZou, Deqing ; Wang, Sujuan ; Xu, Shouhuai ; Li, Zhen ; Jin, HaiIEEE transactions on dependable and secure computing, 2021-09, p.1-1Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Twin-width I: Tractable FO Model CheckingBonnet, Édouard ; Kim, Eun Jung ; Thomassé, Stéphan ; Watrigant, RémiJournal of the ACM, 2022-02, Vol.69 (1), p.1-46 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Solving Linear Programs in the Current Matrix Multiplication TimeCohen, Michael B. ; Lee, Yin Tat ; Song, ZhaoJournal of the ACM, 2021-02, Vol.68 (1), p.1-39 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
SySeVR: A Framework for Using Deep Learning to Detect Software VulnerabilitiesLi, Zhen ; Zou, Deqing ; Xu, Shouhuai ; Jin, Hai ; Zhu, Yawei ; Chen, ZhaoxuanIEEE transactions on dependable and secure computing, 2022-07, Vol.19 (4), p.1-1Washington: IEEETexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A Proof of the CSP Dichotomy ConjectureZhuk, DmitriyJournal of the ACM, 2020-10, Vol.67 (5), p.1-78 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Fully Functional Suffix Trees and Optimal Text Searching in BWT-Runs Bounded SpaceGagie, Travis ; Navarro, Gonzalo ; Prezza, NicolaJournal of the ACM, 2020-01, Vol.67 (1), p.1-54 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Low-Rank Approximation and Regression in Input Sparsity TimeClarkson, Kenneth L ; Woodruff, David PJournal of the ACM, 2017-02, Vol.63 (6), p.1-45 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Fair Enough: Guaranteeing Approximate Maximin SharesKurokawa, David ; Procaccia, Ariel D. ; Wang, JunxingJournal of the ACM, 2018-03, Vol.65 (2), p.1-27 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
A survey on security challenges in cloud computing: issues, threats, and solutionsTabrizchi, Hamed ; Kuchaki Rafsanjani, MarjanThe Journal of supercomputing, 2020-12, Vol.76 (12), p.9493-9532 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Profiling relational data: a surveyAbedjan, Ziawasch ; Golab, Lukasz ; Naumann, FelixThe VLDB journal, 2015-08, Vol.24 (4), p.557-581Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |