Computer science

Results: 55984



#Item
1A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK  PrePost 2017

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

Add to Reading List

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

Language: English - Date: 2017-09-19 11:02:58
2Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang  Department of Computer Science

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-05 07:38:02
3Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

Add to Reading List

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

Language: English - Date: 2018-05-14 04:41:41
4The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

Add to Reading List

Source URL: thev.net

Language: English - Date: 2011-02-09 02:39:42
5Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

Add to Reading List

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

Language: English - Date: 2016-07-04 05:12:57
6Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗  Department of Computer Science

Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science

Add to Reading List

Source URL: aidanhogan.com

Language: English - Date: 2015-03-23 10:08:58
7Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Rule Formats for Nominal Operational Semantics A very short and informal introduction Luca Aceto Gran Sasso Science Institute, L’Aquila, and ICE-TCS, School of Computer Science, Reykjavik University

Add to Reading List

Source URL: tlt2017.di.unito.it

Language: English - Date: 2017-10-04 12:33:27
8Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer  Science and Engineering, University of California, San Di

Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
    9Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1  Department of Computer Science, ETH Zurich, Switzerland

    Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

    Add to Reading List

    Source URL: files.sri.inf.ethz.ch

    Language: English - Date: 2018-09-05 10:56:02
    10Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu  ABSTRACT

    Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT

    Add to Reading List

    Source URL: gdac.uqam.ca

    Language: English - Date: 2017-10-04 00:47:38