skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: IEEE Electronic Library (IEL) Journals remover tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Symbolic Semantics and Program Reduction
Symbolic Semantics and Program Reduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Symbolic Semantics and Program Reduction

Ambriola, V. ; Giannotti, F. ; Pedreschi, D. ; Turini, F.

IEEE transactions on software engineering, 1985-08, Vol.SE-11 (8), p.784-794 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
2
Using Annotations to Make Recursion Equations Behave
Using Annotations to Make Recursion Equations Behave
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using Annotations to Make Recursion Equations Behave

Schwarz, J.

IEEE transactions on software engineering, 1982-01, Vol.SE-8 (1), p.21-33 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
3
Design Exposition with Literate Visualization
Design Exposition with Literate Visualization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design Exposition with Literate Visualization

Wood, Jo ; Kachkaev, Alexander ; Dykes, Jason

IEEE transactions on visualization and computer graphics, 2019-01, Vol.25 (1), p.759-768 [Periódico revisado por pares]

United States: IEEE

Texto completo disponível

Citações Citado por
4
Compiling Quantamorphisms for the IBM Q Experience
Compiling Quantamorphisms for the IBM Q Experience
Material Type:
Artigo 		Adicionar ao Meu Espaço

Compiling Quantamorphisms for the IBM Q Experience

Neri, Ana ; Barbosa, Rui Soares ; Oliveira, Jose N.

IEEE transactions on software engineering, 2022-11, Vol.48 (11), p.4339-4356 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
5
A Look into Programmers' Heads
A Look into Programmers' Heads
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Look into Programmers' Heads

Peitek, Norman ; Siegmund, Janet ; Apel, Sven ; Kastner, Christian ; Parnin, Chris ; Bethmann, Anja ; Leich, Thomas ; Saake, Gunter ; Brechmann, Andre

IEEE transactions on software engineering, 2020-04, Vol.46 (4), p.442-462 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
6
AnyHLS: High-Level Synthesis With Partial Evaluation
AnyHLS: High-Level Synthesis With Partial Evaluation
Material Type:
Artigo 		Adicionar ao Meu Espaço

AnyHLS: High-Level Synthesis With Partial Evaluation

Ozkan, M. Akif ; Perard-Gayot, Arsene ; Membarth, Richard ; Slusallek, Philipp ; Leisa, Roland ; Hack, Sebastian ; Teich, Jurgen ; Hannig, Frank

IEEE transactions on computer-aided design of integrated circuits and systems, 2020-11, Vol.39 (11), p.3202-3214 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
7
Node.js: Using JavaScript to Build High-Performance Network Programs
Node.js: Using JavaScript to Build High-Performance Network Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Node.js: Using JavaScript to Build High-Performance Network Programs

Tilkov, Stefan ; Vinoski, Steve

IEEE internet computing, 2010-11, Vol.14 (6), p.80-83 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
8
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
A Two-Component Language for Adaptation: Design, Semantics and Program Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Two-Component Language for Adaptation: Design, Semantics and Program Analysis

Degano, Pierpaolo ; Ferrari, Gian-Luigi ; Galletta, Letterio

IEEE transactions on software engineering, 2016-06, Vol.42 (6), p.505-529 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
9
Jutge.org: Characteristics and Experiences
Jutge.org: Characteristics and Experiences
Material Type:
Artigo 		Adicionar ao Meu Espaço

Jutge.org: Characteristics and Experiences

Petit, Jordi ; Roura, Salvador ; Carmona, Josep ; Cortadella, Jordi ; Duch, Jordi ; Gimenez, Omer ; Mani, Anaga ; Mas, Jan ; Rodriguez-Carbonell, Enric ; Rubio, Enric ; de San Pedro, Enric ; Venkataramani, Divya

IEEE transactions on learning technologies, 2018-07, Vol.11 (3), p.321-333 [Periódico revisado por pares]

Piscataway: IEEE

Texto completo disponível

Citações Citado por
10
Pattern Matching Based on Object Graphs
Pattern Matching Based on Object Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Pattern Matching Based on Object Graphs

Ke, Wei ; Chan, Ka-Hou

IEEE access, 2021, Vol.9, p.159313-159325 [Periódico revisado por pares]

Piscataway: IEEE

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. Revistas revisadas por pares (131)

Data de Publicação 

De até
Refinar
  1. Antes de1985  (18)
  2. 1985Até1992  (33)
  3. 1993Até2002  (24)
  4. 2003Até2011  (44)
  5. Após 2011  (22)
  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.