1287 search results - page 42 / 258 » Reduction of Timed Hybrid Systems |
137
click to vote
GLOBE
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
109
click to vote
IEEECIT
2010
IEEE
14 years 10 months ago
2010
IEEE
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
110
click to vote
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
This paper aims at estimating the switching time for linear switched systems, i.e. the time instant when a sub-model is switched on while another one is switched off. Assuming that...
DAC
2000
ACM
16 years 25 days ago
2000
ACM
This paper presents a novel run-time dynamic voltage scaling scheme for low-power real-time systems. It employs software feedback control of supply voltage, which is applicable to...
100
click to vote
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...