Sciweavers

16 search results - page 2 / 4
» Optimal control subsumes harmonic control
Sort
View
SIAMSC
2010
157views more  SIAMSC 2010»
13 years 4 months ago
Certified Reduced Basis Methods and Output Bounds for the Harmonic Maxwell's Equations
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
Yanlai Chen, Jan S. Hesthaven, Yvon Maday, Jer&oac...
RTSS
1996
IEEE
13 years 10 months ago
An optimal pinwheel scheduler using the single-number reduction technique
Several Panwheel schedulers have been reported preuaously for schedulang real-tame systems an whach the temporal dastances between consecutave executaons of tasks must be less tha...
Chih-wen Hsueh, Kwei-Jay Lin
POS
1998
Springer
13 years 10 months ago
Optimizing the Read and Write Barriers for Orthogonal Persistence
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
Antony L. Hosking, Nathaniel Nystrom, Quintin I. C...
RTSS
1999
IEEE
13 years 10 months ago
Optimal Reward-Based Scheduling of Periodic Real-Time Tasks
Reward-based scheduling refers to the problem in which there is a reward associated with the execution of a task. In our framework, each real-time task comprises a mandatory and a...
Hakan Aydin, Rami G. Melhem, Daniel Mossé, ...
SODA
2010
ACM
190views Algorithms» more  SODA 2010»
14 years 3 months ago
One-Counter Markov Decision Processes
We study the computational complexity of some central analysis problems for One-Counter Markov Decision Processes (OC-MDPs), a class of finitely-presented, countable-state MDPs. O...
Tomas Brazdil, Vaclav Brozek, Kousha Etessami, Ant...