skip to main content
Refinado por: Base de dados/Biblioteca: SpringerLINK Lecture Notes in Computer Science (2015) remover tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Digital Tools for Heritage Preservation and Enhancement: The Integration of Processes and Technologies on 20th Century Buildings in Brazil and India
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Digital Tools for Heritage Preservation and Enhancement: The Integration of Processes and Technologies on 20th Century Buildings in Brazil and India

Rossato, Luca

Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, p.567-578 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

2
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Joshi, Saurabh ; Kroening, Daniel

FM 2015: Formal Methods, p.291-307 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

3
GPU-Accelerated Database Systems: Survey and Open Challenges
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

GPU-Accelerated Database Systems: Survey and Open Challenges

Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Catania, Barbara ; Guerrini, Giovanna ; Palpanas, Themis ; Pokorný, Jaroslav ; Vakali, Athena

Transactions on Large-Scale Data- and Knowledge-Centered Systems XV, 2014, Vol.8920, p.1-35 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

4
A Quasi-polynomial Time Approximation Scheme for Euclidean CVRPTW
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A Quasi-polynomial Time Approximation Scheme for Euclidean CVRPTW

Song, Liang ; Huang, Hejiao ; Du, Hongwei

Combinatorial Optimization and Applications, p.66-73 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

5
Using Blue Gene/P and GPUs to Accelerate Computations in the EULAG Model
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Using Blue Gene/P and GPUs to Accelerate Computations in the EULAG Model

Wyrzykowski, Roman ; Rojek, Krzysztof ; Szustak, Łukasz

Large-Scale Scientific Computing, p.670-677 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.