Sciweavers

6187 search results - page 474 / 1238
» Practical Software Measurement
Sort
View
CDC
2010
IEEE
173views Control Systems» more  CDC 2010»
15 years 2 months ago
Corrective consensus: Converging to the exact average
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é...
ICASSP
2011
IEEE
14 years 11 months ago
Compressive sensing in through-the-wall radar imaging
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. ...
PPOPP
2011
ACM
14 years 10 months ago
Wait-free queues with multiple enqueuers and dequeuers
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...
Alex Kogan, Erez Petrank
TLDI
2009
ACM
140views Formal Methods» more  TLDI 2009»
16 years 4 months ago
Design patterns in separation logic
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...
CBMS
2008
IEEE
16 years 1 months ago
Web-Based Multi-Observer Segmentation Evaluation Tool
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. ...