686 search results - page 2 / 138 » How Bayesians Debug |
DAC
2003
ACM
13 years 10 months ago
2003
ACM
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) so...
VL
2010
IEEE
13 years 3 months ago
2010
IEEE
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a “prog...
SOCO
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
ICSM
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper explores how software developers debug integrated systems, where they have little or no access to the source code of the third-party software the system is composed of....
DAC
2009
ACM
14 years 1 hour ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...