skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover assunto: Static Analysis remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Executable Biochemical Space for Specification and Analysis of Biochemical Systems

Troják, Matej ; Šafránek, David ; Brim, Luboš ; Šalagovič, Jakub ; Červený, Jan

Electronic notes in theoretical computer science, 2020-09, Vol.350, p.91-116

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Proving the Absence of Unbounded Polymers in Rule-based Models
Proving the Absence of Unbounded Polymers in Rule-based Models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proving the Absence of Unbounded Polymers in Rule-based Models

Boutillier, Pierre ; Faure de Pebeyre, Aurélie ; Feret, Jérôme

Electronic notes in theoretical computer science, 2020-09, Vol.350, p.33-56

Elsevier B.V

Texto completo disponível

Citações Citado por
3
PAGAI: A Path Sensitive Static Analyser
PAGAI: A Path Sensitive Static Analyser
Material Type:
Artigo 		Adicionar ao Meu Espaço

PAGAI: A Path Sensitive Static Analyser

Henry, Julien ; Monniaux, David ; Moy, Matthieu

Electronic notes in theoretical computer science, 2012-12, Vol.289, p.15-25

Elsevier B.V

Texto completo disponível

Citações Citado por
4
Abstract Domains for Type Juggling
Abstract Domains for Type Juggling
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract Domains for Type Juggling

Arceri, Vincenzo ; Maffeis, Sergio

Electronic notes in theoretical computer science, 2017-03, Vol.331, p.41-55

Elsevier B.V

Texto completo disponível

Citações Citado por
5
Experimental Evaluation of Numerical Domains for Inferring Ranges
Experimental Evaluation of Numerical Domains for Inferring Ranges
Material Type:
Artigo 		Adicionar ao Meu Espaço

Experimental Evaluation of Numerical Domains for Inferring Ranges

Amato, Gianluca ; Rubino, Marco

Electronic notes in theoretical computer science, 2018-04, Vol.334, p.3-16

Elsevier B.V

Texto completo disponível

Citações Citado por
6
A Comparative Study of Industrial Static Analysis Tools
A Comparative Study of Industrial Static Analysis Tools
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Comparative Study of Industrial Static Analysis Tools

Emanuelsson, Pär ; Nilsson, Ulf

Electronic notes in theoretical computer science, 2008-07, Vol.217, p.5-21

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Memory Consumption Analysis for a Functional and Imperative Language
Memory Consumption Analysis for a Functional and Imperative Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Memory Consumption Analysis for a Functional and Imperative Language

Salvucci, Jérémie ; Chailloux, Emmanuel

Electronic notes in theoretical computer science, 2016-12, Vol.330, p.27-46

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Sparsity Preserving Algorithms for Octagons
Sparsity Preserving Algorithms for Octagons
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sparsity Preserving Algorithms for Octagons

Jourdan, Jacques-Henri

Electronic notes in theoretical computer science, 2017-03, Vol.331, p.57-70

Elsevier B.V

Texto completo disponível

Citações Citado por
9
AnaDroid: Malware Analysis of Android with User-supplied Predicates
AnaDroid: Malware Analysis of Android with User-supplied Predicates
Material Type:
Artigo 		Adicionar ao Meu Espaço

AnaDroid: Malware Analysis of Android with User-supplied Predicates

Liang, Shuying ; Might, Matthew ; Van Horn, David

Electronic notes in theoretical computer science, 2015-02, Vol.311, p.3-14

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities
Material Type:
Artigo 		Adicionar ao Meu Espaço

Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities

Miné, Antoine

Electronic notes in theoretical computer science, 2017-03, Vol.331, p.3-39

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de2005  (7)
  2. 2005Até2007  (21)
  3. 2008Até2010  (18)
  4. 2011Até2015  (12)
  5. Após 2015  (8)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.