skip to main content
Idioma:
Mostrar Somente
Refinado por: data de publicação: 2011Até2015 remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal verification of information flow security for a simple arm-based separation kernel
Formal verification of information flow security for a simple arm-based separation kernel
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Formal verification of information flow security for a simple arm-based separation kernel

Dam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, Oliver

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
Fast Simple Linear Iterative Clustering by Early Candidate Cluster Elimination
Fast Simple Linear Iterative Clustering by Early Candidate Cluster Elimination
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Fast Simple Linear Iterative Clustering by Early Candidate Cluster Elimination

Choi, Kang-Sun ; Oh, Ki-Won Paredes, Roberto ; Pardo, Xosé M. ; Cardoso, Jaime S.

Pattern Recognition and Image Analysis, p.579-586 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
On the limits of effectiveness in estimation of distribution algorithms
On the limits of effectiveness in estimation of distribution algorithms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On the limits of effectiveness in estimation of distribution algorithms

Echegoyen, 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]

IEEE

Texto completo disponível

Citações Citado por
4
Performance Analysis of the Scalable Video Coding (SVC) extension of H.264/AVC for constrained scenarios
Performance Analysis of the Scalable Video Coding (SVC) extension of H.264/AVC for constrained scenarios
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Performance Analysis of the Scalable Video Coding (SVC) extension of H.264/AVC for constrained scenarios

SUAREZ, N ; CALLICO, Gustavo M ; LOPEZ, Sebastian ; LOPEZ, Jose ; SARMIENTO, Roberto

Proceedings of SPIE, the International Society for Optical Engineering, 2011, Vol.8067

Bellingham WA: SPIE

Texto completo disponível

Citações Citado por
5
A low-cost sensor platform for large-scale wideband spectrum monitoring
A low-cost sensor platform for large-scale wideband spectrum monitoring
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A low-cost sensor platform for large-scale wideband spectrum monitoring

Calvo-Palomino, Roberto ; Pfammatter, Damian ; Giustiniano, Domenico ; Lenders, Vincent

Proceedings of the 14th International Conference on Information Processing in Sensor Networks, 2015, p.396-397

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Ginga extensions to support depth-based 3D media
Ginga extensions to support depth-based 3D media
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Ginga extensions to support depth-based 3D media

de Albuquerque Azevedo, Roberto Gerson ; Gomes Soares, Luis Fernando

2014 3DTV-Conference: The True Vision - Capture, Transmission and Display of 3D Video (3DTV-CON), 2014, p.1-4

IEEE

Texto completo disponível

Citações Citado por
7
Impact Evaluation of Job Training Programs by a Latent Variable Model
Impact Evaluation of Job Training Programs by a Latent Variable Model
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Impact Evaluation of Job Training Programs by a Latent Variable Model

Bartolucci, Francesco ; Pennoni, Fulvia Ingrassia, Salvatore ; Vichi, Maurizio ; Rocci, Roberto

New Perspectives in Statistical Modeling and Data Analysis, p.65-73

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
VeriStream – A Framework for Verifiable Data Streaming
VeriStream – A Framework for Verifiable Data Streaming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

VeriStream – A Framework for Verifiable Data Streaming

Schöder, Dominique ; Simkin, Mark Böhme, Rainer ; Okamoto, Tatsuaki

Financial Cryptography and Data Security, p.548-566 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Using Bittorrent and SVC for efficient video sharing and streaming
Using Bittorrent and SVC for efficient video sharing and streaming
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using Bittorrent and SVC for efficient video sharing and streaming

Abdelhalim, A. ; Ahmed, T. ; Walid-Khaled, H. ; Matsuoka, S.

2012 IEEE Symposium on Computers and Communications (ISCC), 2012, p.000537-000543

IEEE

Texto completo disponível

Citações Citado por
10
On the automorphism groups of strongly regular graphs I
On the automorphism groups of strongly regular graphs I
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

On the automorphism groups of strongly regular graphs I

Babai, László

Proceedings of the 5th conference on Innovations in theoretical computer science, 2014, p.359-368

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.