G-DOC - PDFSEARCH.IO - Document Search Engine

G-DOC
Results: 2326

#	Item
281	Automatic Generation of Veriable Cache Coherence Simulation Models from High-level Specications A.J. Field, P.G. Harrison, K. Kanani fajf,pgh, Department of Computing Imperial College Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-14 07:17:02 Cache coherence Cache CPU cache Parallel computing Computing Cache coherency Computer hardware
282	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
283	Microsoft Word - M u s t e r v e r e i n b a r u n g.doc Add to Reading List Source URL: www.zim-bmwi.de - Date: 2015-05-18 03:52:36
284	Microsoft Word - history all.doc Add to Reading List Source URL: www1.va.gov Language: English - Date: 2008-02-11 11:17:33 United States Department of Veterans Affairs National Home for Disabled Volunteer Soldiers Veteran G.I. Bill Pension Bonus Army Agent Orange Disability Economy Act War United States Peace
285	Quantiles of sojourn times Peter G. Harrison William J. Knottenbelt Department of Computing, Imperial College London Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2007-06-24 09:16:04 Queueing model M/M/1 queue M/G/1 queue Markov chain Erlang Poisson process Queue area FIFO Queue Statistics Stochastic processes Queueing theory
286	Microsoft Word - mitteil_3_2009_g.doc Add to Reading List Source URL: www.iisb.fraunhofer.de Language: German - Date: 2015-06-09 10:00:23
287	Microsoft Word - Matsuuraプレスリリース_MX-850_130709E.doc Add to Reading List Source URL: www.matsuura.co.jp Language: English - Date: 2013-07-08 08:39:00 Computer-aided engineering Machining Tools Metalworking terminology Speeds and feeds G-code Machine tool Technology Woodworking Manufacturing
288	Microsoft Word - END_G+O_Final.doc Add to Reading List Source URL: www.nashvillempo.org Language: English - Date: 2010-09-20 17:23:14 Transportation planning Regional Transportation Plan Metropolitan planning organization
289	SPADES\|a pro ess algebra for dis rete event simulation Peter G. Harrison and Ben Strulo JLC 98-30e,2nd revisionApril 1999 Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-14 07:14:23
290	Microsoft Word - G Love Antalya IPCC speech.doc Add to Reading List Source URL: ipcc.ch Language: English - Date: 2009-05-24 16:25:14 Climatology IPCC Third Assessment Report IPCC Fourth Assessment Report IPCC Second Assessment Report World Climate Conference IPCC Fifth Assessment Report Criticism of the IPCC Fourth Assessment Report Climate change Intergovernmental Panel on Climate Change Environment

UPDATE