Sciweavers

18 search results - page 4 / 4
» Views and Iterators for Generic Constraint Implementations
Sort
View
GLOBECOM
2009
IEEE
13 years 10 months 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
ADAEUROPE
2003
Springer
14 years 17 days 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
CAV
2010
Springer
194views Hardware» more  CAV 2010»
13 years 11 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