333 search results - page 45 / 67 » Automated Adaptive Forming Simulations |
150
click to vote
TACAS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
105
click to vote
VLSID
2001
IEEE
16 years 2 months ago
2001
IEEE
The need for low-power multimedia processing is integral to portable and embedded devices such as cell phones, wireless terminals, multimedia handhelds and PDAs. The multimedia pr...
121
click to vote
IWQOS
2005
Springer
15 years 7 months ago
2005
Springer
As wireless channels are becoming common, the performance of TCP over networks with such links is important. TCP performance suffers substantially when packet error rates increase...
104
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we study a class of resource allocation games which are inspired by the El Farol Bar problem. We consider a system of competitive agents that have to choose between ...
100
click to vote
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
— It is well known that the performance of adaptive beamformers may degrade in the presence of steering errors. In this context, diagonal loading is one of the most popular metho...