Structure Slicing: Extending Logical Regions with Fields Michael Bauer Sean Treichler

Source URL: legion.stanford.edu

• Parallel computing
• Database
• Geographic information system
• Task parallelism
• Thread
• Algorithm

Slicing the Budget Pie for Big Business How Three States Allocate Economic Development Dollars, Large Companies versus Small

Source URL: www.goodjobsfirst.org

• Economy
• Business
• Economic development
• Small business

Slicing State-based Models Laurence Tratt http://tratt.net/laurie/ Middlesex University With thanks to Kelly Androutsopoulos and David Clark

Source URL: tratt.net

THE RIVER OF NO RETURN- IDAHO’S WILD AND SCENIC SALMON RIVER Idaho’s River of No Return accesses the most pristine and untouched terrain in the US, slicing through the 4.7 million acre Frank Church River of No Return

Source URL: www.idahorivers.com

• Geography of the United States
• Fish
• Idaho
• Salmon-Challis National Forest
• Salmon River
• Sawtooth National Forest
• Wild and Scenic Rivers of the United States
• Salmon
• Rafting
• Kayak

INEQUALITIES OF THE KAHANE-KHINCHIN TYPE AND SECTIONS OF Lp -BALLS. A. KOLDOBSKY, A. PAJOR AND V. YASKIN Abstract. We extend Kahane-Khinchin type inequalities to the case p > −2. As an application we verify the slicing

Source URL: perso-math.univ-mlv.fr

Fault Location via Precise Dynamic Slicing by Xiangyu Zhang

Source URL: www.cs.ucr.edu

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

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Dependence analysis
• Static program analysis
• Information flow
• Program slicing
• Scope
• ALGOL 68
• Variable
• XC

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

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

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

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security

Abstract Program Slicing: Abstract interpretation-based approaches to Slicing Isabella Mastroeni (Ðurica Nikoli´c and Damiano Zanardini) Dipartimento di Informatica, University of Verona, Italy

Source URL: crest.cs.ucl.ac.uk