Ic - PDFSEARCH.IO - Document Search Engine

Ic
Results: 14218

#	Item
821	Automatic Veriﬁcation of Active Device Drivers Sidney Amani‡§ Peter Chubb‡§ Alastair F. Donaldson¶ Alexander Legg‡§ Keng Chai Ong‡ Leonid Ryzhyk‡§ Yanjin Zhu‡§ ‡NICTA §University of New South Wales Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-05-05 16:39:22
822	Manifold Gaussian Processes for Regression Roberto Calandra∗ , Jan Peters∗† , Carl Edward Rasmussen‡ and Marc Peter Deisenroth§ ∗ Intelligent Autonomous Systems Lab, Technische Universit¨at Darmstadt, Germany Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-05-03 16:51:06
823	Network Traffic Behaviour in Switched Ethernet Systems Tony Field, Uli Harder & Peter Harrison Department of Computing Imperial College of Science, Technology and Medicine Huxley Building, 180 Queen’s Gate, London SW7 Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2011-11-14 09:09:14
824	PASM 2004 Preliminary Version Calibration of a Queueing Model of RAID Systems Peter G. Harrison a,1 Soraya Zertal b,2 a Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2007-03-06 07:31:53
825	THE BAKERSFIELD CALIFORNIA STATE UNIVERSITY O F F IC E Add to Reading List Source URL: www.calstate.edu - Date: 2016-10-05 17:26:41
826	Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2012-08-31 08:16:46
827	HYDRA: HYpergraph-based Distributed Response-time Analyser Nicholas J. Dingle∗ Peter G. Harrison Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2007-03-24 10:25:21
828	2016 16th International Conference on Control, Automation and Systems (ICCASOct. 16–19, 2016 in HICO, Gyeongju, Korea Resource-Constrained Decentralized Active Sensing for Multi-Robot Systems using Distributed G Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-10-28 03:16:00
829	Portable Inter-workgroup Barrier Synchronisation for GPUs Tyler Sorensen Alastair F. Donaldson Mark Batty Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-08-30 08:50:21
830	RRABBIDS, un syst` eme de d´ etection d’intrusion pour les applications Ruby on Rails Romaric Ludinard, Lo¨ıc Le Hennaff, and Eric Totel SUPELEC, Rennes, France, first name.last Add to Reading List Source URL: people.rennes.inria.fr - Date: 2013-05-27 08:17:31

UPDATE