Facebook (A)Live? Are Live Social Broadcasts Really Broadcasts? Aravindh Raman Gareth Tyson Nishanth Sastry

Source URL: www.eecs.qmul.ac.uk

How to Use BigDataBench 4.0 Jianfeng Zhan, Chen Zheng, and Wanling Gao http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA

Source URL: prof.ict.ac.cn

• Computing
• Free software
• Data
• Hadoop
• Apache Software Foundation
• Cloud infrastructure
• Apache Hadoop
• Apache Spark
• Apache HBase
• Big data

Trinity College Fundraising Policy Trinity is a registered charity, charity number, which seeks to raise funds for annual expenditure, the endowment and capital projects. This document is not legally binding, but

Source URL: www.trinity.ox.ac.uk

• Philanthropy
• Fundraising
• Economy
• Telethon
• Donation
• Gift Aid

Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe

Source URL: www.cs.man.ac.uk

• Mathematics
• Algebra
• Theoretical computer science
• Finite automata
• Linear algebra
• Finite-state transducer
• Dynamic programming
• Edit distance
• Trace
• Finite-state machine
• Shortest path problem
• Levenshtein distance

Leveraging Router Programmability for Traffic Matrix Computation ⇤ Giacomo Balestra‡

Source URL: www0.cs.ucl.ac.uk

• Computing
• Internet architecture
• Network architecture
• Information and communications technology
• Routing
• Internet Standards
• Computer networking
• Border Gateway Protocol
• Router
• Control plane
• IP routing
• NetFlow

THE OS SCHEDULER: A PERFORMANCE-CRITICAL COMPONENT IN LINUX CLUSTER ENVIRONMENTS KEYNOTE FOR BPOE-9 @ ASPLOS2018 THE NINTH WORKSHOP ON BIG DATA BENCHMARKS,

Source URL: prof.ict.ac.cn

• Concurrent computing
• System software
• Computing
• Scheduling
• Free software
• Parallel computing
• Planning
• Completely Fair Scheduler
• Thread
• Windows Task Scheduler
• Multi-core processor
• Apache Hadoop

PERMISSIVE CONTROLLER SYNTHESIS FOR PROBABILISTIC SYSTEMS ¨ ˇ KLAUS DRAGER, VOJTECH

Source URL: qav.comlab.ox.ac.uk

• Linear temporal logic
• Temporal logic
• Dynamical system
• Theoretical philosophy
• Reality

Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations ? ˇ ska1,2 , and Marta Kwiatkowska1 Alessandro Abate1 , Milan Ceˇ 2

Source URL: qav.comlab.ox.ac.uk

• Dynamic programming
• Equations
• Stochastic control
• Systems theory
• Control theory
• Systems science
• Markov processes
• Mathematics
• Markov decision process
• Mathematical optimization
• Bellman equation
• Reinforcement learning

Language Equivalence of Probabilistic Pushdown Automata Vojtˇech Forejta , Petr Janˇcarb , Stefan Kiefera , James Worrella a Department b Dept

Source URL: qav.comlab.ox.ac.uk

• Formal languages
• IP
• Mathematics
• Grammar
• Theoretical computer science
• Nested stack automaton
• Indexed grammar

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

Source URL: homepages.cs.ncl.ac.uk

• Economy
• Money
• Finance
• Mobile payments
• Payment systems
• ISO standards
• Mobile telecommunications
• Online payments
• Near-field communication
• EMV
• Apple Pay
• Payment terminal