2144 search results - page 176 / 429 » Exact Flow Analysis |
136
Voted
TLCA
2007
Springer
15 years 11 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
149
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
135
click to vote
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
— Despite significant research efforts, closed-form bit error rate (BER) expressions for multiple-input multiple-output (MIMO) systems employing transmit antenna selection and o...
163
click to vote
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Studies on differential unitary space-time modulation are mostly focused on Rayleigh fading channels. In this paper we present new analytic results for the maximum-like...
142
click to vote
EVOW
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The quadratic assignment problem arises in a variety of practical settings. It is known to be among the hardest combinatorial problems for exact algorithms. Therefore, a ...