Sciweavers

686 search results - page 8 / 138
» How Bayesians Debug
Sort
View
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
14 years 2 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
ICCSA
2003
Springer
14 years 26 days ago
A Probabilistic Model for Predicting Software Development Effort
—Recently, Bayesian probabilistic models have been used for predicting software development effort. One of the reasons for the interest in the use of Bayesian probabilistic model...
Parag C. Pendharkar, Girish H. Subramanian, James ...
ASAP
2006
IEEE
114views Hardware» more  ASAP 2006»
13 years 11 months ago
The Mythical CCM: In Search of Usable (and Resuable) FPGA-Based General Computing Machines
Early FPGA researchers understood that FPGAs made possible the creation of a new, flexible, and powerful class of machine -- the configurable computing machine (CCM). The earliest...
Brent E. Nelson
IFIP12
2004
13 years 9 months ago
Model-Based Debugging with High-Level Observations
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
Wolfgang Mayer, Markus Stumptner
ICLP
2007
Springer
14 years 1 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...