skip to main content
Idioma:
Resultados 1 2 3 4 next page
Refinado por: Base de dados/Biblioteca: Aerospace Database remover assunto: Programming Languages remover Computers & Applied Sciences Complete - EBSCO remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Recent progress and challenges in exploiting graphics processors in computational fluid dynamics
Recent progress and challenges in exploiting graphics processors in computational fluid dynamics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Recent progress and challenges in exploiting graphics processors in computational fluid dynamics

Niemeyer, Kyle E. ; Sung, Chih-Jen

The Journal of supercomputing, 2014-02, Vol.67 (2), p.528-564 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
2
Information delivery scheme of micro UAVs having limited communication range during tracking the moving target
Information delivery scheme of micro UAVs having limited communication range during tracking the moving target
Material Type:
Artigo 		Adicionar ao Meu Espaço

Information delivery scheme of micro UAVs having limited communication range during tracking the moving target

Choi, Hyo Hyun ; Nam, Su Hyun ; Shon, Taeshik ; Choi, Myungwhan

The Journal of supercomputing, 2013-11, Vol.66 (2), p.950-972 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
3
Aircraft noise scattering prediction using different accelerator architectures
Aircraft noise scattering prediction using different accelerator architectures
Material Type:
Artigo 		Adicionar ao Meu Espaço

Aircraft noise scattering prediction using different accelerator architectures

López-Portugués, M. ; López-Fernández, J. A. ; Díaz-Gracia, N. ; Ayestarán, R. G. ; Ranilla, José

The Journal of supercomputing, 2014-11, Vol.70 (2), p.612-622 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
4
CU++: an object oriented framework for computational fluid dynamics applications using graphics processing units
CU++: an object oriented framework for computational fluid dynamics applications using graphics processing units
Material Type:
Artigo 		Adicionar ao Meu Espaço

CU++: an object oriented framework for computational fluid dynamics applications using graphics processing units

Chandar, Dominic D. J. ; Sitaraman, Jayanarayanan ; Mavriplis, Dimitri

The Journal of supercomputing, 2014, Vol.67 (1), p.47-68 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
5
Formal analysis of a space-craft controller using SPIN
Formal analysis of a space-craft controller using SPIN
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal analysis of a space-craft controller using SPIN

Havelund, K. ; Lowry, M. ; Penix, J.

IEEE transactions on software engineering, 2001-08, Vol.27 (8), p.749-765 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
6
Constructive-Synthesizing Structures and Their Grammatical Interpretations. i. Generalized Formal Constructive-Synthesizing Structure
Constructive-Synthesizing Structures and Their Grammatical Interpretations. i. Generalized Formal Constructive-Synthesizing Structure
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constructive-Synthesizing Structures and Their Grammatical Interpretations. i. Generalized Formal Constructive-Synthesizing Structure

Shynkarenko, V. I. ; Ilman, V. M.

Cybernetics and systems analysis, 2014-09, Vol.50 (5), p.655-662 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
7
Universal petri net
Universal petri net
Material Type:
Artigo 		Adicionar ao Meu Espaço

Universal petri net

Zaitsev, D. A.

Cybernetics and systems analysis, 2012-07, Vol.48 (4), p.498-511 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
8
Using the Compatibility Analysis of Logical Specifications of Automata to Solve Game Problems
Using the Compatibility Analysis of Logical Specifications of Automata to Solve Game Problems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Using the Compatibility Analysis of Logical Specifications of Automata to Solve Game Problems

Chebotarev, A. N.

Cybernetics and systems analysis, 2014-07, Vol.50 (4), p.487-494 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
9
Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language L to the language L
Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language L to the language L
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language L to the language L

Chebotarev, A. N.

Cybernetics and systems analysis, 2013, Vol.49 (1), p.1-6 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
10
Glushkov’s evidence algorithm
Glushkov’s evidence algorithm
Material Type:
Artigo 		Adicionar ao Meu Espaço

Glushkov’s evidence algorithm

Letichevsky, A. A. ; Lyaletski, A. V. ; Morokhovets, M. K.

Cybernetics and systems analysis, 2013-07, Vol.49 (4), p.489-500 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar
  1. Antes de1984  (2)
  2. 1984Até1985  (2)
  3. 1986Até1992  (2)
  4. 1993Até2009  (8)
  5. Após 2009  (18)
  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.