Sciweavers

18 search results - page 4 / 4
» Views and Iterators for Generic Constraint Implementations
Sort
View
GLOBECOM
2009
IEEE
15 years 23 days ago
Super-Gaussian Loading for Robust Beamforming
— 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...
Jing Gu, Patrick J. Wolfe
89
Voted
ADAEUROPE
2003
Springer
15 years 2 months ago
Charles: A Data Structure Library for Ada95
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...
Matthew Heaney
98
Voted
CAV
2010
Springer
194views Hardware» more  CAV 2010»
15 years 1 months ago
LTSmin: Distributed and Symbolic Reachability
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
Stefan Blom, Jaco van de Pol, Michael Weber