Sciweavers

1137 search results - page 1 / 228
» Partial Program Admission
Sort
View
RTAS
2009
IEEE
13 years 11 months ago
Partial Program Admission
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
Michael Wilson, Ron Cytron, Jonathan S. Turner
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
12 years 11 months ago
Closed-loop optimal experiment design: The partial correlation approach
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
Roland Hildebrand, Michel Gevers, Gabriel Solari
CADE
1998
Springer
13 years 9 months ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
AINA
2005
IEEE
13 years 10 months ago
Maximum-Revenue Multicast Routing and Partial Admission Control for Multirate Multimedia Distribution
In this paper, we intend to solve the problem of maximum-revenue multicast routing with a partial admission control mechanism for multirate multimedia distribution. Specifically, ...
Hsu-Chen Cheng, Frank Yeong-Sung Lin