skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Technology remover assunto: Software remover Applied Sciences remover Academic Search Premier (EB_SDU_P3) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Authenticated algorithms for byzantine agreement
Authenticated algorithms for byzantine agreement
Material Type:
Artigo 		Adicionar ao Meu Espaço

Authenticated algorithms for byzantine agreement

DOLEV, D ; STRONG, H. R

SIAM journal on computing, 1983-11, Vol.12 (4), p.656-666 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
2
A mathematical model for the verification of systolic networks
A mathematical model for the verification of systolic networks
Material Type:
Artigo 		Adicionar ao Meu Espaço

A mathematical model for the verification of systolic networks

MELHEM, R. G ; RHEINBOLDT, W. C

SIAM journal on computing, 1984-08, Vol.13 (3), p.541-565 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
3
A methodology for designing and modeling reconfigurable systems
A methodology for designing and modeling reconfigurable systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A methodology for designing and modeling reconfigurable systems

Srini, V. P. ; Shriver, B. D.

International Journal of Computer & Information Sciences, 1984-10, Vol.13 (5), p.339-394 [Periódico revisado por pares]

New York: Springer Nature B.V

Texto completo disponível

Citações Citado por
4
A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner
A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner
Material Type:
Artigo 		Adicionar ao Meu Espaço

A VLSI design for the parallel finite state automaton and its performance evaluation as a hardware scanner

Hurson, A. R.

International Journal of Computer & Information Sciences, 1984-12, Vol.13 (6), p.491-508 [Periódico revisado por pares]

New York: Springer Nature B.V

Texto completo disponível

Citações Citado por
5
The use of hoare logic in the verification of horizontal microprograms
The use of hoare logic in the verification of horizontal microprograms
Material Type:
Artigo 		Adicionar ao Meu Espaço

The use of hoare logic in the verification of horizontal microprograms

Dasgupta, Subrata ; Wagner, Alan

International Journal of Computer & Information Sciences, 1984-12, Vol.13 (6), p.461-490 [Periódico revisado por pares]

New York: Springer Nature B.V

Texto completo disponível

Citações Citado por
6
The complexity of distributed concurrency control
The complexity of distributed concurrency control
Material Type:
Artigo 		Adicionar ao Meu Espaço

The complexity of distributed concurrency control

KANELLAKIS, P. C ; PAPADIMITRIOU, C. H

SIAM journal on computing, 1985-02, Vol.14 (1), p.52-74 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
7
Unbounded speed variability in distributed communications systems
Unbounded speed variability in distributed communications systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Unbounded speed variability in distributed communications systems

REIF, J. H ; SPIRAKIS, P. G

SIAM journal on computing, 1985-02, Vol.14 (1), p.75-92 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
8
Permuting data with the omega network
Permuting data with the omega network
Material Type:
Artigo 		Adicionar ao Meu Espaço

Permuting data with the omega network

LENFANT, J ; TAHE, S

Acta informatica, 1985-03, Vol.21 (6), p.629-641 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
9
BPL: A set-based language for distributed system prototyping
BPL: A set-based language for distributed system prototyping
Material Type:
Artigo 		Adicionar ao Meu Espaço

BPL: A set-based language for distributed system prototyping

Hooper, James W.

International Journal of Computer & Information Sciences, 1985-04, Vol.14 (2), p.83-105 [Periódico revisado por pares]

New York: Springer Nature B.V

Texto completo disponível

Citações Citado por
10
On parallel searching
On parallel searching
Material Type:
Artigo 		Adicionar ao Meu Espaço

On parallel searching

SNIR, M

SIAM journal on computing, 1985-08, Vol.14 (3), p.688-708 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

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. Revistas revisadas por pares (926)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (934)
  2. magazinearticle  (119)
  3. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (51)
  2. 1988Até1993  (110)
  3. 1994Até1999  (257)
  4. 2000Até2006  (225)
  5. Após 2006  (411)
  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.