skip to main content

Idioma:

Resultados de 1 a 10 de 792 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Refinado por: tipo de recurso: Anais de Congresso

remover

nível superior: Revistas revisadas por pares

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Ata de Congresso		Relational Verification Through Horn Clause Transformation De Angelis, Emanuele ; Fioravanti, Fabio ; Pettorossi, Alberto ; Proietti, Maurizio Rival, Xavier Static Analysis, p.147-169 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
2	Material Type: Ata de Congresso		Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting Tan, Tian ; Li, Yue ; Xue, Jingling Rival, Xavier Static Analysis, p.489-510 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
3	Material Type: Ata de Congresso		Cell Morphing: From Array Programs to Array-Free Horn Clauses Monniaux, David ; Gonnord, Laure Rival, Xavier Static Analysis, p.361-382 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
4	Material Type: Ata de Congresso		The Julia Static Analyzer for Java Spoto, Fausto Rival, Xavier Static Analysis, p.39-57 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
5	Material Type: Ata de Congresso		Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants Roux, Pierre ; Voronin, Yuen-Lam ; Sankaranarayanan, Sriram Rival, Xavier Static Analysis, p.424-446 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
6	Material Type: Ata de Congresso		Large Scale, Actively Secure Computation from LPN and Free-XOR Garbled Circuits Ben-Efraim, Aner ; Cong, Kelong ; Omri, Eran ; Orsini, Emmanuela ; Smart, Nigel P ; Soria-Vazquez, Eduardo Standaert, François-Xavier ; Canteaut, Anne Advances in Cryptology - EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17-21, 2021, Proceedings, Part III, 2021, Vol.12698, p.33-63 [Periódico revisado por pares] Springer Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
7	Material Type: Ata de Congresso		Quantitative Monitor Automata Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Otop, Jan Rival, Xavier Static Analysis, p.23-38 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
8	Material Type: Ata de Congresso		Securing a Compiler Transformation Deng, Chaoqiang ; Namjoshi, Kedar S. Rival, Xavier Static Analysis, p.170-188 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
9	Material Type: Ata de Congresso		Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM Menendez, David ; Nagarakatte, Santosh ; Gupta, Aarti Rival, Xavier Static Analysis, p.317-337 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por
10	Material Type: Ata de Congresso		Exploiting Sparsity in Difference-Bound Matrices Gange, Graeme ; Navas, Jorge A. ; Schachte, Peter ; Søndergaard, Harald ; Stuckey, Peter J. Rival, Xavier Static Analysis, p.189-211 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

Resultados de 1 a 10 de 792 para Busca Geral

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method

Resultados 1 2 3 4 5

next page

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento