Ed - PDFSEARCH.IO - Document Search Engine

Ed
Results: 85118

#	Item
41	© The AuthorPublished by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: Advance Access published on May Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2006-03-03 11:39:52 Statistical randomness Queueing theory Mathematics Markov models Probability theory Process calculi PEPA Markov processes Markov chain Product-form solution Balance equation Jane Hillston
42	A preliminary version of this paper appears in Advances in Cryptology – CRYPTO ’06, Lecture Notes in Computer Science Vol. 4117 , C. Dwork ed., Springer-Verlag, 2006. This is the full version. New Proofs for NMAC and Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2006-08-14 17:10:52 Cryptography Hashing Pseudorandomness HMAC Pseudorandom function family Cryptographic hash function Hash function Oracle machine Block cipher
43	Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 11:35:12 Automated theorem proving Heuristics Rippling Mathematical induction Cognition
44	Unleashing dynamic task scheduling at rack-scale Magnus Norgren, Andra Hugo (DDN Storage), Stefanos Kaxiras, Konstan9nos Sagonas Add to Reading List Source URL: workshops.inf.ed.ac.uk Language: English - Date: 2018-04-03 09:33:36 Computing Computer memory Parallel computing Computer architecture Dynamic random-access memory Latency OpenMP Random-access memory
45	Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2006-08-30 07:27:10 Business Economy Queueing theory Management Graph theory Markov chain Service level Service-level agreement Airbag Statistical hypothesis testing Sensitivity analysis PEPA
46	Microsoft Word - ED 1 Directing The Virginia Racing Commission Regarding Regulations Related To Historic Horse Racing Pursuant Add to Reading List Source URL: www.governor.virginia.gov Language: English - Date: 2018-06-21 10:27:10 Livestock Horse racing Cuisine Food and drink Constitution of Virginia Virginia Horse meat Thoroughbred Instant Racing
47	Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:16:32 Abstract data types Queue Double-ended queue Dequeue Statistical theory Probability and statistics Economy
48	Ed Ballard \| Baritone Born in London, Ed read History at Cambridge University before training at the Royal Academy of Music and with Royal Academy Opera. Winner of the Marjorie Thomas Art Song Prize and the Elena Gerha Add to Reading List Source URL: www.edballard.co.uk Language: English - Date: 2018-05-10 10:19:32 Operas Cendrillon Vocal music
49	Microsoft Word - ED 15 Declaration Of A State Of Emergency In Preparation For The Anniversary Of Charlottesville.docx Add to Reading List Source URL: www.governor.virginia.gov Language: English - Date: 2018-08-08 12:09:40 Emergency management Risk management Prevention Virginia Defense Force State of emergency Emergency Governor of Oklahoma United States National Guard Oklahoma Emergency Management Act
50	Resource disaggregation for the 99% Irina Calciu, Aasheesh Kolli, Jayneel Gandhi, Stanko Novakovic, Marcos K. Aguilera, Rajesh Venkatasubramanian, Pratap Subrahmanyam Add to Reading List Source URL: workshops.inf.ed.ac.uk Language: English - Date: 2018-04-02 13:45:56 Computing Central processing unit Pool System resource Thread