SHA-3 on ARM11 processors Peter Schwabe1 , Bo-Yin Yang1 , and Shang-Yi Yang2 1 ?

Source URL: precision.moscito.org

• Computer architecture
• Cryptography
• Computing
• NIST hash function competition
• Instruction set architectures
• Cryptographic hash functions
• Assembly languages
• Grstl
• ARM architecture
• SHA-2
• 64-bit computing
• Addressing mode

The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA

Source URL: www.lix.polytechnique.fr

• Parallel computing
• Computing
• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Electromagnetism
• Message Passing Interface
• Model checking
• Computer programming
• Computational science
• Simulation

Collaborative Metric Learning Cheng-Kang Hsieh‡ , Longqi Yang† ,Yin Cui† , Tsung-Yi Lin† , Serge Belongie† , Deborah Estrin† ‡ ‡ UCLA; † Cornell Tech

Source URL: www.cs.cornell.edu

FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF

Source URL: www.lix.polytechnique.fr

• Computing
• Software engineering
• Computer programming
• Array programming languages
• High-level programming languages
• Parallel computing
• Compiler optimizations
• Fortran
• Functional programming
• MATLAB
• Argonne National Laboratory
• NP

Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart

Source URL: kumarde.com

• Cryptocurrencies
• Blockchains
• Ethereum
• Alternative currencies
• Concurrent computing
• Computing
• Distributed computing
• Cross-platform software
• Smart contract
• Solidity
• ERC-20
• CryptoKitties

Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science

Source URL: precision.moscito.org

• X86 architecture
• X86-64
• Z3
• Computing
• Computer hardware
• Computer engineering

Paper accepted at the European Conf. on Computer Vision (ECCV), Munich, Semi-Dense 3D Reconstruction with a Stereo Event Camera Yi Zhou1,2 , Guillermo Gallego3 , Henri Rebecq3 , Laurent Kneip4 , Hongdong Li1,2 , a

Source URL: rpg.ifi.uzh.ch

• Computer vision
• Stereophotogrammetry
• 3D imaging
• Artificial intelligence
• Image processing
• Robotic sensing
• 3D reconstruction
• Range imaging
• Stereoscopy
• Triangulation
• Stereophonic sound
• Visual odometry

Feature Pyramid Networks for Object Detection Tsung-Yi Lin1,2 , Piotr Doll´ar1 , Ross Girshick1 , Kaiming He1 , Bharath Hariharan1 , and Serge Belongie2 1 arXiv:1612.03144v2 [cs.CV] 19 Apr 2017

Source URL: arxiv.org

• Computer vision
• Artificial intelligence
• Vision
• Image processing
• Computational neuroscience
• Artificial neural networks
• Pyramid
• Object detection
• Convolutional neural network
• Image segmentation
• Outline of object recognition
• Egyptian pyramids

Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach Aston Zhang∗1 , Amit Goyal2 , Ricardo Baeza-Yates2 Yi Chang2 , Jiawei Han1 , Carl A. Gunter1 , Hongbo Deng2 1

Source URL: gdac.uqam.ca

Domo: Passive Per-Packet Delay Tomography in Wireless Ad-hoc Networks Yi Gao1 , Wei Dong1 ∗ , Chun Chen1 , Jiajun Bu1 , Tianyu Chen2 , Mingyuan Xia3 , Xue Liu3 , Xianghua Xu2 1 College of Computer Science, Zhejiang Uni

Source URL: www.emnets.org

• Computing
• Wireless networking
• Internet architecture
• Information and communications technology
• Network architecture
• Packet loss
• Network performance
• Transmission Control Protocol
• Routing
• Telecommunications engineering
• Computer networking
• Dynamic Source Routing