Automatic - PDFSEARCH.IO - Document Search Engine

Automatic
Results: 19792

#	Item
691	JOB ANNOUNCEMENT Customer Service Technician The Coastside County Water District is recruiting for a Customer Service Technician at its Half Moon Bay office. The Customer Service Technician will work both in the field an Add to Reading List Source URL: www.coastsidewater.org Language: English - Date: 2016-07-21 14:56:25 Electric power distribution Engineering Public services Automatic meter reading Automation Water technology Customer service Electromagnetism Energy Electric power Mueller Systems
692	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
693	University of London Imperial College London of Science, Technology and Medicine Department of Computing Soft Real-time Garbage Collection for Dynamic Dispatch Languages Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-03-11 01:14:17 Software engineering Software Computing Memory management Subroutines Automatic memory management Garbage collection Jikes RVM Computing platforms Reference counting Garbage Write barrier
694	IEEE Tag-NOMSAn Automatic and On-demand MNO Selection Mechanism - Camera Ready.fm Add to Reading List Source URL: files.ifi.uzh.ch Language: English - Date: 2014-01-30 11:59:01 Technology Computing Mobile technology Software Smartphones Mobile operating systems Mno Mobile virtual network operator Mobile network operator Termination rates Android IOS
695	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Formal methods Edsger W. Dijkstra Predicate transformer semantics Complexity classes KeY IP NP PP Algorithm
696	Automatic Compilation of Domain Specific Languages to OpenCL using PENCIL U. Beaugnon A. Kravets Add to Reading List Source URL: carp.doc.ic.ac.uk Language: English - Date: 2014-01-20 09:48:39 Software engineering Computing Computer programming Cross-platform software Parallel computing Application programming interfaces GPGPU High-level programming languages OpenCL Domain-specific language D
697	Provenance-Enabled Automatic Data Publishing James Frew, Greg Jan´ee, and Peter Slaughter Earth Research Institute University of California, Santa Barbara {frew,gjanee,peter}@eri.ucsb.edu http://eri.ucsb.edu Add to Reading List Source URL: legacy.alexandria.ucsb.edu Language: English - Date: 2011-04-23 21:36:43 Academia Computing Information Records management Archival science Museology Collections care Data management Provenance IDL Assertion Data publishing
698	TaintScope: A Checksum-Aware Directed Fuzzing Tool for Automatic Software Vulnerability Detection Add to Reading List Source URL: oakland31.cs.virginia.edu Language: English - Date: 2010-05-20 11:30:55 Software Computing System software Archive formats Checksum Sum Transmission Control Protocol Tar MD5 Adler-32 Cksum Fuzz testing
699	Automatic Semantic-Role Annotation for Portuguese Eckhard Bick Institute of Language and Communication, University of Southern Denmark , Rugbjergvej 98, DK-8260 Viby J Abstract. The paper pr Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2008-02-05 00:24:54 Linguistics Syntax Grammar Semantics Computational linguistics Treebank Constraint Grammar Valency Dependency grammar Eckhard Bick Theta role Grammatical relation
700	SoundPoint IP 670 Quick User Guide Add to Reading List Source URL: help.simplesignal.com Language: English - Date: 2014-07-25 22:05:50 Telephony Headset Call forwarding Dial tone Telephone Conference call Automatic callback

UPDATE