Sciweavers

329 search results - page 34 / 66
» Distributed solution of stochastic optimal control problems ...
Sort
View
88
Voted
HYBRID
2007
Springer
15 years 6 months ago
Symbolic Analysis for GSMP Models with One Stateful Clock
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
Mikhail Bernadsky, Rajeev Alur
87
Voted
INFOCOM
2007
IEEE
15 years 6 months ago
Optimization Based Rate Control for Multicast with Network Coding
— Recent advances in network coding have shown great potential for efficient information multicasting in communication networks, in terms of both network throughput and network ...
Lijun Chen, Tracey Ho, Steven H. Low, Mung Chiang,...
101
Voted
ICC
2009
IEEE
147views Communications» more  ICC 2009»
15 years 7 months ago
Distributed Quality-Lifetime Maximization in Wireless Video Sensor Networks
—Owing to the availability of low-cost and low-power CMOS cameras, Wireless Video Sensor Networks (WVSN) has recently become a reality. However video encoding is still a costly p...
Eren Gürses, Yuan Lin, Raouf Boutaba
103
Voted
SIAMCO
2002
87views more  SIAMCO 2002»
15 years 6 days ago
Optimal Consumption and Portfolio with Both Fixed and Proportional Transaction Costs
We consider a market model with one riskfree and one risky asset, in which the dynamics of the risky asset is governed by a geometric Brownian motion. In this market we consider a...
Bernt Oksendal, Agnès Sulem
92
Voted
IPPS
2002
IEEE
15 years 5 months ago
Model-Based Control of Adaptive Applications: An Overview
Model-based control utilizes performance models of applications to choose performant system configurations for execution of applications. The performance models used in this resea...
Vikram S. Adve, Afolami Akinsanmi, James C. Browne...