DCS - PDFSEARCH.IO - Document Search Engine

DCS
Results: 1966

#	Item
101	Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
102	TaskOfficial results on the Ranking Task (multiplication-factor of 0.001, ie. seconds): En-Es System Add to Reading List Source URL: www.quest.dcs.shef.ac.uk - Date: 2014-04-11 11:38:26
103	Deciding Extensions of the Theories of Vectors and Bags Patrick Maier Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
104	Implementing a High-level Distributed-Memory Parallel Haskell in Haskell Patrick Maier and Phil Trinder School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK {P.Maier,P.W.Trinder}@hw.ac.uk Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
105	REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:14
106	Inductive Reasoning for Shape Invariants Lilia Georgieva1 and Patrick Maier2 1 School of Math. and Comp. Sciences, Heriot-Watt University, Edinburgh http://www.macs.hw.ac.uk/~lilia/ Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2013-12-19 07:07:16
107	MIDeA: A Multi-Parallel Intrusion Detection Architecture Giorgos Vasiliadis Michalis Polychronakis Sotiris Ioannidis Add to Reading List Source URL: dcs.ics.forth.gr - Date: 2012-03-22 09:28:00
108	Servicio de Traducción al Español Manual del Traductor Nueva York - octubre 2012 Add to Reading List Source URL: dcs.unon.org - Date: 2015-04-15 14:14:27
109	SIGCHI Conference Paper Format Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2006-10-05 04:50:26
110	Crossmodal Congruence: The Look, Feel and Sound of Touchscreen Widgets Eve Hoggan1, Topi Kaaresoja2, Pauli Laitinen2 and Stephen Brewster1 Glasgow Interactive Systems Group Nokia Research Center Add to Reading List Source URL: www.dcs.gla.ac.uk - Date: 2008-08-18 11:55:37