Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Comparative analysis of shape descriptors for 3D objectsLara López, Graciela ; Peña Pérez Negrón, Adriana ; De Antonio Jiménez, Angélica ; Ramírez Rodríguez, Jaime ; Imbert Paredes, RicardoMultimedia tools and applications, 2017-03, Vol.76 (5), p.6993-7040 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Instruction encoding synthesis for architecture exploration using hierarchical processor modelsNohl, Achim ; Greive, Volker ; Braun, Gunnar ; Andreas, Andreas ; Leupers, Rainer ; Schliebusch, Oliver ; Meyr, HeinrichAnnual ACM IEEE Design Automation Conference: Proceedings of the 40th conference on Design automation; 02-06 June 2003, 2003, p.262-267New York, NY, USA: ACMTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Formal consistency checking over specifications in natural languagesYan, Rongjie ; Cheng, Chih-Hong ; Chai, Yesheng2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, p.1677-1682San Jose, CA, USA: EDA ConsortiumTexto completo disponível |
|
4 |
Material Type: Artigo
|
A retrospective on the VAX VMM security kernelKarger, 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: IEEETexto completo disponível |
|
5 |
Material Type: Artigo
|
Augmenting Ada for SIMD Parallel ProcessingCline, 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: IEEETexto completo disponível |