Sciweavers

14190 search results - page 33 / 2838
» Abstractions for hybrid systems
Sort
View
GLOBECOM
2009
IEEE
15 years 4 months ago
Optimizing Training-Based Transmission for Correlated MIMO Systems with Hybrid Feedback
Abstract--In this paper, we consider multiple-input multipleoutput (MIMO) communication systems with combined channel covariance feedback (CCF) and channel gain feedback (CGF), her...
Xiangyun Zhou, Tharaka A. Lamahewa, Parastoo Sadeg...
CISIS
2008
IEEE
16 years 19 days ago
Hybrid Performance Modeling and Prediction of Large-Scale Computing Systems
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
Sabri Pllana, Siegfried Benkner, Fatos Xhafa, Leon...
PET
2005
Springer
15 years 11 months ago
Failures in a Hybrid Content Blocking System
Abstract. Three main methods of content blocking are used on the Internet: blocking routes to particular IP addresses, blocking specific URLs in a proxy cache or firewall, and pr...
Richard Clayton
HYBRID
2007
Springer
16 years 10 days ago
Learning Cycle-Linear Hybrid Automata for Excitable Cells
Radu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. ...
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
15 years 1 months ago
Using computer games for hybrid systems controller synthesis
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
A. Agung Julius, Sina Afshari