Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Software engineering
• Formal methods
• Theoretical computer science
• Software quality
• Computing
• PRISM model checker
• Model checking
• Formal verification
• Markov chain
• Stochastic
• Reliability engineering

Message from the NSDI ’18 Program Co-Chairs Welcome to NSDI ’18! Over the years, NSDI has established itself as the top venue for work on networked and distributed systems. This year’s iteration is no exception, an

Source URL: www.usenix.org

• Geographic data and information
• Aditya Akella
• OMB Circular A-16
• USENIX
• Seshan
• Computing
• Information

AnyChart™ Data Visualization Solutions IDS Chooses AnyChart for Its Reporting and Analysis Systems Independent Data Services

Source URL: www.anychart.com

• AnyChart
• Petroleum production
• Computing
• Wellsite information transfer standard markup language
• Visualization
• Data visualization
• Application software
• Communication design

A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin

Source URL: www.cs.utexas.edu

• Transaction processing
• Computing
• Fault-tolerant computer systems
• Data management
• Application checkpointing
• Data
• Rollback
• Database transaction
• Checkpoint
• Communication protocol
• Two-phase commit protocol

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Source URL: www.cs.tau.ac.il

Reducing fsck time for ext2 file systems Val Henson Intel, Inc. Zach Brown Oracle, Inc.

Source URL: valerieaurora.org

• Disk file systems
• System software
• Computer architecture
• Data management
• Ext3
• Ext2
• Unix File System
• Inode
• Journaling file system
• ReiserFS
• File system
• Extended file system

Ternion Executive Business Summary Ternion Mission With Ternion, our goal is to build a reliable bridge to connect modern financial realities with the decentralized financial systems of the future, facilitating practica

Source URL: ternion.io

• Cryptocurrencies
• Economy
• Money
• Alternative currencies
• Finance
• Digital currencies
• Financial technology
• Stablecoin
• Blockchains
• Bitcoin
• Counterparty
• Initial coin offering

Consensus-as-a-service: a brief report on the emergence of permissioned, distributed ledger systems By Tim Swanson Published: April 6,

Source URL: www.ofnumbers.com

• Cryptocurrencies
• Computing
• Economy
• Money
• Blockchain
• Bitcoin
• Ethereum
• Proof-of-stake
• Hyperledger
• Cryptoeconomics
• Peercoin
• Smart contract

EFFECTS OF SLEEP DEPRIVATION ON LEARNING SYSTEMS The Effects of Sleep Deprivation on Dissociable Prototype Learning Systems W. Todd Maddox, PhD1-3; Brian D. Glass, MA1; Dagmar Zeithamova, PhD2; Zachary R. Savarie, BA4;

Source URL: www.homepages.ucl.ac.uk

• Neuroscience
• Cognitive science
• Neuropsychology
• Mental processes
• Neuropsychological assessment
• Memory
• Sleep
• Perception
• Sleep deprivation
• Perceptual learning
• Procedural memory
• Attention