Correctness - PDFSEARCH.IO - Document Search Engine

Correctness
Results: 732

#	Item
301	The CompCert C verified compiler Documentation and user’s manual Version 2.4 Xavier Leroy INRIA Paris-Rocquencourt September 17, 2014 Add to Reading List Source URL: compcert.inria.fr Language: English - Date: 2014-09-17 05:19:05 Compilers Functional languages Formal methods Logic in computer science Compcert Compiler correctness Compiler Xavier Leroy Coq Software Computing Compiler construction
302	Homework Two, for Fri[removed]CSE 101 When specifying an algorithm, please use pseudocode that is simple and unambiguous. Always justify the correctness and running time of the algorithm, unless these are obvious. Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2014-10-12 01:34:34 Integer factorization algorithms Euclidean algorithm Multiplication Computational complexity theory Algorithm Time complexity Multiplication algorithm Greatest common divisor Quadratic sieve Mathematics Computational number theory Theoretical computer science
303	Homework Three, for Fri[removed]CSE 101 When specifying an algorithm, please use pseudocode that is simple and unambiguous. Always justify the correctness and running time of the algorithm, unless these are obvious. Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2014-10-17 13:59:38 Applied mathematics Public-key cryptography Probabilistic complexity theory Electronic commerce RSA Finite fields Randomized algorithm Prime number Algorithm Cryptography Mathematics Primality tests
304	DOC Document Add to Reading List Source URL: musicfreedomday.org Language: English - Date: 2014-02-27 20:37:19 Zimbabwe Music radio Political geography Culture International relations Censorship Political correctness Self-censorship
305	Homework Four, for Fri[removed]CSE 101 When specifying an algorithm, please use pseudocode that is simple and unambiguous. Always justify the correctness and running time of the algorithm, unless these are obvious. Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2014-10-24 12:31:00 Computer science Theoretical computer science Analysis of algorithms Binary search algorithm Algorithm Time complexity Applied mathematics Mathematics Search algorithms
306	GUIDELINES FOR ACHIEVING BIAS-FREE COMMUNICATION Provided by: ADL’s Education Division, Add to Reading List Source URL: www.adl.org Language: English - Date: 2013-01-08 09:43:58 Politics Affirmative action Political correctness Tokenism Stereotype Ethnic group Anti-Defamation League Black people White people Race Sociology Identity politics
307	Diversity Matters Vivian Hunt Dennis Layton Sara Prince 24 November 2014 Add to Reading List Source URL: de.uefa.org Language: English - Date: 2015-04-09 21:49:35 Sociology Political correctness Management Diversity Herfindahl index Biodiversity McKinsey & Company Identity politics Affirmative action Multiculturalism
308	DIVERSITY POLICY TEMPLATE PLEASE NOTE: Below is a sample diversity policy. Firms wishing to establish a diversity policy are invited to use the ideas contained in this template and modify them to suit the individual cha Add to Reading List Source URL: www.matchworks.com.au Language: English - Date: 2014-10-03 03:09:46 Multiculturalism Business ethics Diversity Politics New Left Biodiversity Affirmative action Identity politics Political correctness
309	Vanderpool and Sidney Gumbs v. The Hon. Minister of Information and Broadcasting and The Attorney General for Anguilla (Anguilla[removed]UKPC 8 (14th February, 2001) ADVANCE COPY[removed]UKPC 8 Add to Reading List Source URL: www.comnet.org.mt Language: English - Date: 2012-07-30 08:17:09 British Overseas Territories Freedom of thought Political correctness Belonger status Freedom of speech Freedom of the press Anguilla Outline of Anguilla Freedom of speech by country Human rights Freedom of expression Censorship
310	Towards a Fully Verified File System Sidney Amani, Leonid Ryzhyk, Toby Murray Proving the functional correctness of a realistic file system implementation Motivation Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:43 Decomposition Software design Formal specification Technology Correctness Specification Verification Formal verification Formal methods Theoretical computer science Applied mathematics

UPDATE