skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: Springer (CrossRef) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

A list-machine benchmark for mechanized metatheory

Appel, Andrew W ; Dockins, Robert ; Leroy, Xavier

Journal of Automated Reasoning, 2012, Vol.49(3), pp.453--491 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Calculating Parallel Programs in Coq using List Homomorphisms

Loulergue, Frédéric ; Bousdira, Wadoud ; Tesson, Julien

International Journal of Parallel Programming, 2017, Vol.45(2), pp.300-319 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

On Enumerating Minimal Siphons in Petri nets using CLP and SAT solvers: Theoretical and Practical Complexity

Nabli, Faten ; Martinez, Thierry ; Fages, François ; Soliman, Sylvain

Constraints, April 2016, Vol.21(2), pp.251--276 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

A framework for deadlock detection in core ABS

Giachino, Elena ; Laneve, Cosimo ; Lienhardt, Michael

Software and Systems Modeling, 2016 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Charguéraud, Arthur ; Pottier, François

Journal of Automated Reasoning, 22 September 2017 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

How do Developers React to API Evolution? a Large-Scale Empirical Study

Hora, André ; Robbes, Romain ; Tulio Valente, Marco ; Anquetil, Nicolas ; Etien, Anne ; Ducasse, Stéphane

Software Quality Journal, 27 October 2016 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

Test Case Selection in Industry: an Analysis of Issues Related to Static Approaches

Blondeau, Vincent ; Etien, Anne ; Anquetil, Nicolas ; Cresson, Sylvain ; Croisy, Pascal ; Ducasse, Stéphane

Software Quality Journal, 2016 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Zakowski, Yannick ; Cachera, David ; Demange, Delphine ; Petri, Gustavo ; Pichardie, David ; Jagannathan, Suresh ; Vitek, Jan

Journal of Automated Reasoning, 01 November 2018 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Inferring functional properties of matrix manipulating programs by abstract interpretation

Journault, Matthieu ; Miné, Antoine

Formal Methods in System Design, October 2018, Vol.53(2), pp.221-258 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

A low level component model easing performance portability of HPC applications

Bigot, Julien ; Hou, Zhengxiong ; Pérez, Christian ; Pichon, Vincent

Computing, December 2014, Vol.96(12), pp.1115-1130 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (376)
  2. Resenhas  (1)
  3. Anais de Congresso  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1984  (17)
  2. 1984Até1992  (34)
  3. 1993Até2001  (58)
  4. 2002Até2011  (132)
  5. Após 2011  (132)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (375)
  2. Chinês  (7)
  3. Alemão  (7)
  4. Português  (1)
  5. Francês  (1)
  6. Sueco  (1)
  7. Espanhol  (1)
  8. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.