Ic - PDFSEARCH.IO - Document Search Engine

Ic
Results: 14218

#	Item
671	Globally Governed Session Semantics Dimitrios Kouzapas and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new bisimulation theory based on multiparty session types where a choreography specificati Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2013-04-16 10:29:34
672	An Approximate Compositional Approach to the Analysis of Fluid Queue Networks A.J. Field P.G. Harrison Department of Computing Imperial College London Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2009-11-24 20:12:16
673	Passage Time Distributions in Large Markov Chains Peter G. Harrison and William J. Knottenbelt Department of Computing Imperial College of Science, Technology and Medicine 180 Queen’s Gate, London SW7 2BZ, United Kingd Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2011-11-14 09:09:48
674	Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005 Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2005-03-06 09:02:36
675	CSTD-VSB-S19212xxxAV5T2U-TO2525SA-001-Rev 信頼性試験結果製品名：S-19212xxxA-V5T2U 搭載パッケージ：TO-252-5S(A) 試験名 Add to Reading List Source URL: datasheet.sii-ic.com - Date: 2016-09-14 03:32:33
676	Targeted Program Transformations for Symbolic Execution Cristian Cadar Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-12-06 14:12:25
677	6.5±± Add to Reading List Source URL: datasheet.sii-ic.com - Date: 2016-01-05 03:21:52
678	Overhauling SC Atomics in C11 and OpenCL Mark Batty Alastair F. Donaldson John Wickerson Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-01-21 05:13:01
679	A tandem network of fluid queues with on-off arrivals P.G. Harrison∗ P.M. Lonsdale† Add to Reading List Source URL: pubs.doc.ic.ac.uk - Date: 2011-11-28 12:09:24
680	A Simple Abstraction for Complex Concurrent Indexes Extended Version Pedro da Rocha Pinto Thomas Dinsdale-Young Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2011-10-31 11:46:41

UPDATE