Revive: Rebalancing Off-Blockchain Payment Networks

Source URL: acmccs.github.io

• Cryptocurrencies
• Blockchains
• Economy
• Bitcoin
• Computing
• Money
• Alternative currencies
• Ethereum
• Lightning Network
• Smart contract
• RootStock
• Rebalancing investments

Frequency Estimation of Virtual Call Targets for Object-Oriented Programs Cheng Zhang1 , Hao Xu2, , Sai Zhang3 , Jianjun Zhao1,2 , and Yuting Chen2 1 Department of Computer Science and Engineering, Shanghai Jiao Tong U

Source URL: zhang-sai.github.io

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Method
• High-level programming languages
• Functional languages
• Programming languages
• Inheritance
• Method overriding
• Factory
• Polymorphism

Luna Andre Ornish, Vinay Gupta, Aella, Dr. Aeron Buchanan Draft 1 · 24 October 2017 Abstract Online dating has emerged as one of the most extensive and still-growing online industries, but user experience remains poor d

Source URL: lunalabs.github.io

• Software
• Computing
• Online dating services
• Social software
• Instant messaging clients
• Geosocial networking
• IAC
• Online chat
• Bumble
• OkCupid
• Tinder
• Messages

Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in

Source URL: dacongy.github.io

• Computing
• Software engineering
• Software review
• Program analysis
• Software testing
• Object-oriented programming languages
• Static program analysis
• Java
• Android
• Software quality
• Computer programming
• Memory leak

Nishant ShuklaEXPERIENCE

Source URL: shukla.io

• Computing
• Free software
• Software
• Free statistical software
• Functional languages
• Deep learning
• TensorFlow
• Scala
• Android
• Scikit-learn
• OpenCV
• Haskell

I CO W HI TEPAPER ОГЛАВЛЕНИЕ Крат

Source URL: liqnet.io

Building a Programmable Business Society Ultrain White Paper Version

Source URL: www.ultrain.io

• Cryptocurrencies
• Blockchains
• Computing
• Emerging technologies
• Concurrent computing
• Alternative currencies
• Distributed computing
• Ethereum
• Smart contract
• Bitcoin
• Internet of things
• ternity

Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli

Source URL: mebsout.github.io

• Mathematical logic
• Mathematics
• Theoretical computer science
• Temporal logic
• Logic in computer science
• Model theory
• Formal methods
• Linear temporal logic
• Satisfiability modulo theories
• First-order logic
• Propositional calculus
• IP

FunFair: Plataforma de jogos online disruptivos na blockchain. É divertido, Rápido e Justo Conteúdo 1 Sumário  Um time experiente que você pode confiar......................... 3

Source URL: funfair.io

Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2

Source URL: seahorn.github.io

• Mathematics
• Abstract algebra
• Mathematical analysis
• Graph
• Graph theory
• Partial derivative
• Valuation
• Representation
• Voltage graph
• operator