2634 search results - page 147 / 527 » Faster Than Uppaal |
ASYNC
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper proposes applying a logic synthesis approach to high level synthesis from SpecC specifications to timed asynchronous gate-level circuits. The state-based logic synthes...
CBMS
2005
IEEE
14 years 3 months ago
2005
IEEE
In this work we introduce the new problem of finding time series discords. Time series discords are subsequences of longer time series that are maximally different to all the rest...
CBMS
2005
IEEE
14 years 3 months ago
2005
IEEE
Nodular thyroid disease is a frequent occurrence in clinical practice and it is associated with increased risk of thyroid cancer and hyperfunction. In this paper we propose a nove...
CIBCB
2005
IEEE
14 years 3 months ago
2005
IEEE
— With the invention of high throughput methods, researchers are capable of producing large amounts of biological data. During the analysis of such data, the need for a functiona...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper, we present a two-level modeling approach to performance macromodeling based on radial basis function Support Vector Machine (SVM). The two-level model consists of a...