The objective of query optimizers is to select a good execution plan for a given query. In a distributed system, it is crucial for a query optimizer to have effective remote cost e...
— For the class of MIMO minimal LTI systems controlled by an estimation based multiple model switched adaptive controller (EMMSAC), bounds are obtained for the closed loop lp gai...
The existence and utilization of an internal representation of the controlled object is one of the most important features of the functioning of neural motor control systems. This ...
Content storage in a distributed collaborative environment uses redundancy for better resilience and thus provides good availability and durability. In a peer-to-peer environment,...
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, H...