Sciweavers

ISSTA
2012
ACM
12 years 1 months ago
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Je...
CISS
2010
IEEE
13 years 3 months ago
Compressive sampling for streaming signals with sparse frequency content
Abstract—Compressive sampling (CS) has emerged as significant signal processing framework to acquire and reconstruct sparse signals at rates significantly below the Nyquist rate...
Petros Boufounos, M. Salman Asif
SCS
2003
14 years 24 days ago
Measuring Safety: Applying PSM to the System Safety Domain
Preliminary work on the development of measures appropriate for the safety domain is reported. Measures are expressed in the style of the Practical Software and Systems Measuremen...
John Murdoch, Graham Clark, Antony Powell, Paul Ca...
TRIDENTCOM
2006
IEEE
14 years 5 months ago
CMT II: An agent based framework for comprehensive IP measurements
— The Communication Measurement Tool II (CMT II) is a framework for comprehensive IP measurements. It is the next development stage of the succeeded measurement framework called ...
Thomas Pfeiffenberger, Thomas Fichtel