skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computer Science; Control Theory; Systems remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
An Introduction to Parallel Control and Management for High-Speed Railway Systems
An Introduction to Parallel Control and Management for High-Speed Railway Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Introduction to Parallel Control and Management for High-Speed Railway Systems

Ning, Bin ; Tang, Tao ; Dong, Hairong ; Wen, Ding ; Liu, Derong ; Gao, Shigen ; Wang, Jing

IEEE transactions on intelligent transportation systems, 2011-12, Vol.12 (4), p.1473-1483 [Periódico revisado por pares]

Piscataway, NJ: IEEE

Texto completo disponível

Citações Citado por
2
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis

Williams, Nicky ; Marre, Bruno ; Mouy, Patricia ; Roger, Muriel

Dependable Computing - EDCC 5, 2005, p.281-292 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Secure multidimensional range queries over outsourced data
Secure multidimensional range queries over outsourced data
Material Type:
Artigo 		Adicionar ao Meu Espaço

Secure multidimensional range queries over outsourced data

Hore, Bijit ; Mehrotra, Sharad ; Canim, Mustafa ; Kantarcioglu, Murat

The VLDB journal, 2012-06, Vol.21 (3), p.333-358

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Citações Citado por
4
Zyzzyva: Speculative Byzantine Fault Tolerance
Zyzzyva: Speculative Byzantine Fault Tolerance
Material Type:
Artigo 		Adicionar ao Meu Espaço

Zyzzyva: Speculative Byzantine Fault Tolerance

KOTLA, Ramakrishna ; ALVISI, Lorenzo ; DAHLIN, Mike ; CLEMENT, Allen ; WONG, Edmund

ACM transactions on computer systems, 2009-12, Vol.27 (4), p.1-39 [Periódico revisado por pares]

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
5
Flicker : An Execution Infrastructure for TCB Minimization
Flicker : An Execution Infrastructure for TCB Minimization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Flicker : An Execution Infrastructure for TCB Minimization

MCCUNE, Jonathan M ; PARNO, Bryan ; PERRIG, Adrian ; REITER, Michael K ; ISOZAKI, Hiroshi

Operating systems review, 2008, Vol.42 (4), p.315-328

New York, NY: Association for Computing Machinery

Texto completo disponível

Citações Citado por
6
Evolutionary Improvement of Programs
Evolutionary Improvement of Programs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Evolutionary Improvement of Programs

White, D. R. ; Arcuri, A. ; Clark, J. A.

IEEE transactions on evolutionary computation, 2011-08, Vol.15 (4), p.515-538 [Periódico revisado por pares]

New York, NY: IEEE

Texto completo disponível

Citações Citado por
7
Finding, Counting and Listing All Triangles in Large Graphs, an Experimental Study
Finding, Counting and Listing All Triangles in Large Graphs, an Experimental Study
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Finding, Counting and Listing All Triangles in Large Graphs, an Experimental Study

Schank, Thomas ; Wagner, Dorothea

Experimental and Efficient Algorithms, 2005, p.606-609 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
Symbolic Execution with Separation Logic
Symbolic Execution with Separation Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Symbolic Execution with Separation Logic

Berdine, Josh ; Calcagno, Cristiano ; O’Hearn, Peter W

Lecture notes in computer science, 2005, Vol.3780, p.52-68 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
9
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Smallfoot: Modular Automatic Assertion Checking with Separation Logic

Berdine, Josh ; Calcagno, Cristiano ; O’Hearn, Peter W.

Formal Methods for Components and Objects, 2006, p.115-137 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
10
Model-based programming of intelligent embedded systems and robotic space explorers
Model-based programming of intelligent embedded systems and robotic space explorers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model-based programming of intelligent embedded systems and robotic space explorers

Williams, B.C. ; Ingham, M.D. ; Chung, S.H. ; Elliott, P.H.

Proceedings of the IEEE, 2003-01, Vol.91 (1), p.212-237 [Periódico revisado por pares]

New York, NY: IEEE

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 (1.162)
  2. Revistas revisadas por pares (1.645)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (906)
  2. Book Chapters  (463)
  3. Artigos  (361)
  4. magazinearticle  (3)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (41)
  2. 1988Até1993  (53)
  3. 1994Até1999  (307)
  4. 2000Até2006  (1.304)
  5. Após 2006  (109)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.