1489 search results - page 61 / 298 » The First Bug Report |
128
click to vote
DBISP2P
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we examine the dissemination of reports about resources in mobile networks with hotspots, where hotspots, vehicles and sensors communicate with each other via short-r...
138
click to vote
ICONIP
2008
15 years 5 months ago
2008
The usually `accepted' limits of Steady State Visual Evoked Potentials are in the 3-60 Hz range. Recent studies reported SSVEP activities below 3 Hz, which remains a matter of...
276
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
233
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
135
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...