Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
PyCG: Practical Call Graph Generation in PythonSalis, Vitalis ; Sotiropoulos, Thodoris ; Louridas, Panos ; Spinellis, Diomidis ; Mitropoulos, Dimitris2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1646-1657IEEETexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Design Principles for Industrie 4.0 ScenariosHermann, Mario ; Pentek, Tobias ; Otto, Boris2016 49th Hawaii International Conference on System Sciences (HICSS), 2016, p.3928-3937IEEETexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow AnalysesChoi, Jaeseung ; Kim, Doyeon ; Kim, Soomin ; Grieco, Gustavo ; Groce, Alex ; Cha, Sang Kil2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.227-239IEEESem texto completo |
|
4 |
Material Type: Ata de Congresso
|
Dependently Coupled Principal Component Analysis for Bivariate Inversion ProblemsDahiya, Navdeep ; Fan, Yifei ; Bignardi, Samuel ; Sandhu, Romeil ; Yezzi, Anthony2020 25th International Conference on Pattern Recognition (ICPR), 2021, Vol.2020, p.10592-10599United States: IEEESem texto completo |
|
5 |
Material Type: Ata de Congresso
|
Identity Testing for Radical ExpressionsBalaji, Nikhil ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, JamesACMSem texto completo |
|
6 |
Material Type: Ata de Congresso
|
Smoothed analysis of tensor decompositionsBhaskara, Aditya ; Charikar, Moses ; Moitra, Ankur ; Vijayaraghavan, AravindanProceedings of the forty-sixth annual ACM symposium on theory of computing, 2014, p.594-603 [Periódico revisado por pares]ACMTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
On the Recall of Static Call Graph Construction in PracticeSui, Li ; Dietrich, Jens ; Tahir, Amjed ; Fourtounis, George2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.1049-1060ACMSem texto completo |
|
8 |
Material Type: Ata de Congresso
|
Approximate Integer and Floating-Point Dividers with Near-Zero Error BiasSaadat, Hassaan ; Javaid, Haris ; Parameswaran, Sri2019 56th ACM/IEEE Design Automation Conference (DAC), 2019, p.1-6ACMSem texto completo |
|
9 |
Material Type: Ata de Congresso
|
CSRNet: Dilated Convolutional Neural Networks for Understanding the Highly Congested ScenesLi, Yuhong ; Zhang, Xiaofan ; Chen, Deming2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2018, p.1091-1100IEEETexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Unifying Nuclear Norm and Bilinear Factorization Approaches for Low-Rank Matrix DecompositionCabral, Ricardo ; De la Torre, Fernando ; Costeira, Joao P. ; Bernardino, Alexandre2013 IEEE International Conference on Computer Vision, 2013, p.2488-2495IEEETexto completo disponível |