Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Formal verification of information flow security for a simple arm-based separation kernelDam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, OliverProceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234ACMTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
On the limits of effectiveness in estimation of distribution algorithmsEchegoyen, Carlos ; Qingfu Zhang ; Mendiburu, Alexander ; Santana, Roberto ; Lozano, Jose A.2011 IEEE Congress of Evolutionary Computation (CEC), 2011, p.1573-1580 [Periódico revisado por pares]IEEETexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Performance Analysis of the Scalable Video Coding (SVC) extension of H.264/AVC for constrained scenariosSUAREZ, N ; CALLICO, Gustavo M ; LOPEZ, Sebastian ; LOPEZ, Jose ; SARMIENTO, RobertoProceedings of SPIE, the International Society for Optical Engineering, 2011, Vol.8067Bellingham WA: SPIETexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
A low-cost sensor platform for large-scale wideband spectrum monitoringCalvo-Palomino, Roberto ; Pfammatter, Damian ; Giustiniano, Domenico ; Lenders, VincentProceedings of the 14th International Conference on information processing in sensor networks, 2015, p.396-397ACMTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
From desktop to touchless interfaces: a model based approachGarzotto, Franca ; Gelsomini, Mirko ; Mangano, Roberto ; Oliveto, Luigi ; Valoriani, MatteoProceedings of the 2014 International Working Conference on advanced visual interfaces, 2014, p.261-264ACMTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Ginga extensions to support depth-based 3D mediade Albuquerque Azevedo, Roberto Gerson ; Gomes Soares, Luis Fernando2014 3DTV-Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON), 2014, p.1-4IEEETexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Spatial rank estimation in cognitive radio networks with uncalibrated multiple antennasVazquez-Vilar, Gonzalo ; Ramírez, David ; López-Valcarce, Roberto ; Vía, Javier ; Santamaría, IgnacioProceedings of the 4th International Conference on cognitive radio and advanced spectrum management, 2011, p.1-5ACMTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Enhancing the performance of assisted execution runtime systems through hardware/software techniquesKestor, Gokcen ; Gioiosa, Roberto ; Unsal, Osman ; Cristal, Adrian ; Valero, MateoProceedings of the 26th ACM international conference on supercomputing, 2012, p.153-162ACMTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Analysis and testing of matlab simulink models: a systematic mapping studyElberzhager, Frank ; Rosbach, Alla ; Bauer, ThomasProceedings of the 2013 International Workshop on joining academia and industry contributions to testing automation, 2013, p.29-34ACMTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Verifiable data streamingSchroeder, Dominique ; Schroeder, HeikeProceedings of the 2012 ACM conference on computer and communications security, 2012, p.953-964ACMTexto completo disponível |