192 search results - page 9 / 39 » Constraint-Based Approach for Analysis of Hybrid Systems |
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
HYBRID
2009
Springer
13 years 11 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
ICDAR
1995
IEEE
13 years 11 months ago
1995
IEEE
In this paper, we present a hybrid approach to the problem of the document analysis in which the document image is segmented by means of a top-down technique and then basic blocks...
CIBCB
2006
IEEE
13 years 10 months ago
2006
IEEE
In recent years, unsupervised gene (feature) selection has become an integral part of microarray analysis because of the large number of genes and complexity in biological systems....
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...