14190 search results - page 33 / 2838 » Abstractions for hybrid systems |
126
click to vote
GLOBECOM
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract--In this paper, we consider multiple-input multipleoutput (MIMO) communication systems with combined channel covariance feedback (CCF) and channel gain feedback (CGF), her...
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
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...
PET
2005
Springer
15 years 5 months ago
2005
Springer
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...
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
107
click to vote
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...