3169 search results - page 299 / 634 » Robust Timed Automata |
190
Voted
PE
2010
Springer
15 years 5 months ago
2010
Springer
From a rare events perspective, scheduling disciplines that work well under light (exponential) tailed workload distributions do not perform well under heavy (power) tailed worklo...
206
click to vote
TSMC
2010
15 years 1 months ago
2010
The memory dumping problem arises in the context of planning and scheduling activities of the Mars Express mission of the European Space Agency. The problem consists of scheduling...
160
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Classical sampling records the signal level at pre-determined time instances, usually uniformly spaced. An alternative implicit sampling model is to record the timing of pre-deter...
311
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
We study the problem of answering queries posed on virtual views of XML documents, a problem commonly encountered when enforcing XML access control and integrating data. We approa...
193
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...