C--

Results: 504177



#Item
111Computing / Software engineering / Data types / Computer programming / Primitive types / Formal languages / Formal methods / ANSI/ISO C Specification Language / C / String / Frama-C / Permutation

Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

Add to Reading List

Source URL: julien.signoles.free.fr

Language: English - Date: 2017-09-15 19:04:15
112Computing / Data management / Data / Distributed computing / NoSQL / Structured storage / PACELC theorem / Riak / Eventual consistency / Apache Cassandra / Replication / Consistency model

C OV ER F E AT U RE Consistency Tradeoffs in Modern Distributed Database System

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2012-06-14 15:57:11
113C++ / Computer programming / Software engineering / Computing / Basic Linear Algebra Subprograms / Const / Typedef / C++ string handling / Exec / Math Kernel Library

7 Implementation of the C++ API for Batch BLAS Ahmad Abdelfattah Mark Gates

Add to Reading List

Source URL: www.icl.utk.edu

Language: English - Date: 2018-06-29 15:16:19
114Temporal logic / Linear temporal logic / Theoretical computer science / Symbol / Mathematical logic / Computation tree logic

Controller synthesis for MDPs and Frequency LTL\GU Vojtˇech Forejt1 , Jan Krˇc´al2 , and Jan Kˇret´ınsk´ y3 1

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2015-10-01 09:45:47
115Theoretical computer science / Logic in computer science / Mathematical analysis / Mathematics / Formal methods / Probability / Semantics / Approximate computing / Mathematical optimization / Pi / Operational semantics

H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2015-07-07 16:12:39
116Linguistics / Computational linguistics / Statistical natural language processing / Natural language processing / Corpus linguistics / Applied linguistics / Speech recognition / Topic model / Latent Dirichlet allocation / N-gram / Stemming / Text corpus

Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2017-07-19 14:45:03
117Data security / Data protection / Law / Privacy law / Information privacy / Privacy / Internet privacy / General Data Protection Regulation / HTTP cookie / Data Protection Officer / Personally identifiable information / Data Protection Act

Personal Data Protection Policy The Science & Technology Park of Crete (STEP-C) pays special attention to the protection of the visitors’ and users’ privacy and personal data. Please note that personal data means, un

Add to Reading List

Source URL: www.stepc.gr

Language: English - Date: 2018-06-26 04:36:52
118Brett Kavanaugh / Privacy / Law / Government / Privacy of telecommunications / Marc Rotenberg / NSA warrantless surveillance / Electronic Privacy Information Center / Supreme Court of the United States / Brett Kavanaugh Supreme Court nomination

September 12, 2018 Senator Chuck Grassley, Chairman Senator Dianne Feinstein, Ranking Member United States Senate Committee on the Judiciary 224 Dirksen Senate Office Building Washington, D.C

Add to Reading List

Source URL: www.epic.org

Language: English - Date: 2018-09-12 20:40:02
119Piqua /  Ohio / Precinct / Ohio / Massachusetts House of Representatives / Miami County /  Ohio

Form No. 120 Prescribed by Secretary of StateElection Notice for use With the Federal Write-In Absentee Ballot (FWAB) R.C

Add to Reading List

Source URL: miami.ohioboe.com

Language: English - Date: 2018-07-27 09:40:33
120Algebra / Geometry / Abstract algebra / Algebraic geometry / Algebraic varieties / Convex geometry / Divisor / Nef line bundle / Projective variety / Abelian variety / Convex cone / Ample line bundle

CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.).

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2010-07-14 05:23:13
UPDATE