Resultados de 1 a 10 de 2.645 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Revistas revisadas por pares (1.367)
- Disponível na Biblioteca (1)
Refinado por:
assunto:
Static Analysis
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Physics-informed neural network for nonlinear analysis of cable net structuresMai, Dai D. ; Bao, Tri Diep ; Lam, Thanh-Danh ; Mai, Hau T.Advances in engineering software (1992), 2024-10, Vol.196, p.103717, Article 103717 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
CaLLi: OCaml library for static analysis of LLVM bitcodeBaek, Soyeon ; Lee, SunghoSoftwareX, 2024-09, Vol.27, p.101810, Article 101810 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
A framework for static analysis and verification of low-level RTOS codeManjunath, Vignesh ; Baunach, MarcelJournal of systems architecture, 2024-09, Vol.154, p.103220, Article 103220 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Multi-objective Software Defect Prediction via Multi-source Uncertain Information Fusion and Multi-task Multi-view LearningYang, Minghao ; Yang, Shunkun ; Wong, W. EricIEEE transactions on software engineering, 2024-07, p.1-23 [Periódico revisado por pares]IEEETexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Modeling and Analysis of Electromechanical Automatic Leveling Mechanism for High-Mobility Vehicle-Mounted TheodolitesLI, Xiangyu ; RUAN, Ping ; HAO, Wei ; XIE, Meilin ; LV, TaoIEICE transactions on fundamentals of electronics, communications and computer sciences, 2024-07, Vol.E107.A (7), p.1027-1039, Article 2023EAP1058 [Periódico revisado por pares]Texto completo disponível |
| 6 |
Material Type: Artigo
|
|
CBANA: A Lightweight, Efficient, and Flexible Cache Behavior Analysis FrameworkHu, Qilin ; Ding, Yan ; Liu, Chubo ; Li, Keqin ; Li, Kenli ; Zomaya, Albert Y.IEEE transactions on computers, 2024-06, p.1-13 [Periódico revisado por pares]IEEETexto completo disponível |
| 7 |
Material Type: Artigo
|
|
Using Static Analysis for Enhancing HLS SecurityCollini, Luca ; Ah-Kiow, Joey ; Pilato, Christian ; Karri, Ramesh ; Tan, BenjaminIEEE embedded systems letters, 2024-06, Vol.16 (2), p.166-169 [Periódico revisado por pares]IEEETexto completo disponível |
| 8 |
Material Type: Artigo
|
|
Uncovering the performance bottleneck of modern HPC processor with static code analyzer: a case study on Kunpeng 920Tan, Shaojie ; Jiang, Qingcai ; Cao, Zhenwei ; Hao, Xiaoyu ; Chen, Junshi ; An, HongCCF transactions on high performance computing (Online), 2024-06, Vol.6 (3), p.343-364 [Periódico revisado por pares]Singapore: Springer Nature SingaporeTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
LeakPred: An Approach for Identifying Components with Resource Leaks in Android Mobile ApplicationsLima, Josias Gomes ; Giusti, Rafael ; Dias-Neto, Arilo ClaudioComputers (Basel), 2024-06, Vol.13 (6), p.140 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
| 10 |
Material Type: Artigo
|
|
Cross-Language Taint Analysis: Generating Caller-Sensitive Native Code Specification for JavaKan, Shuangxiang ; Gao, Yuhao ; Zhong, Zexin ; Sui, YuleiIEEE transactions on software engineering, 2024-06, Vol.50 (6), p.1518-1533 [Periódico revisado por pares]New York: IEEETexto completo disponível |
Resultados de 1 a 10 de 2.645 para Busca Geral
Ordenado por:
Ordenado por:
Data mais recenteOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Revistas revisadas por pares (1.367)
- Disponível na Biblioteca (1)
Refinar Meus Resultados
Tipo de Recurso
- Artigos (1.462)
- Anais de Congresso (1.049)
- Book Chapters (93)
- Reports (17)
- magazinearticle (16)
- Livros (6)
- Dissertações (1)
- Conjunto de Dados (1)
-
Mais opções
Assunto
- Science & Technology (1.979)
- Technology (1.955)
- Computer Science (1.845)
- Computer Science, Software Engineering (998)
- Engineering (631)
- Computer Science, Theory & Methods (627)
- Engineering, Electrical & Electronic (486)
- Computer Science, Information Systems (427)
- Software (405)
- Malware (252)
- Security (245)
- Abstract Interpretation (238)
- Software Engineering (237)
- Dynamic Analysis (219)
- Java (198)
- Machine Learning (197)
- Telecommunications (195)
- Computer Science, Hardware & Architecture (180)
- Algorithms (173)
- Computer Programming (43)
- Analyse Statique (8)
- Programmanalyse (6)
- Statische Analyse (4)
- Kontrollfluss (4)
- Programmtransformation (3)
- Langages De Programmation (3)
- Programmverifikation (2)
- Programmverifikation (1)
- Programmanalyse (1)
- Langage De Programmation (1)
- Statische Analyse (1)
- Langages De Programmation (1)
- Datenfluss (1)
- Técnicas De Programação (Congressos) (1)
- Kontrollfluss (1)
- Programmation (Informatique) (1)
- Computer Programming (1)
- Analyse Statique (1)
- Sas (1)
- Datenfluss (1)
- Programming Languages (Electronic Computers) (1)
- Programmtransformation (1)
- Sas (1)
- Langage De Programmation (1)
-
Mais opções
Autor/Criador
Data de Publicação
- Antes de1987 (14)
- 1987Até1995 (38)
- 1996Até2004 (182)
- 2005Até2014 (1.028)
- Após 2014 (1.406)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Science Citation Index Expanded (Web of Science) (1.012)
- Association for Computing Machinery (891)
- EZB Electronic Journals Library (512)
- IEEE Electronic Library (IEL) Conference Proceedings (459)
- Computers & Applied Sciences Complete - EBSCO (421)
- ScienceDirect (370)
- IEEE Electronic Library (IEL) Journals (340)
- ROAD (329)
- DOAJ Directory of Open Access Journals (278)
- Springer Journals (231)
- Springer Nature - Springer Journals All 2022 (210)
- Academic OneFile (159)
- Materials Research Database (142)
- Engineered Materials Abstracts (141)
- METADEX (138)
- IEEE Xplore Open Access Journals (128)
- Lecture Notes in Computer Science Archive (through to 1996) (120)
- SpringerLINK Lecture Notes in Computer Science (2015) (114)
- IngentaConnect Journals (108)
- ANTE: Abstracts in New Technology & Engineering (86)
-
Mais opções
Idioma
Nome da Publicação
- Ieee Access (116)
- Ieee Transactions On Software Engineering (82)
- Electronic Notes In Theoretical Computer Science (65)
- Sigplan Notices (62)
- Science Of Computer Programming (43)
- Acm Sigplan Notices (39)
- The Journal Of Systems And Software (30)
- Proceedings Of Acm On Programming Languages (29)
- Acm Transactions On Programming Languages And Systems (28)
- Computers & Security (24)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 