CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
211	Leveraging Router Programmability for Traffic Matrix Computation ⇤ Giacomo Balestra‡ Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Internet architecture Network architecture Information and communications technology Routing Internet Standards Computer networking Border Gateway Protocol Router Control plane IP routing NetFlow
212	c Copyright 2012 Laura Effinger-Dean Interference-Free Regions and Their Application to Compiler Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-11 15:10:09 Computing Software engineering Computer programming Compiler construction Concurrency Software design patterns Computer memory Optimizing compiler Synchronization Memory model Parallel computing Thread
213	Deterministic Execution for Arbitrary Multithreaded Programs Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-03-11 15:09:43 Metaphysics Computer programming Computing Parallel computing Causality Determinism Philosophy of science Randomness Atom Thread Concurrency Pin
214	Design and Implementation of a Consolidated Middlebox Architecture Vyas Sekar∗ , Norbert Egi†† , Sylvia Ratnasamy† , Michael K. Reiter? , Guangyu Shi †† ∗ Intel Labs, † UC Berkeley, ? UNC Chapel Hill, † Add to Reading List Source URL: www3.cs.stonybrook.edu Language: English - Date: 2013-04-22 15:35:26 Computing Information and communications technology Computer network security Networking hardware Computer networking Data transmission Computer security Firewall software Middlebox Computer appliance Packet processing Computer network
215	Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-09-24 14:01:42 Economy Money Finance Mobile payments Payment systems ISO standards Mobile telecommunications Online payments Near-field communication EMV Apple Pay Payment terminal
216	PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet Add to Reading List Source URL: manticore.cs.uchicago.edu Language: English - Date: 2017-07-17 11:35:05 Software engineering Computer programming Compiler optimizations Computing Inline expansion Optimizing compiler Data-flow analysis Scope Standard ML Functional programming Directed acyclic graph Static single assignment form
217	DIMVA Dear Prospective Sponsor. Since 2004 and 2009 the annual international IT-Security conferences DIMVA (Detection of Intrusions and Malware & Vulnerability Assessment) and ESSOS (Engineering Secure Software and Syste Add to Reading List Source URL: itsec.cs.uni-bonn.de Language: English - Date: 2017-04-24 03:56:14 Sponsor Value-added tax TED Culture Terminology Human behavior
218	Do Portfolio Solvers Harm? Christoph Weidenbach Max Planck Insitute for Informatics Saarland Informatics CampusSaarbr¨ ucken, Germany Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-02 07:37:32 Theoretical computer science Logic in computer science Formal methods Automated reasoning Constraint programming Automated theorem proving Satisfiability modulo theories Solver Answer set programming Satz Model checking Algorithm selection
219	Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2018-10-18 11:22:35 Numerical analysis Mathematics Applied mathematics Computing Error analysis Interval arithmetic Round-off error Program optimization Infinite loop Algorithm
220	Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3 Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Mathematical logic Logic Automated theorem proving Logic in computer science Formal methods Logic programming Predicate logic Satisfiability modulo theories Unification Solver Resolution

UPDATE