skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Comparative analysis of shape descriptors for 3D objects
Material Type:
Artigo
Adicionar ao Meu Espaço

Comparative analysis of shape descriptors for 3D objects

Lara López, Graciela ; Peña Pérez Negrón, Adriana ; De Antonio Jiménez, Angélica ; Ramírez Rodríguez, Jaime ; Imbert Paredes, Ricardo

Multimedia tools and applications, 2017-03, Vol.76 (5), p.6993-7040 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

2
Instruction encoding synthesis for architecture exploration using hierarchical processor models
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Instruction encoding synthesis for architecture exploration using hierarchical processor models

Nohl, Achim ; Greive, Volker ; Braun, Gunnar ; Andreas, Andreas ; Leupers, Rainer ; Schliebusch, Oliver ; Meyr, Heinrich

Annual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003, 2003, p.262-267

New York, NY, USA: ACM

Texto completo disponível

3
Formal consistency checking over specifications in natural languages
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Formal consistency checking over specifications in natural languages

Yan, Rongjie ; Cheng, Chih-Hong ; Chai, Yesheng

2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, p.1677-1682

San Jose, CA, USA: EDA Consortium

Texto completo disponível

4
A retrospective on the VAX VMM security kernel
Material Type:
Artigo
Adicionar ao Meu Espaço

A retrospective on the VAX VMM security kernel

Karger, P.A. ; Zurko, M.E. ; Bonin, D.W. ; Mason, A.H. ; Kahn, C.E.

IEEE transactions on software engineering, 1991-11, Vol.17 (11), p.1147-1165 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

5
Augmenting Ada for SIMD Parallel Processing
Material Type:
Artigo
Adicionar ao Meu Espaço

Augmenting Ada for SIMD Parallel Processing

Cline, C.L. ; Siegel, H.J.

IEEE transactions on software engineering, 1985-09, Vol.SE-11 (9), p.970-977 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (3)

Buscando em bases de dados remotas. Favor aguardar.