Correctness - PDFSEARCH.IO - Document Search Engine

Correctness
Results: 732

#	Item
401	Toward Integration Convenience Over Correctness Steve Vinoski • Verivue S Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2008-07-01 09:43:41 Inter-process communication Middleware Internet protocols CORBA Open Network Computing Remote Procedure Call Interface description language XML-RPC Common Object Request Broker Architecture Enterprise JavaBeans Computing Concurrent computing Remote procedure call
402	The Correctness of the AKS Primality Test in Coq∗ Fl´avio L. C. de Moura1 , Ricardo Tadeu1 1 Departamento de Ciˆencia da Computac¸a˜ o – Universidade de Bras´ılia (UnB) Caixa Postal 4466 – CEP[removed] – B Add to Reading List Source URL: www.cic.unb.br Language: English - Date: 2008-08-12 14:42:17 Primality tests Finite fields Integer sequences Modular arithmetic AKS primality test Prime number XTR Coprime Primality certificate Mathematics Abstract algebra Number theory
403	http://www.splc.org/newsflash.asp?id=1046&year= Add to Reading List Source URL: d28htnjz2elwuj.cloudfront.net Language: English - Date: 2014-02-21 11:06:21 Student Press Law Center Seminole State College of Florida Greg Lukianoff Foundation for Individual Rights in Education Free speech zone Speech code Activism United States Political correctness Freedom of expression Human rights
404	Proofs of Correctness in Mathematics and Industry Henk Barendregt Radboud University Nijmegen, The Netherlands July 11, 2007 Add to Reading List Source URL: ftp.cs.kun.nl Language: English - Date: 2008-10-02 17:25:47 Proof theory Logical syntax Formal systems Mathematical proofs Mathematical induction First-order logic Theorem Axiom Formal proof Logic Mathematics Mathematical logic
405	A Proposal to Improve const_iterator Use from C++0X Containers Document #: Date: Revises: Project: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2004-09-01 02:35:00 Software engineering C++11 Sequence container Associative containers Iterator Const-correctness Typedef Unordered associative containers Decltype Computing Computer programming C++
406	Recruiting a Diverse Faculty Diversity is an Opportunity Not a Challenge Add to Reading List Source URL: uaa.alaska.edu Language: English - Date: 2011-04-20 13:47:31 Sociology Political correctness Multiculturalism Diversity Biodiversity University of Alaska Anchorage Identity politics Affirmative action Politics
407	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-04 22:46:44 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
408	This Victorian Playground Part 1: Policing a victim culture in Britain Police: the inside story PC Michael Pinkstone, author of This Victorian Playground, gives a no-holds-barred account of front-line policing – he hi Add to Reading List Source URL: www.theftprotect.co.uk Language: English - Date: 2010-02-24 02:47:18 Law enforcement Law Police Surveillance Political correctness National security Security Crime prevention
409	“If – in a democratic society – the ambition is to give all residents equal opportunities to take part in cultural life, then it involves new ways of thinking about the repertoire, Add to Reading List Source URL: kunstoginterkultur.dk Language: English - Date: 2011-02-02 02:44:07 Politics Multiculturalism Human communication Diversity Political correctness Cultural diversity Cross-cultural communication Cultural studies Affirmative action Identity politics
410	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2007-02-12 21:22:45 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing

UPDATE