37 search results - page 2 / 8 » Bounding the Resource Availability of Activities with Linear... |
HYBRID
2010
Springer
14 years 3 days ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
VTC
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— In this paper, we analyze DS-CDMA/OFDM spectrum sharing system based on opportunistic spectrum access (OSA). In this system, the primary network air interface is based ...
ICARCV
2008
IEEE
13 years 11 months ago
2008
IEEE
—In this paper, we study the problem of stabilizing a linear time-invariant discrete-time system with information constraints in the input channels. The information constraint in...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
WSC
2007
13 years 7 months ago
2007
Surgical services require the coordination of many activities, including patient check-in and surgical preparation, surgery, and recovery after surgery. Each of these activities r...