Consensus algorithms provide an elegant distributed way for computing the average of a set of measurements across a sensor network. However, the convergence of the node estimates t...
Yin Chen, Roberto Tron, Andreas Terzis, René...
High resolution through-the-wall radar imaging (TTWRI) demands wideband signals and large array apertures. Thus a vast amount of measurements is needed for a detailed reconstructi...
Michael Leigsnering, Christian Debes, Abdelhak M. ...
The queue data structure is fundamental and ubiquitous. Lockfree versions of the queue are well known. However, an important open question is whether practical wait-free queues ex...
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...
Multi-observer segmentation evaluation is useful in the imaging community. We have developed a web-based software application for automatic performance evaluation of multiple imag...
Yaoyao Zhu, Xiaolei Huang, Daniel P. Lopresti, L. ...