2144 search results - page 53 / 429 » Exact Flow Analysis |
127
click to vote
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
133
click to vote
IM
2007
15 years 5 months ago
2007
— With the wide deployment of flow monitoring in IP networks, the analysis of the exported flow data has become an important research area. It has been shown that flow data ca...
144
click to vote
ESOP
2011
Springer
14 years 7 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
122
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
Workcraft is a framework for the simulation, conversion and analysis of the SDFS models. The plug-in based architecture with embedded scripting language makes the framework an eas...
135
click to vote
RTS
2002
15 years 3 months ago
2002
The purpose of this paper is to introduce frameworks based on data-flow equations which provide for estimating the worst-case execution time (WCET) of (real-time) programs. These f...