1287 search results - page 67 / 258 » Reduction of Timed Hybrid Systems |
148
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
143
click to vote
RTSS
1996
IEEE
15 years 8 months ago
1996
IEEE
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
120
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this study, a support vector machine (SVM) classifies real world data of cytogenetic signals measured from fluorescence in-situ hybridization (FISH) images in order to diagnose...
133
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper presents an efficient method to reduce complexities of a linear network in s-domain. The new method works on circuit matrices directly and reduces the circuit complexi...
144
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Transistor leakage is poised to become the dominant source of power dissipation in digital systems, and reconfigurable devices are not immune to this problem. Modern FPGAs already...