skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Tian, Cong remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Verifying Properties of MapReduce-Based Big Data Processing
Verifying Properties of MapReduce-Based Big Data Processing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying Properties of MapReduce-Based Big Data Processing

Zhang, Nan ; Wang, Meng ; Duan, Zhenhua ; Tian, Cong

IEEE transactions on reliability, 2022-03, Vol.71 (1), p.321-338 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
2
Verifying temporal properties of programs: A parallel approach
Verifying temporal properties of programs: A parallel approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verifying temporal properties of programs: A parallel approach

Yu, Bin ; Duan, Zhenhua ; Tian, Cong ; Zhang, Nan

Journal of parallel and distributed computing, 2018-08, Vol.118, p.89-99 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
3
A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs
A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs

Yang, Kai ; Tian, Cong ; Zhang, Nan ; Duan, Zhenhua ; Du, Hongwei

IEEE transactions on reliability, 2021-12, Vol.70 (4), p.1455-1467 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
4
A compiler for MSVL and its applications
A compiler for MSVL and its applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

A compiler for MSVL and its applications

Yang, Kai ; Duan, Zhenhua ; Tian, Cong ; Zhang, Nan

Theoretical computer science, 2018-11, Vol.749, p.2-16 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
5
Neuron importance based verification of neural networks via divide and conquer
Neuron importance based verification of neural networks via divide and conquer
Material Type:
Artigo 		Adicionar ao Meu Espaço

Neuron importance based verification of neural networks via divide and conquer

Dong, Yansong ; Liu, Yuehao ; Zhao, Liang ; Tian, Cong ; Duan, Zhenhua

Neurocomputing (Amsterdam), 2024-01, Vol.565, p.126995, Article 126995 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
6
A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability
A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability

Cui, Jin ; Duan, Zhenhua ; Tian, Cong ; Du, Hongwei

IEEE transactions on reliability, 2018-06, Vol.67 (2), p.481-493 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
7
A proof system for unified temporal logic
A proof system for unified temporal logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A proof system for unified temporal logic

Zhang, Nan ; Yu, Chaofeng ; Duan, Zhenhua ; Tian, Cong

Theoretical computer science, 2023-03, Vol.949, p.113702, Article 113702 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
8
Verify heaps via unified model checking
Verify heaps via unified model checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Verify heaps via unified model checking

Lu, Xu ; Duan, Zhenhua ; Tian, Cong ; Du, Hongwei

Theoretical computer science, 2020-06, Vol.819, p.35-49 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
9
Adaptively parallel runtime verification based on distributed network for temporal properties
Adaptively parallel runtime verification based on distributed network for temporal properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Adaptively parallel runtime verification based on distributed network for temporal properties

Yu, Bin ; Lu, Xu ; Tian, Cong ; Wang, Meng ; Chen, Chu ; Lei, Ming ; Duan, Zhenhua

Parallel computing, 2023-09, Vol.117, p.103034, Article 103034 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
10
Translating Xd-C programs to MSVL programs
Translating Xd-C programs to MSVL programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Translating Xd-C programs to MSVL programs

Wang, Meng ; Tian, Cong ; Zhang, Nan ; Duan, Zhenhua ; Yao, Chenguang

Theoretical computer science, 2020-02, Vol.809, p.430-465 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (47)
  2. Revistas revisadas por pares (42)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (33)
  2. Anais de Congresso  (18)
  3. Book Chapters  (7)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de2010  (3)
  2. 2010Até2012  (8)
  3. 2013Até2015  (17)
  4. 2016Até2020  (18)
  5. Após 2020  (13)
  6. Mais opções open sub menu

Idioma 

  1. Chinês  (2)
  2. Japonês  (1)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.