skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: Após 2007 remover tipo de recurso: Book Chapters remover 2009Até2017 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Analytic Regularization of Uniform Cubic B-spline Deformation Fields
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Analytic Regularization of Uniform Cubic B-spline Deformation Fields

Shackleford, James A. ; Yang, Qi ; Lourenço, Ana M. ; Shusharina, Nadya ; Kandasamy, Nagarajan ; Sharp, Gregory C. Delingette, Hervé ; Golland, Polina ; Ayache, Nicholas ; Mori, Kensaku

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012, p.122-129 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

2
Framework Support for the Efficient Implementation of Multi-version Algorithms
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Framework Support for the Efficient Implementation of Multi-version Algorithms

Dias, Ricardo J. ; Vale, Tiago M. ; Lourenço, João M. Romano, Paolo ; Guerraoui, Rachid

Transactional Memory. Foundations, Algorithms, Tools, and Applications, p.166-191 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

3
Accurate Measurement of Physicochemical Properties on Ionic Liquids and Molten Salts
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Accurate Measurement of Physicochemical Properties on Ionic Liquids and Molten Salts

Nunes, V. M. B ; Lourenço, M. J. V ; Santos, F. J. V ; Lopes, M. L. S. M ; Nieto de Castro, C. A Gaune‐Escard, Marcelle ; Seddon, Kenneth R

Molten Salts and Ionic Liquids, 2010, p.229-263

Hoboken, NJ, USA: John Wiley & Sons, Inc

Texto completo disponível

4
Precise Detection of Atomicity Violations
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Precise Detection of Atomicity Violations

Dias, Ricardo J. ; Pessanha, Vasco ; Lourenço, João M. Vos, Tanja ; Biere, Armin ; Nahir, Amir

Hardware and Software: Verification and Testing, p.8-23 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories

Vale, Tiago M. ; Dias, Ricardo J. ; Lourenço, João M. Farchi, Eitan ; Lourenço, João M.

Multicore Software Engineering, Performance, and Tools, p.49-60 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
Efficient Support for In-Place Metadata in Transactional Memory
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Efficient Support for In-Place Metadata in Transactional Memory

Dias, Ricardo J. ; Vale, Tiago M. ; Lourenço, João M. Papatheodorou, Theodore ; Kaklamanis, Christos ; Spirakis, Paul G.

Euro-Par 2012 Parallel Processing, p.589-600 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

7
Handling Parallelism in a Concurrency Model
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Handling Parallelism in a Concurrency Model

Schill, Mischael ; Nanz, Sebastian ; Meyer, Bertrand Farchi, Eitan ; Lourenço, João M.

Multicore Software Engineering, Performance, and Tools, p.37-48 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Toxicological Evaluation of Ionic Liquids: Effect of Ionic Liquids on Human Colon Carcinoma HT-29 and CaCo-2 Cell Lines
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Toxicological Evaluation of Ionic Liquids: Effect of Ionic Liquids on Human Colon Carcinoma HT-29 and CaCo-2 Cell Lines

Frade, Raquel F. M. ; Matias, Ana ; Branco, Luis C. ; Lourenço, Nuno M. T. ; Rosa, João N. ; Afonso, Carlos A. M. ; Duarte, Catarina M. M.

Ionic liquid applications : pharmaceuticals, therapeutics, and biotechnology, 2010 [Periódico revisado por pares]

Washington, DC: American Chemical Society

Texto completo disponível

9
Testing and Debugging
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Testing and Debugging

Farchi, Eitan ; Lourenço, João M

Multicore Software Engineering, Performance, and Tools, 2013, Vol.8063

Germany: Springer Berlin / Heidelberg

Texto completo disponível

10
Performance Analysis and Algorithms
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Performance Analysis and Algorithms

Farchi, Eitan ; Lourenço, João M

Multicore Software Engineering, Performance, and Tools, 2013, Vol.8063

Germany: Springer Berlin / Heidelberg

Texto completo disponível

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 (15)

Data de Publicação 

De até
  1. Antes de2010  (1)
  2. 2010Até2010  (4)
  3. 2011Até2011  (2)
  4. 2012Até2013  (20)
  5. Após 2013  (18)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (40)
  2. Japonês  (2)
  3. Francês  (1)
  4. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.