Sciweavers

130 search results - page 3 / 26
» The Semantics of Scheme Control-Flow Analysis
Sort
View
76
Voted
BPM
2007
Springer
125views Business» more  BPM 2007»
15 years 3 months ago
Semantic Analysis of Flow Patterns in Business Process Modeling
Control flow elements are important in process models. Such elements usually appear in graphic models as splits and joins of activity sequences. Workflow patterns reflect possible ...
Pnina Soffer, Yair Wand, Maya Kaner
MFCS
1998
Springer
15 years 1 months ago
Flow Logic for Imperative Objects
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
Flemming Nielson, Hanne Riis Nielson
APLAS
2007
ACM
15 years 1 months ago
A Systematic Approach to Probabilistic Pointer Analysis
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
SBCCI
2005
ACM
123views VLSI» more  SBCCI 2005»
15 years 3 months ago
Fault tolerance overhead in network-on-chip flow control schemes
Flow control mechanisms in Network-on-Chip (NoC) architectures are critical for fast packet propagation across the network and for low idling of network resources. Buffer manageme...
Antonio Pullini, Federico Angiolini, Davide Bertoz...
LOPSTR
2007
Springer
15 years 3 months ago
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
Mario Méndez-Lojo, Jorge Navas, Manuel V. H...