21 search results - page 2 / 5 » Strict control dependence and its effect on dynamic informat... |
AUTOMATICA
2006
13 years 7 months ago
2006
Abstract-- The Saint-Venant equations describe the dynamics of one dimensional open-channel flow. The paper investigates linearized Saint-Venant equations modes and their control. ...
AOSD
2008
ACM
13 years 9 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
ICFP
2012
ACM
11 years 9 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
CCE
2007
13 years 7 months ago
2007
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...
ICNP
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract—We propose a solution to improve fairness and increase throughput in wireless networks with location information. Our approach consists of a multipath routing protocol, ...