1377 search results - page 46 / 276 » Flit-Reservation Flow Control |
ESOP
2006
Springer
14 years 1 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
DAGSTUHL
1996
13 years 11 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
In this article, we investigate real-time estimation of flow states, average velocity and stage (water depth), in open channels using the measurements obtained from Lagrangian sens...
CBSE
2006
Springer
14 years 2 days ago
2006
Springer
This paper presents a software product line architecture where applications are assembled by installing a set of plugins on a common software base. In this architecture, the softwa...
ENTCS
2008
13 years 10 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...