444 search results - page 53 / 89 » Sensitive state-space exploration |
121
click to vote
CORR
2010
Springer
14 years 6 months ago
2010
Springer
We consider an opportunistic spectrum access (OSA) problem where the time-varying condition of each channel (e.g., as a result of random fading or certain primary users' activ...
119
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
SAS
2007
Springer
15 years 6 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
117
click to vote
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
SIGECOM
1999
ACM
15 years 4 months ago
1999
ACM
Markets for electronic goods provide the possibility of exploring new and more complex pricing schemes, due to the flexibility of information goods and negligible marginal cost. I...