5639 search results - page 103 / 1128 » Timed Abstract Non-interference |
130
click to vote
LFCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
114
click to vote
PKDD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. When seeking for small clusters it is very intricate to distinguish between incidental agglomeration of noisy points and true local patterns. We present the PAMALOC algor...
VTC
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract: In this paper, we study concatenated coding for MIMOOFDM systems. The proposed concatenated system achieves full spatial and frequency diversity at much lower complexity ...
109
click to vote
IICS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
107
click to vote
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...