1792 search results - page 283 / 359 » Multi-agent learning for engineers |
114
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
125
click to vote
ECLIPSE
2007
ACM
15 years 5 months ago
2007
ACM
We present a tool that predicts whether the software under development inside an IDE has a bug. An IDE plugin performs this prediction, using the Change Classification technique t...
128
Voted
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
102
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
In May 2009, Google conducted a company wide FindBugs “fixit”. Hundreds of engineers reviewed thousands of FindBugs warnings, and fixed or filed reports against many of the...
178
click to vote
GAMEON
2003
15 years 2 months ago
2003
In this article, we are interested in providing a framework to develop games for visually impaired or blind children. In this context, we propose a tool set to ease the creation o...