CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
311	Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS) Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:41 Server hardware Computer architecture Computing Itanium Blade server IBM System p
312	Cultural Shift or Linguistic Drift? Comparing Two Computational Measures of Semantic Change arXiv:1606.02821v2 [cs.CL] 24 SepWilliam L. Hamilton, Jure Leskovec, Dan Jurafsky Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-09-26 23:28:47 Linguistics Semantics Historical linguistics Computational linguistics Sociolinguistics Natural language processing Grammaticalization Semantic change Semantic similarity Distributional semantics Language change Subjectification
313	Beyond DRAT: Challenges in Certifying UNSAT1 Bertram Felgenhauer University of Innsbruck ARCADE Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:34 Computational complexity theory Conflict-driven clause learning Drat Exponential time hypothesis Felgenhauer NP-complete problems
314	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-05 03:12:13 Computer programming Software engineering Computing Lisp ACL2 Functional languages J Strother Moore Formal methods Automated theorem proving Common Lisp ACL Advanced Micro Devices
315	arXiv:1802.08182v2 [cs.HC] 16 OctUser Perceptions of Smart Home IoT Privacy SERENA ZHENG, Princeton University, USA NOAH APTHORPE, Princeton University, USA MARSHINI CHETTY, Princeton University, USA Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-16 22:25:52 Computing Internet of things Ambient intelligence Technology Terms of service Information and communications technology Privacy Internet privacy SMART home technology Big data Home automation LoRa
316	Finding Code That Explodes under Symbolic Evaluation Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-10-01 14:31:42 Computer programming Computing Software engineering Functional languages Profiling Software optimization Satisfiability modulo theories Symbolic execution Recursion Pure Lis Functional programming
317	An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-09-22 17:48:28
318	M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:13:50 Mathematical logic Logic Theoretical computer science Logic in computer science Runtime verification FO Quantifier
319	Curriculum Vitae L´ aszl´ o Lov´ asz Born: March 9, 1948 in Budapest, Hungary Add to Reading List Source URL: web.cs.elte.hu Language: English - Date: 2012-09-05 08:40:47 Mathematics Fellows of the Econometric Society Austrian nobility Hungarian nobility John von Neumann Lszl Lovsz Andrs Prkopa
320	What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-08-10 12:10:31 Computing Open formats Markup languages Formal methods Debugging Logic in computer science Runtime verification Tracing Comma-separated values Exception handling Database Data logger

UPDATE