INESC-ID - PDFSEARCH.IO - Document Search Engine

INESC-ID
Results: 423

#	Item
401	2009 ANNUAL REPORT 2009 Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2010-12-17 10:48:36 Instituto Superior Técnico Taguspark Framework Programmes for Research and Technological Development Technology European Union ADETTI Engineering INESC Porto Science and technology in Europe
402	2008 ANNUAL REPORT 2008 ANNUAL Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2009-11-10 11:12:06 Engineering INESC Porto
403	Inesc-ID_Relatorio2007.indd Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2008-10-21 07:39:25 Technical University of Lisbon Massachusetts Institute of Technology Instituto Superior Técnico Academia Higher education ADETTI Engineering INESC Porto Technology
404	Microsoft Word[removed]Annual Report.doc Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2006-07-01 10:40:02 Technology Engineering INESC Porto José Tribolet
405	HQ Replication: Properties and Optimizations James Cowling1 , Daniel Myers1 , Barbara Liskov1 , Rodrigo Rodrigues2 , and Liuba Shrira3 1 MIT CSAIL, 2 INESC-ID and Instituto Superior T´ecnico, 3 Brandeis University {cowl Add to Reading List Source URL: pmg.csail.mit.edu Language: English - Date: 2007-10-23 18:19:54 State machine replication Byzantine fault tolerance Replication Transmission Control Protocol Representational state transfer Proxy server Computing Data synchronization Fault-tolerant computer systems
406	HQ Replication: Properties and Optimizations James Cowling1 , Daniel Myers1 , Barbara Liskov1 , Rodrigo Rodrigues2 , and Liuba Shrira3 1 MIT CSAIL, 2 INESC-ID and Instituto Superior T´ecnico, 3 Brandeis University {cowl Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-02-12 18:12:10 State machine replication Byzantine fault tolerance Replication Transmission Control Protocol Representational state transfer Proxy server Computing Data synchronization Fault-tolerant computer systems
407	HQ Replication: Properties and Optimizations James Cowling1 , Daniel Myers1 , Barbara Liskov1 , Rodrigo Rodrigues2 , and Liuba Shrira3 1 MIT CSAIL, 2 INESC-ID and Instituto Superior T´ecnico, 3 Brandeis University {cowl Add to Reading List Source URL: www.pmg.csail.mit.edu Language: English - Date: 2007-10-23 18:19:54 State machine replication Byzantine fault tolerance Replication Transmission Control Protocol Representational state transfer Proxy server Computing Data synchronization Fault-tolerant computer systems
408	Sparsity in Dependency Grammar Induction Jennifer Gillenwater and Kuzman Ganchev João Graça University of Pennsylvania L2 F INESC-ID Philadelphia, PA, USA Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-07-05 10:42:37 Machine learning Estimation theory Expectation–maximization algorithm Missing data Dirichlet process Independence Dependency grammar Treebank Regularization Statistics Probability theory Statistical dependence
409	Modeling Digital Preservation Capabilities in Enterprise Architecture Christoph Becker, Gonçalo Antunes, José Barateiro, Ricardo Vieira, José Borbinha INESC-ID Information Systems Group, Lisbon, Portugal becker@ifs.t Add to Reading List Source URL: www.ifs.tuwien.ac.at Language: English - Date: 2011-06-15 11:39:38 Archival science Digital libraries Systems engineering Methodology The Open Group Architecture Framework Zachman Framework Department of Defense Architecture Framework Business architecture System Architect Information technology management Enterprise architecture Science
410	Report on the 1st Euro-TM School on Transactional Memory 6th School on Hot Topics in Distributed Computing (HTDC) Maria Couceiro and Paolo Romano 17 March - 22 March 2013 Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2013-05-16 14:35:52 Software Data management Computer memory Transactional memory Software transactional memory Institut Eurécom Parallel computing Oracle Database Oracle Corporation Computing Concurrency control Transaction processing

UPDATE