3820 search results - page 405 / 764 » Bounded Model Debugging |
207
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...
143
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
134
Voted
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
—We consider connection-level models of resource allocation in the Internet, where files arrive into the network according to a Poisson process and the size of each file is exp...
146
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
122
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper considers a relay communication system where cooperative diversity is achieved by spreading the relay transmissions using direct-sequence CDMA (DS/CDMA). We derive e...