California - PDFSEARCH.IO - Document Search Engine

California
Results: 330139

#	Item
21	SUPERIOR COURT OF CALIFORNIA COUNTY OF SANTA CRUZ Add to Reading List Source URL: www.votescount.com Language: English - Date: 2018-09-18 13:00:26 Confidentiality Secrecy Source California superior courts Voter registration Applied ethics Ethics Human behavior
22	Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:31:43 Software testing Software engineering Computing Quality Fault injection Software verification Reliability engineering Formal verification Flash memory Software quality Stress testing Exception handling
23	CenterServ 99 South Almaden Blvd. Suite 600, San Jose, California 95113, USA www.centerserv.com Add to Reading List Source URL: www.centerserv.com Language: English - Date: 2017-02-08 21:02:24 Cloud computing Computing Cloud infrastructure IT infrastructure HP Cloud SAP Converged Cloud
24	Peace Deals as Counterinsurgency∗ Caroline Brandt† University of California, Berkeley September 28, 2018 Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2018-10-21 14:37:09 War Military doctrines Military Proxy wars Communism in Colombia Military history of the Philippines International law Peace treaty Insurgency Counter-insurgency Revolutionary Armed Forces of Colombia Civil war
25	SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2013-03-11 01:57:58 Computing Software bugs Software engineering Data types Computer memory Primitive types C standard library Memory safety Stack buffer overflow Pointer Dangling pointer Buffer overflow
26	COUNTY OF SAN BENITO STATE OF CALIFORNIA COMPREHENSIVE ANNUAL FINANCIAL REPORT For The Fiscal Year Ended June 30, 2016 Add to Reading List Source URL: sbcvote.us Language: English - Date: 2017-05-02 17:33:28 Accounting Economy Business Auditing Government Accountability Office Political corruption United States Generally Accepted Accounting Principles Financial statements Auditor's report Comprehensive annual financial report Audit Financial audit
27	Towards Evaluating the Robustness of Neural Networks Nicholas Carlini David Wagner University of California, Berkeley A BSTRACT Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:02:30 Artificial neural networks Applied mathematics Cybernetics Mathematics Deep learning CIFAR-10 MNIST database Rectifier Softmax function Feedforward neural network Gradient descent Activation function
28	Swarm Verification 1 Gerard J. Holzmann, Rajeev Joshi, Alex Groce Jet Propulsion Laboratory, California Institute of Technology Abstract Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:29:11 Model checkers Theoretical computer science Formal methods Software engineering Logic in computer science Model checking Search algorithms Formal verification SPIN model checker Verification Swarm behaviour Promela
29	Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Computer programming Inter-process communication UML state machine Message queue Message passing Event loop Futures and promises Monitor Scala High-Speed SECS Message Services
30	COUNTY OF SAN BENITO CALIFORNIA Including County Service Areas ADOPTED BUDGET FOR Add to Reading List Source URL: sbcvote.us Language: English - Date: 2017-05-02 17:32:46