1287 search results - page 92 / 258 » Reduction of Timed Hybrid Systems |
148
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...
158
click to vote
NOSSDAV
2009
Springer
15 years 11 months ago
2009
Springer
Hard-disk drive power consumption reduction methods focus mainly on increasing the amount of time the disk is in standby mode (disk spun down) by implementing aggressive data read...
147
click to vote
ICALP
1992
Springer
15 years 8 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
146
Voted
AHS
2006
IEEE
15 years 10 months ago
2006
IEEE
Self-reconfigurable adaptive systems have the possibility of adapting their own hardware configuration. This feature provides enhanced performance and flexibility, reflected i...
132
Voted
ASP
2001
Springer
15 years 9 months ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...