12950 search results - page 207 / 2590 » On Optimal Timed Strategies |
130
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The design of long oligonucleotides for spotted DNA microarrays requires detailed attention to ensure their optimal performance in the hybridization process. The main ...
140
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
(m,k)-firm constraints have been used to schedule tasks in soft/firm real-time systems under overloaded conditions. In general, they are provided by application designers to guara...
125
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper deals with output feedback impulse control under set-membership uncertainty where the control realization consists of a sequence of δ-impulses. It indicates solutio...
140
click to vote
ADBIS
2001
Springer
15 years 9 months ago
2001
Springer
Three join algorithms are evaluated in an environment with distributed main-memory based mediators and data sources. A streamed ship-out join ships bulks of tuples to a mediator ne...
119
Voted
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...