Using Routers to Build Logic Circuits: How Powerful is BGP? Marco Chiesa? Luca Cittadini? ?

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

BDGS: A Scalable Big Data Generator Suite in Big Data Benchmarking Zijian Ming1,2 , Chunjie Luo1 , Wanling Gao1,2 , Rui Han1,3 , Qiang Yang1 , Lei Wang1 , and Jianfeng Zhan?1 arXiv:1401.5465v3 [cs.DB] 27 Feb 2014

Source URL: arxiv.org

• Computing
• Data management
• Data
• Information
• Big data
• Synthetic data
• Benchmark
• NoSQL
• Industrial big data
• Extract
• transform
• load

First Year Report Ivan Perez University of Nottingham 2

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

• Computing
• Graphical user interfaces
• Software
• System software
• Programming paradigms
• Widget toolkits
• Reactive programming
• Widget
• Functional programming
• Ext JS
• Software widget
• User interface markup language

ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Source URL: www.usenix.org

• Cryptography
• Public-key cryptography
• Computational complexity theory
• Zero-knowledge proof
• Proof of knowledge
• Commitment scheme
• Non-interactive zero-knowledge proof
• IP
• Cryptographic protocol
• NP
• RSA
• Zero knowledge

Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

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

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

Motivation Solution Framework The Algorithm

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Formal methods
• Logic in computer science
• Mathematics
• Formal verification
• Program synthesis
• Debugging
• Algorithm
• Cognitive science
• Electronic engineering
• Device driver synthesis and verification

Towards Fast Interactive Verification through Strong Higher-Order Automation

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

• Metalogic
• Model theory
• Isabelle
• Admissible rule
• Measure theory
• Logic
• Mathematical logic
• Mathematics

Accounting for Variability in Large-Scale Cluster Power Models John D. Davis1, Suzanne Rivoire2, Moises Goldszmidt1, and Ehsan K. Ardestani3 Microsoft Research - Silicon Valley Lab1 [john.d, moises]@microsoft.com Sonoma

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Computer architecture
• Parallel computing
• Computing
• Cluster computing
• Fault-tolerant computer systems
• Computer cluster
• Data-intensive computing
• High-availability cluster
• MySQL Cluster

Cambridge University Press3 - Secure Multiparty Computation and Secret Sharing Ronald Cramer, Ivan Bjerre Damgård and Jesper Buus Nielsen Table of Contents More information

Source URL: users-cs.au.dk

• Cryptography
• Public-key cryptography
• Secret sharing
• Secure multi-party computation
• Cryptographic protocol
• Ivan Damgrd

This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck

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

• Drat
• Conjunctive normal form
• Constraint programming
• Theoretical computer science
• NP-complete problems
• Logic in computer science