326 search results - page 30 / 66 » Interprocedural Control Flow Analysis |
113
Voted
JNCA
2008
15 years 2 months ago
2008
Bluetooth is a low-cost and short-range wireless communication technology. Two or more bluetooth devices connected form a piconet and two or more piconets connected form a scatter...
129
Voted
SIMVIS
2008
15 years 4 months ago
2008
In this paper, we present an overview of a number of existing flow visualization methods, developed by the authors in the recent past, that are specifically aimed at integrating a...
152
Voted
MSWIM
2005
ACM
15 years 8 months ago
2005
ACM
The increase of IEEE 802.11’s bandwidth led to a deployment of many multimedia applications over wireless networks. Nevertheless, these applications impose stringent constraints...
123
Voted
TAPSOFT
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
122
Voted
MFCS
1998
Springer
15 years 7 months ago
1998
Springer
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 ...