Program slicing

Results: 42



#Item
1FACT: Fast Communication Trace Collection for Parallel Applications through Program Slicing Jidong Zhai, Tianwei Sheng, Jiangzhou He, Wenguang Chen, Weimin Zheng Tsinghua National Laboratory for Information Science and T

FACT: Fast Communication Trace Collection for Parallel Applications through Program Slicing Jidong Zhai, Tianwei Sheng, Jiangzhou He, Wenguang Chen, Weimin Zheng Tsinghua National Laboratory for Information Science and T

Add to Reading List

Source URL: hpc.cs.tsinghua.edu.cn

Language: English - Date: 2017-05-18 10:22:13
    2PROGRAMMING LANGUAGES LABORATORY! Universidade	Federal	de	Minas	Gerais	-		Department	of	Computer	Science PROGRAM SLICING! PROGRAM ANALYSIS

    PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science PROGRAM SLICING! PROGRAM ANALYSIS

    Add to Reading List

    Source URL: homepages.dcc.ufmg.br

    Language: English - Date: 2017-05-22 12:59:15
      3Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and

      Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and

      Add to Reading List

      Source URL: www.bodden.de

      Language: English - Date: 2015-02-10 01:12:58
      4Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro  Microsoft Research

      Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research

      Add to Reading List

      Source URL: www.sosp2007.org

      Language: English - Date: 2016-06-15 13:09:51
      5Triage: Diagnosing Production Run Failures at the User’s Site Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou Department of Computer Science University of Illinois at Urbana Champaign

      Triage: Diagnosing Production Run Failures at the User’s Site Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou Department of Computer Science University of Illinois at Urbana Champaign

      Add to Reading List

      Source URL: www.sosp2007.org

      Language: English - Date: 2016-06-15 13:09:51
      6Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The

      Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The

      Add to Reading List

      Source URL: repository.readscheme.org

      Language: English - Date: 2010-10-22 08:04:37
      7Runtime Analysis of Distributed Data Processing Programs Marcus Leich supervised by Prof. Volker Markl Technische Universitat ¨ Berlin Einsteinufer 17

      Runtime Analysis of Distributed Data Processing Programs Marcus Leich supervised by Prof. Volker Markl Technische Universitat ¨ Berlin Einsteinufer 17

      Add to Reading List

      Source URL: stratosphere.eu

      Language: English - Date: 2016-05-27 12:05:58
      8A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston

      A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston

      Add to Reading List

      Source URL: cisr.nps.edu

      Language: English - Date: 2008-08-18 13:40:59
      9A Proof Slicing Framework for Program Verification Ton Chanh Le, Cristian Gherghina, Razvan Voicu, and Wei-Ngan Chin Department of Computer Science, National University of Singapore Abstract. In the context of program ve

      A Proof Slicing Framework for Program Verification Ton Chanh Le, Cristian Gherghina, Razvan Voicu, and Wei-Ngan Chin Department of Computer Science, National University of Singapore Abstract. In the context of program ve

      Add to Reading List

      Source URL: www.comp.nus.edu.sg

      Language: English - Date: 2015-11-27 05:28:18
        10A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

        A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

        Add to Reading List

        Source URL: cisr.nps.edu

        Language: English - Date: 2008-08-18 13:41:06