1405 search results - page 4 / 281 » We Are No Longer A Priesthood |
119
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
85
Voted
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
CADE
2008
Springer
15 years 9 months ago
2008
Springer
We consider proof systems for effectively propositional logic. First, we show that propositional resolution for effectively propositional logic may have exponentially longer refuta...
CHI
2002
ACM
15 years 9 months ago
2002
ACM
Most studies about instant messaging (IM) are based on self-report data. We logged thousands of real IM conversations and examined them to find characteristic patterns of IM use i...
ICCD
2004
IEEE
15 years 6 months ago
2004
IEEE
In many workloads, 25% to 50% of instructions have slack allowing them to be delayed without impacting performance. To exploit this slack, processors may implement more power-efï¬...