60 search results - page 8 / 12 » Queue Control Under Time-Variant Delays: A Discrete Time Sys... |
FMCO
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
SIGMETRICS
2003
ACM
14 years 24 days ago
2003
ACM
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
IPSN
2010
Springer
14 years 2 months ago
2010
Springer
Current data collection protocols for wireless sensor networks are mostly based on quasi-static minimum-cost routing trees. We consider an alternative, highly-agile approach calle...
DATE
2002
IEEE
14 years 15 days ago
2002
IEEE
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
JMLR
2006
13 years 7 months ago
2006
Policy search is a method for approximately solving an optimal control problem by performing a parametric optimization search in a given class of parameterized policies. In order ...