12 search results - page 1 / 3 » Reducing the Cost of Path Property Monitoring Through Sampli... |
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
LCTRTS
2010
Springer
13 years 11 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
This paper explores a novel setting for compressed sensing (CS) in which the sampling trajectory length is a critical bottleneck and must be minimized subject to constraints on th...
ICASSP
2011
IEEE
12 years 8 months ago
2011
IEEE
In cognitive radio (CR) networks, multi-CR cooperation typically takes place during spectrum sensing, to cope with wireless fading effects and the hidden terminal problem. The use...
AMEC
2003
Springer
13 years 10 months ago
2003
Springer
Auctions define games of incomplete information for which it is often too hard to compute the exact Bayesian-Nash equilibrium. Instead, the infinite strategy space is often popu...