skip to main content
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Springer Nature - Springer Journals All 2022 remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Derivation of efficient parallel programs: An example from genetic sequence analysis
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Derivation of efficient parallel programs: An example from genetic sequence analysis

Singh, A K ; Overbeek, R

United States 1990

Texto completo disponível

2
Forbidden-set distance labels for graphs of bounded doubling dimension
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Forbidden-set distance labels for graphs of bounded doubling dimension

Abraham, Ittai ; Chechik, Shiri ; Gavoille, Cyril ; Peleg, David

Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing, 2010, p.192-200 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

3
Projecting CLP(R) constraints
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Projecting CLP(R) constraints

JAFFAR, J ; MAHER, M. J ; STUCKEY, P. J ; YAP, R. H. C

New generation computing, 1993, Vol.11 (3-4), p.449-469 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

4
Spatial cognition of Samba and Charleston
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Spatial cognition of Samba and Charleston

Leman, Marc ; Naveda, Luiz Alberto

SPRINGER HEIDELBERG 2009

Sem texto completo

5
Special Issue on Real Time Networks and Systems: Proceedings of 24th International Conference on Real-Time Networks and Systems (RTNS 2016), held at Université de Bretagne Occidentale (November 2016, in Brest, France)
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Special Issue on Real Time Networks and Systems: Proceedings of 24th International Conference on Real-Time Networks and Systems (RTNS 2016), held at Université de Bretagne Occidentale (November 2016, in Brest, France)

Faucou, Sébastien ; Pinho, Luís Miguel

Real-Time Systems, 2018, Vol.54 (4) [Periódico revisado por pares]

Springer Verlag

Texto completo disponível

6
Using accurate arithmetics to improve numerical reproducibility and stability in parallel applications
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Using accurate arithmetics to improve numerical reproducibility and stability in parallel applications

He, Yun ; Ding, Chris H. Q.

International Conference on Supercomputing: Proceedings of the 14th international conference on Supercomputing; 08-11 May 2000, 2000, Vol.18 (3), p.225-234 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (5)

Buscando em bases de dados remotas. Favor aguardar.