An Empirical
 
 An Empirical Analysis of Anonymity in Zcash
 


Source URL: georgekap.github.io

Dynamic Analysis of Inefficiently-Used Containers Shengqian Yang1 1 Dacong Yan1

Source URL: dacongy.github.io

• Computing
• Computer programming
• Software engineering
• Abstract data types
• C++ Standard Library
• Associative containers
• Intermodal container
• Container
• Iterator
• Java
• Static single assignment form

BCS_WhitePaper_Update_Pages

Source URL: bcschain.io

• Marketing
• Economy
• E-commerce
• Cryptocurrencies
• Business
• Information technology management
• Alternative currencies
• B2B
• B2B e-commerce
• Blockchain
• Market research
• Business-to-business

SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA

Source URL: jorgenavas.github.io

• Programming language implementation
• Compiler construction
• Software engineering
• Computing
• Compiler optimizations
• Software testing
• Abstract interpretation
• LLVM
• Compiler
• Intermediate representation
• Hoare logic
• Static single assignment form

    Quarterly​ ​Report   Q3​ ​2017   

Source URL: district0x.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Ethereum
• Distributed computing
• Cross-platform software
• Computing
• Decentralization
• Decentralized application
• Kin
• Non-fungible token
• DAPP

Carbon Grid Protocol The Digital Gateway To A Carbon Neutral World Decentralising and digitalising the carbon market V1.7

Source URL: carbongrid.io

• Climate change policy
• Carbon finance
• Chemistry
• Global warming
• Environmental policy
• Carbon offset
• Carbon footprint
• Carbon credit
• Carbon tax
• Carbon neutrality
• Carbon emission trading
• Carbon

Luna 왁왮왤왲왥 왏왲왮왩왳왨올 왖왩왮왡왹 왇왵왰왴왡올 왁왥왬왬왡올 완왲옮 왁왥왲왯왮 왂왵왣왨왡왮왡왮 왔왲왡왮왳왬왡왴왥왤 왢왹 왂왲왩왡왮 왊왵왮왧왢왩

Source URL: lunalabs.github.io

AUGUST • 10 • 2018 THE STATE OF NEW YORK NOR ANY OF ITS AGENCIES HAVE NOT APPROVED OR ENDORSED THIS OFFERING. THE NAME OF OUR COMPANY AND OUR REAL ESTATE ACTIVITIES ARE NOT ENDORSED 0. Legal

Source URL: nycrec.io

• Finance
• Economy
• Money
• Investment
• Real estate
• Asset classes
• Real estate appraisal
• Citigroup
• Commercial property
• Mortgage loan
• Net asset value
• Initial coin offering

XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai Jiao Tong University, China A code

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Computing
• AspectJ
• Pointcut
• Join point
• FindBugs
• Aspect
• Aspect weaver

  1    White ​Paper v

Source URL: enjincoin.io

• Software
• Computing
• Game design
• Draft:Enjin
• Video game culture
• E-commerce
• Social networking services
• Virtual world
• Minecraft
• Virtual economy
• Video game
• Steam