INESC-ID - PDFSEARCH.IO - Document Search Engine

INESC-ID
Results: 423

#	Item
231	Investigating the performance of hardware transactions on a multi-socket machine Trevor Brown ∗ Alex Kogan, Yossi Lev, Victor Luchangco Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English
232	Implicit Acceleration of Critical Sections via Unsuccessful Speculation ∗ Joseph Izraelevitz Alex Kogan Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2016-03-02 16:13:16
233	00 D EP S KY: Dependable and Secure Storage in a Cloud-of-Clouds Alysson Bessani, University of Lisbon, Faculty of Sciences Miguel Correia, Instituto Superior T´ecnico / INESC-ID Bruno Quaresma, University of Lisbon, Fa Add to Reading List Source URL: www.di.fc.ul.pt Language: English - Date: 2013-04-24 03:55:42 Cloud storage Network file systems Data management Object storage Cloud computing Computer data storage Data Amazon S3 Nirvanix XAM Clustered file system Data defined storage
234	Weakest Precondition Synthesis for Compiler Optimizations Nuno P. Lopes and Jos´e Monteiro INESC-ID, IST Universidade de Lisboa Abstract. Compiler optimizations play an increasingly important role Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2013-11-29 09:30:12 Software Computing Compiler construction Programming language implementation Compiler optimizations Formal methods Edsger W. Dijkstra Predicate transformer semantics Optimizing compiler Static single assignment form Compiler Psyco
235	Tue.SS4.05 Automatic Word Naming Recognition for Treatment and Assessment of Aphasia Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2012-09-15 18:57:16
236	Towards a General and Extensible Phrase-Extraction Algorithm Wang Ling, Tiago Lu´ıs, Jo˜ao Grac¸a, Lu´ısa Coheur and Isabel Trancoso L2 F Spoken Systems Lab INESC-ID Lisboa {wang.ling,tiago.luis,joao.graca,luisa.co Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2010-11-07 16:25:38
237	Wiki-ly Supervised Part-of-Speech Tagging Shen Li Jo˜ao V. Grac¸a Ben Taskar 2 Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2013-01-11 14:29:34
238	Da Escrita à Fala - Da Fala à Escrita Isabel Trancoso, Luís Oliveira, João Neto INESC M. Céu Viana CLUL Add to Reading List Source URL: www.inesc-id.pt Language: Portuguese - Date: 2006-07-03 12:26:59
239	Microsoft Word - WOCCI_2014_Children_Speech_CameraReady_v2 Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2014-09-30 05:48:21
240	Reordering Modeling using Weighted Alignment Matrices Wang Ling, Tiago Lu´ıs, Jo˜ao Grac¸a, Lu´ısa Coheur and Isabel Trancoso L2 F Spoken Systems Lab INESC-ID Lisboa {wang.ling,tiago.luis,joao.graca}@inesc-id.pt {l Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2011-07-26 12:56:59

UPDATE