686 search results - page 14 / 138 » How Bayesians Debug |
145
click to vote
DSN
2006
IEEE
15 years 12 months ago
2006
IEEE
One of the main reasons for the difficulty of hardware verification is that hardware platforms are typically nondeterministic at clock-cycle granularity. Uninitialized state ele...
146
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
150
click to vote
JUCS
2010
15 years 4 months ago
2010
Abstract: Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into considerat...
177
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
142
click to vote
HRI
2006
ACM
15 years 12 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...