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

Type-based Dependency Analysis for JavaScript

Keil, Matthias ; Thiemann, Peter

Texto completo disponível

2
Material Type:
Artigo
Adicionar ao Meu Espaço

SSW library: an SIMD Smith-Waterman C/C++ library for use in genomic applications

Zhao, Mengyao ; Lee, Wan-Ping ; Garrison, Erik P ; Marth, Gabor T

PloS one, 2013, Vol.8(12), pp.e82138 [Periódico revisado por pares]

Texto completo disponível

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

Validating quantum-classical programming models with tensor network simulations

Mccaskey, Alexander ; Dumitrescu, Eugene ; Chen, Mengsu ; Lyakh, Dmitry ; Humble, Travis

PloS one, 2018, Vol.13(12), pp.e0206704 [Periódico revisado por pares]

Texto completo disponível

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

QuantumInformation.jl-A Julia package for numerical computation in quantum information theory.(Research Article)(Report)

Gawron, Piotr ; Kurzyk, Dariusz ; Pawela, Lukasz

PLoS ONE, Dec 26, 2018, Vol.13(12), p.e0209358 [Periódico revisado por pares]

Texto completo disponível

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

Learnable programming: blocks and beyond.(computer programming based on blocks languages)

Bau, David ; Gray, Jeff ; Kelleher, Caitlin ; Sheldon, Josh ; Turbak, Franklyn

Communications of the ACM, 2017, Vol.60(6), p.72(9) [Periódico revisado por pares]

Texto completo disponível

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

A Rewriting View of Simple Typing

Stump, Aaron ; Kimmell, Garrin ; Zantema, Hans ; Omar, Ruba El Haj

Logical Methods in Computer Science, Volume 9, Issue 1 (February 27, 2013) lmcs:936 [Periódico revisado por pares]

Texto completo disponível

7
Material Type:
Artigo
Adicionar ao Meu Espaço

A Core Calculus for Provenance

Acar, Umut A. ; Ahmed, Amal ; Cheney, James ; Perera, Roly

Journal of Computer Security 21 (2013) 919-969 [Periódico revisado por pares]

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

A Tiling Perspective for Register Optimization

Domagala, Lukasz ; Rastello, Fabrice ; Ponnuswany, Sadayappan ; Van Amstel, Duco

N° RR-8541 (2014)

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case

Horn, Tassilo

EPTCS 74, 2011, pp. 295-301

Texto completo disponível

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

The Complexity of Interaction (Long Version)

Gimenez, Stéphane ; Moser, Georg

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (397)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (4.198)
  2. Anais de Congresso  (112)
  3. Livros  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de2001  (73)
  2. 2001Até2004  (187)
  3. 2005Até2008  (268)
  4. 2009Até2013  (1.138)
  5. Após 2013  (2.709)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.368)
  2. Francês  (2)
  3. Alemão  (2)
  4. Japonês  (1)
  5. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Van Horn, David
  2. Cheney, James
  3. Schrijvers, Tom
  4. Kwon, Keehang
  5. Might, Matthew

Buscando em bases de dados remotas. Favor aguardar.