Modelling, Specification and Formal Analysis of Complex Software Systems - Precise Static Analysis of Programs with Dynamic Memory

Source URL: resources.mpi-inf.mpg.de

IMPROVING SOFTWARE SECURITY WITH PRECISE STATIC AND RUNTIME ANALYSIS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE

Source URL: www.doc.ic.ac.uk

Precise Automatable Analytical Modeling of the Cache Behavior of Codes with Indirections ´ DOALLO DIEGO ANDRADE, BASILIO B. FRAGUELA, and RAMON Universidade da Coruna

Source URL: www.des.udc.es

• Software engineering
• Computer programming
• Computing
• Compiler optimizations
• Cache
• Computer memory
• Locality of reference
• Software optimization
• Optimizing compiler
• For loop
• Infinite loop
• Ada

High-speed Conversion of Floating Point Images to 8-bit (online IDBill Spitzak, Digital Domain ∗ Introduction Most rendering software today destroys precise lighting and shading calculations by doing an inaccura

Source URL: spitzak.github.io

• Computing
• Color space
• Graphics file formats
• Computer arithmetic
• Error diffusion
• Image processing
• Lookup table
• RGB color model
• Dither
• SRGB
• Rounding
• Computer number format

Precise Piecewise Affine Models from Input-Output Data Rajeev Alur, Nimit Singhania University of Pennsylvania ABSTRACT Formal design and analysis of embedded control software relies on mathematical models of dynamical s

Source URL: www.cis.upenn.edu

• Geometry
• Affine geometry
• Space
• Mathematics
• Differential geometry
• Affine transformation
• Transformation
• Feature detection
• Affine space
• Affine connection

SPRITE Milestone M4.3 Time stamping software for MeV SIMS microbeam data acquisition, developed and tested (WP4, due month 12) Summary: The main prerequisite for MeV SIMS data acquisition is capability to measure precise

Source URL: www.ionbeamcentre.co.uk

Precise Steps for Choreography Modeling for SOA Validation and Verification Sebastian Wieczorek, Andreas Roth, Alin Ştefănescu, Anis Charfi SAP Research, CEC Darmstadt, Germany {firstname.lastname}@sap.com Abstract

Source URL: vide.tnmsoft.de

• Workflow technology
• Process management
• Diagrams
• ISO standards
• Project management
• Business Process Execution Language
• Service-oriented architecture
• Business Process Model and Notation
• Modeling language
• Service choreography
• Software development
• Object Process Methodology

Simulation of Built-in PHP Features for Precise Static Code Analysis Johannes Dahse Thorsten Holz

Source URL: syssec.rub.de

• Software engineering
• Computing
• Computer programming
• Scripting languages
• Data types
• Cross-platform software
• Object-oriented programming languages
• Functional languages
• RIPS
• PHP
• Data-flow analysis
• Scope

DELTAPATH: PRECISE AND SCALABLE CALLING CONTEXT ENCODING Qiang Zeng*, Junghwan Rhee, Hui Zhang, Nipun Arora, Guofei Jiang, Peng Liu* NEC Laboratories America *Penn State University

Source URL: cgo.org

• Software engineering
• Computer programming
• Notation
• Encodings
• Stack
• Character encoding
• Subroutine
• Code
• Scope
• Ellipsis

Precise Road Geometry Transport Safety Systems for H. Gontran, P.-Y. Gilliéron, J. Skaloud,

Source URL: www.strc.ch

• Software
• Geography
• Satellite navigation systems
• Surveying
• Global Positioning System
• Advanced driver assistance systems
• Mobile mapping
• Photogrammetry
• ADAS
• Here