Experiments Suggest High-Level Formal Models and Automated Code Synthesis Significantly Increase Dependability Cordell Green and Stephen Westfold January 2001

Source URL: www.kestrel.edu

• Computing
• Software engineering
• Theoretical computer science
• Software testing
• Formal methods
• Software design
• Software bug
• Software quality

Journal of Elections, Public Opinion and Parties, 2013 Vol. 23, No. 1, 27 –48, http://dx.doi.orgField Experiments and the Study of Voter Turnout1 Downloaded by [Columbia University] at 07:

Source URL: www.mcmcgrath.com

• Elections
• Voting
• Politics
• Get out the vote
• Group decision-making
• Canvassing
• Voter turnout
• Democracy
• Experiment
• Compulsory voting
• Peer pressure
• Donald Green

Hypothetical Outcome Plots Help Untrained Observers Judge Trends in Ambiguous Data Alex Kale, Francis Nguyen, Matthew Kay, and Jessica Hullman Fig. 1. We present two experiments (E1 and E2) evaluating four different unce

Source URL: idl.cs.washington.edu

VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne

Source URL: www.cs.york.ac.uk

• Harbourfront
• PATH
• Toronto Transit Commission
• Ontario
• Yonge Street
• Union station
• King station
• Queens Quay
• Queen station
• Gardiner Expressway
• Bay station

Numerical Accuracy Improvement of programs: Principles and Experiments Nasrine Damouche 1, Matthieu Martel

Source URL: perso.univ-perp.fr

• M-estimators
• Estimator
• Maximum likelihood estimation

REPETITA: Repeatable Experiments for Performance Evaluation of Traffic-Engineering Algorithms Steven Gay ∗, Pierre Schaus ∗, Stefano Vissicchio † ∗ Universite catholique de Louvain, † University College London

Source URL: arxiv.org

• Computing
• Mathematics
• Mathematical software
• Routing
• Internet architecture
• Emerging technologies
• Network architecture
• Load balancing
• Open Shortest Path First
• Computer network
• Solver
• Network topology

Use Privacy in Data-Driven Systems Theory and Experiments with Machine Learnt Programs Anupam Datta CMU

Source URL: www.ieee-security.org

• Computing
• Data security
• Computer security
• Internet privacy
• Digital rights
• Human rights
• Terms of service
• Law
• Privacy
• Information privacy
• Information security
• Proxy

Statement from the SIGCOMM 2015 Program Committee: The SIGCOMM 2015 PC appreciated the technical contributions made in this paper, but found the paper controversial because some of the experiments the authors conducted r

Source URL: conferences.sigcomm.org

• Computing
• World Wide Web
• Computer security
• Internet privacy
• Internet censorship
• Content-control software
• Digital rights management
• Cross-origin resource sharing
• HTTP cookie
• Cross-site request forgery
• Web server
• Web crawler

Monetary Incentives in Large-Scale Experiments: A Case Study of Risk Aversion Christoph March, Anthony Ziegelmeyer, Ben Greiner, and Ren´e Cyranek: November 25, 2014

Source URL: ben.orsee.org

SUB-PS HARD X-RAY PULSES FOR PUMP-PROBE EXPERIMENTS: CHARACTERIZATION AT CRISTAL BEAMLINE OF SOLEIL SYNCHROTRON A.Ciavardini, C. Laulhé, P. Fertey, E. Elkaïm, F. Berenguer, Ph. Hollander, P. Prigent, M.-A. Tordeux, M.

Source URL: lptms.u-psud.fr