INESC-ID - PDFSEARCH.IO - Document Search Engine

INESC-ID
Results: 423

#	Item
351	CleanDrive - An Educational Simulator for Safe and Environmental Driving João A. Madeiras Pereira INESC-ID/IST Add to Reading List Source URL: www.imtt.pt - Date: 2010-06-24 07:07:04
352	INESC-ID - Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa Rua Alves Redol, 9, 1000-‐029 Add to Reading List Source URL: www.cla.org.pt - Date: 2010-06-26 05:18:32
353	Cloud-TM Specific Targeted Research Project (STReP) Contract noD5.3: Initial Collaboration Plan Add to Reading List Source URL: www.gsd.inesc-id.pt - Date: 2010-12-20 14:35:45
354	CWdv01 CONFIGURABLE FSBM MOTION ESTIMATOR PROCESSOR February 20, 2003 · · Add to Reading List Source URL: www.inesc-id.pt - Date: 2006-03-17 05:13:04
355	Satisfiability: Algorithms, Applications and Extensions Add to Reading List Source URL: sat.inesc-id.pt - Date: 2010-03-16 18:51:44
356	Lecture 7: Transactional Memory Intro • Topics: introduction to transactional memory, “lazy” implementation 1 Add to Reading List Source URL: www.gsd.inesc-id.pt - Date: 2015-01-26 12:17:38
357	(Software) Transactional Memory Building Blocks Torvald Riegel Red Hat Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2015-01-23 13:45:05
358	Modern SAT Solving Inˆes Lynce IST/INESC-ID Technical University of Lisbon Portugal Add to Reading List Source URL: sat.inesc-id.pt Language: English - Date: 2010-03-04 14:37:15
359	Lecture 10: TM Implementations • Topics: wrap-up of eager implementation (LogTM), scalable lazy implementation 1 Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2015-01-26 12:17:38
360	Transactional Memory – Implementation Lecture 1 COS597C, Fall 2010 Princeton University Arun Raman Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2015-01-26 12:17:38

UPDATE