Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Source URL: publish.illinois.edu

• Circuit complexity
• NC
• Mathematics
• Theoretical computer science
• Numerical software
• Lemmas
• Numerical linear algebra

Experiences with an Inbuilding Location Tracking System: Uhuru Vijay Abhijit, Carla Ellis and Xiaobo Fan Department of Computer Science Duke University abhijit,carla,xiaobo @cs.duke.edu

Source URL: www.cs.duke.edu

Power Aware Page Allocation Alvin R. Lebeck, Xiaobo Fan, Heng Zeng, Carla Ellis Department of Computer Science Duke University

Source URL: www.cs.duke.edu

Digital innovation Award sponsored by mobbra - mass fan engagement at live events Wireless connectivity at major sporting and entertainment events is extremely difficult to achieve due to network congestion associated w

Source URL: www.nextgenevents.co.uk

• Software
• Computing
• Computer architecture
• Smartphones
• Personal computing
• Cloud clients
• Mobile software
• Mobile technology
• Adaptxt
• Mobile app
• Tablet computer
• Windows Phone

Short Paper: A Look at SmartPhone Permission Models Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang, Phillipa Gill and David Lie Dept. of Electrical and Computer Engineering University of Toronto, Canada ABSTRACT

Source URL: www.eecg.toronto.edu

• Software
• Computing
• Computer architecture
• Smartphones
• Mobile operating systems
• Android
• Alphabet Inc.
• Microsoft Windows
• Rooting
• Delegation
• BlackBerry
• Mobile app

Design Considerations for High Fan-in Systems: The HiFi Approach Michael J. Franklin*, Shawn R. Jeffery*, Sailesh Krishnamurthy*, Frederick Reiss*, Shariq Rizvi*, Eugene Wu*, Owen Cooper*, Anil Edakkunni*, and Wei Hong+

Source URL: www-db.cs.wisc.edu

• Computing
• Data management
• Cognition
• Information systems
• Lowest common ancestor
• Theoretical computer science
• Radio-frequency identification
• Wireless sensor network
• Data integration
• Data
• Sensor node
• Complex event processing

Special Computer Go insert covering the AlphaGo v Fan Hui match Fan Hui is on the right, Toby Manning centre Photo courtesy of Google DeepMind Number 174

Source URL: britgo.org

• Go software
• Computer Go
• Artificial intelligence
• Go game)
• Gaming
• Game artificial intelligence
• Go
• Machine learning
• AlphaGo
• KGS Go Server
• Fan Hui
• AlphaGo versus Lee Sedol

Cuckoo Filter: Practically Better Than Bloom Bin Fan, David G. Andersen, Michael Kaminsky† , Michael D. Mitzenmacher‡ Carnegie Mellon University, † Intel Labs, ‡ Harvard University {binfan,dga}@cs.cmu.edu, michae

Source URL: conferences2.sigcomm.org

• Information science
• Hashing
• Information retrieval
• Search algorithms
• Computer programming
• Bloom filter
• Cuckoo hashing
• Hash table
• Hash function
• Quotient filter
• Hash
• Linear probing

PScout: Analyzing the Android Permission Specification Kathy Wain Yee Au, Yi Fan Zhou, Zhen Huang and David Lie Dept. of Electrical and Computer Engineering University of Toronto, Canada ABSTRACT

Source URL: www.eecg.toronto.edu

• Computing
• Software
• Computer architecture
• Smartphones
• Android
• Alphabet Inc.
• Computing platforms
• Application programming interface
• Mobile operating system
• Java Platform
• Micro Edition
• Google Play
• Web API

Indigo Xtreme ™ Engineered Thermal Interface for AMD FX,™ Phenom,™ and Athlon™

Source URL: www.indigo-xtreme.com

• Heat transfer
• IBM PC compatibles
• Clock signal
• Passive fire protection
• Heat sink
• Motherboard
• Heat pipe
• Overclocking
• Clock rate
• Computer fan
• Water cooling
• Water block