Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Analytic Regularization of Uniform Cubic B-spline Deformation FieldsShackleford, James A. ; Yang, Qi ; Lourenço, Ana M. ; Shusharina, Nadya ; Kandasamy, Nagarajan ; Sharp, Gregory C. Delingette, Hervé ; Golland, Polina ; Ayache, Nicholas ; Mori, KensakuMedical Image Computing and Computer-Assisted Intervention – MICCAI 2012, p.122-129 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Framework Support for the Efficient Implementation of Multi-version AlgorithmsDias, Ricardo J. ; Vale, Tiago M. ; Lourenço, João M. Romano, Paolo ; Guerraoui, RachidTransactional Memory. Foundations, Algorithms, Tools, and Applications, p.166-191 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Accurate Measurement of Physicochemical Properties on Ionic Liquids and Molten SaltsNunes, 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 RMolten Salts and Ionic Liquids, 2010, p.229-263Hoboken, NJ, USA: John Wiley & Sons, IncTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Precise Detection of Atomicity ViolationsDias, Ricardo J. ; Pessanha, Vasco ; Lourenço, João M. Vos, Tanja ; Biere, Armin ; Nahir, AmirHardware and Software: Verification and Testing, p.8-23 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional MemoriesVale, 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 HeidelbergTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Efficient Support for In-Place Metadata in Transactional MemoryDias, 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 HeidelbergTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Handling Parallelism in a Concurrency ModelSchill, 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 HeidelbergTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Toxicological Evaluation of Ionic Liquids: Effect of Ionic Liquids on Human Colon Carcinoma HT-29 and CaCo-2 Cell LinesFrade, 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 SocietyTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Testing and DebuggingFarchi, Eitan ; Lourenço, João MMulticore Software Engineering, Performance, and Tools, 2013, Vol.8063Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Performance Analysis and AlgorithmsFarchi, Eitan ; Lourenço, João MMulticore Software Engineering, Performance, and Tools, 2013, Vol.8063Germany: Springer Berlin / HeidelbergTexto completo disponível |