University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
21	A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata
22	EMORY UNIVERSITY STAFF/FACULTY PREPAREDNESS OFFICE OF CRITICAL EVENT PREPAREDNESS & RESPONSE Add to Reading List Source URL: emergency.emory.edu Language: English - Date: 2018-10-08 17:06:23 Druid Hills Georgia Information and communications technology Technology Emory University V-12 Navy College Training Program Communication Emergency 9-1-1 Mobile phone 111
23	The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University Add to Reading List Source URL: thev.net Language: English - Date: 2011-02-09 02:39:42 Software engineering Computing Programming paradigms Evaluation strategy Functional programming Computer programming Concurrent programming languages Functional reactive programming Reactive programming Computer architecture Dataflow programming Dataflow
24	Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-04 05:12:57 Computing Computer graphics 3D rendering Video game development Computer programming Graphics hardware Graphics libraries Texture atlas Graphics processing unit Texture mapping Optimizing compiler Rendering
25	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Computing Software engineering Computer programming Carnegie Mellon University Carnegie Mellon Silicon Valley Abstract interpretation Mellon Scala Refinement
26	Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University Add to Reading List Source URL: tlt2017.di.unito.it Language: English - Date: 2017-10-04 12:33:27 Theoretical computer science Logic in computer science Programming language semantics Operational semantics Semantics International Colloquium on Automata Languages and Programming Nominal Process calculi
27	Structural Normalisation Methods for Improving Best Answer Identification in Question Answering Communities Grégoire Burel, Paul Mulholland and Harith Alani Knowledge Media Institute, Open University, UK {g.burel, p.mu Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:49:36 Information science Yahoo! Answers Information retrieval Question answering Answer Internet forum Questions and answers Artificial intelligence
28	Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2016-08-24 14:55:21 Cryptography Artificial intelligence Human-based computation Computing Cryptocurrencies CAPTCHA Computer security Computer vision Proof-of-work system Hashcash Challengeresponse authentication Zero-knowledge proof
29	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Add to Reading List Source URL: parallel.princeton.edu Language: English - Date: 2017-02-16 15:26:30 Computer architecture System software Chroot Mount Linux kernel Procfs Vmlinux Booting SILO Chrome OS
30	Incentive Compatibility of Bitcoin Mining Pool Reward Functions Okke Schrijvers, Joseph Bonneau, Dan Boneh, and Tim Roughgarden Stanford University Abstract. In this paper we introduce a game-theoretic model for reward Add to Reading List Source URL: www.ifca.ai Language: English - Date: 2016-02-08 20:23:36 Cryptocurrencies Bitcoin Neuroscience Alternative currencies Economy Mining pool Money Reward system