skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar solo
Refinado por: tipo de recurso: Actas de Congreso eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
CODOMs: Protecting software with Code-centric memory Domains
CODOMs: Protecting software with Code-centric memory Domains
Material Type:
Acta de Congreso 		Añadir a Mi Portal

CODOMs: Protecting software with Code-centric memory Domains

Vilanova, Lluis ; Ben-Yehuda, Muli ; Navarro, Nacho ; Etsion, Yoav ; Valero, Mateo

2014 ACM/IEEE 41st International Symposium on Computer Architecture (ISCA), 2014, p.469-480

IEEE

Texto completo disponible

Citas Citado por
2
High-Level Debugging and Verification for FPGA-Based Multicore Architectures
High-Level Debugging and Verification for FPGA-Based Multicore Architectures
Material Type:
Acta de Congreso 		Añadir a Mi Portal

High-Level Debugging and Verification for FPGA-Based Multicore Architectures

Arcas Abella, Oriol ; Cristal, Adrian ; Unsal, Osman S.

2015 IEEE 23rd Annual International Symposium on Field-Programmable Custom Computing Machines, 2015, p.135-142

IEEE

Texto completo disponible

Citas Citado por
3
Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging

New York, NY, USA: ACM 1983

Texto completo disponible

Citas Citado por
4
Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging

New York, NY, USA: ACM 1991

Texto completo disponible

Citas Citado por
5
Empirical review of automated analysis tools on 47,587 Ethereum smart contracts
Empirical review of automated analysis tools on 47,587 Ethereum smart contracts
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Empirical review of automated analysis tools on 47,587 Ethereum smart contracts

Durieux, Thomas ; Ferreira, João F. ; Abreu, Rui ; Cruz, Pedro

2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.530-541

New York, NY, USA: ACM

Sin texto completo

Citas Citado por
6
Evaluating and Improving Fault Localization
Evaluating and Improving Fault Localization
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Evaluating and Improving Fault Localization

Pearson, Spencer ; Campos, Jose ; Just, Rene ; Fraser, Gordon ; Abreu, Rui ; Ernst, Michael D. ; Pang, Deric ; Keller, Benjamin

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.609-620

IEEE

Sin texto completo

Citas Citado por
7
Concolic testing for deep neural networks
Concolic testing for deep neural networks
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Concolic testing for deep neural networks

Sun, Youcheng ; Wu, Min ; Ruan, Wenjie ; Huang, Xiaowei ; Kwiatkowska, Marta ; Kroening, Daniel

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.109-119

New York, NY, USA: ACM

Texto completo disponible

Citas Citado por
8
DeepGauge: multi-granularity testing criteria for deep learning systems
DeepGauge: multi-granularity testing criteria for deep learning systems
Material Type:
Acta de Congreso 		Añadir a Mi Portal

DeepGauge: multi-granularity testing criteria for deep learning systems

Ma, Lei ; Juefei-Xu, Felix ; Zhang, Fuyuan ; Sun, Jiyuan ; Xue, Minhui ; Li, Bo ; Chen, Chunyang ; Su, Ting ; Li, Li ; Liu, Yang ; Zhao, Jianjun ; Wang, Yadong

2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.120-131

New York, NY, USA: ACM

Texto completo disponible

Citas Citado por
9
Perses: syntax-guided program reduction
Perses: syntax-guided program reduction
Material Type:
Acta de Congreso 		Añadir a Mi Portal

Perses: syntax-guided program reduction

Sun, Chengnian ; Li, Yuanbo ; Zhang, Qirun ; Gu, Tianxiao ; Su, Zhendong

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.361-371

New York, NY, USA: ACM

Texto completo disponible

Citas Citado por
10
DeepTest: automated testing of deep-neural-network-driven autonomous cars
DeepTest: automated testing of deep-neural-network-driven autonomous cars
Material Type:
Acta de Congreso 		Añadir a Mi Portal

DeepTest: automated testing of deep-neural-network-driven autonomous cars

Tian, Yuchi ; Pei, Kexin ; Jana, Suman ; Ray, Baishakhi

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.303-314

New York, NY, USA: ACM

Texto completo disponible

Citas Citado por
Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Recursos en línea (3.940)
  2. Revistas arbitradas (192)

Fecha de Publicación 

De Hasta
Refinar
  1. Antes de1987  (14)
  2. 1987Hasta1995  (285)
  3. 1996Hasta2004  (790)
  4. 2005Hasta2014  (2.035)
  5. Después de 2014  (3.212)
  6. Más opciones open sub menu

Idioma 

  1. Japonés  (142)
  2. Portugués  (11)
  3. Español  (2)
  4. Chino  (1)
  5. Turco  (1)
  6. Noruego  (1)
  7. Más opciones open sub menu

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora