2144 search results - page 54 / 429 » Exact Flow Analysis |
141
click to vote
INFOCOM
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
115
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
162
Voted
CASES
2008
ACM
15 years 5 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
147
click to vote
EPEW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
130
click to vote
TAMODIA
2008
15 years 5 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...