skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Electronic Notes In Theoretical Computer Science remover assunto: Java remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Safety of a Smart Classes-Used Regression Test Selection Algorithm
Safety of a Smart Classes-Used Regression Test Selection Algorithm
Material Type:
Artigo 		Adicionar ao Meu Espaço

Safety of a Smart Classes-Used Regression Test Selection Algorithm

Mansky, Susannah ; Gunter, Elsa L.

Electronic notes in theoretical computer science, 2020-09, Vol.351, p.51-73

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Model checking merged program traces
Model checking merged program traces
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Model checking merged program traces

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009

Amsterdam Elsevier 2009

Localização: IME - Inst. Matemática e Estatística    (PROD-3010468 )(Acessar)

3
A Framework to Generate Synthetic Multi-label Datasets
A Framework to Generate Synthetic Multi-label Datasets
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Framework to Generate Synthetic Multi-label Datasets

Tomás, Jimena Torres ; Spolaôr, Newton ; Cherman, Everton Alvares ; Monard, Maria Carolina

Electronic notes in theoretical computer science, 2014-02, Vol.302, p.155-176

Elsevier B.V

Texto completo disponível

Citações Citado por
4
JOLIE: a Java Orchestration Language Interpreter Engine
JOLIE: a Java Orchestration Language Interpreter Engine
Material Type:
Artigo 		Adicionar ao Meu Espaço

JOLIE: a Java Orchestration Language Interpreter Engine

Montesi, Fabrizio ; Guidi, Claudio ; Lucchi, Roberto ; Zavattaro, Gianluigi

Electronic notes in theoretical computer science, 2007-06, Vol.181, p.19-33

Elsevier B.V

Texto completo disponível

Citações Citado por
5
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming

AbdelGawad, Moez A.

Electronic notes in theoretical computer science, 2014-02, Vol.301, p.3-19

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM
Material Type:
Artigo 		Adicionar ao Meu Espaço

Implementing a Language with Flow-Sensitive and Structural Typing on the JVM

Pearce, David J. ; Noble, James

Electronic notes in theoretical computer science, 2011-12, Vol.279 (1), p.47-59

Elsevier B.V

Texto completo disponível

Citações Citado por
7
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic

Fenacci, Damon ; MacKenzie, Kenneth

Electronic notes in theoretical computer science, 2011-12, Vol.279 (1), p.19-32

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Material Type:
Artigo 		Adicionar ao Meu Espaço

Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP

Chen, Feng ; d'Amorim, Marcelo ; Roşu, Grigore

Electronic notes in theoretical computer science, 2006-05, Vol.144 (4), p.3-20

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Combined Static and Dynamic Analysis
Combined Static and Dynamic Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Combined Static and Dynamic Analysis

Artho, Cyrille ; Biere, Armin

Electronic notes in theoretical computer science, 2005-05, Vol.131, p.3-14

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Experiments with Non-Termination Analysis for Java Bytecode
Experiments with Non-Termination Analysis for Java Bytecode
Material Type:
Artigo 		Adicionar ao Meu Espaço

Experiments with Non-Termination Analysis for Java Bytecode

Payet, Étienne ; Spoto, Fausto

Electronic notes in theoretical computer science, 2009-12, Vol.253 (5), p.83-96

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.   

Mostrar Somente

  1. Recursos Online (40)
  2. Disponível na Biblioteca (1)

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Brazilian Symposium on Formal Methods - SBMF
  2. Melo, A
  3. Silva, P

Neste Assunto:

  1. Java
  2. Java
  3. Computer Science
  4. Computer Science, Theory & Methods
  5. Technology

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

Buscando em bases de dados remotas. Favor aguardar.