1100 search results - page 95 / 220 » An Approach to Test Aspect-oriented Programs |
134
click to vote
SIGITE
2004
ACM
15 years 8 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
151
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
126
click to vote
CONSTRAINTS
2007
15 years 3 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
126
Voted
AAAI
2006
15 years 4 months ago
2006
We introduce point-based dynamic programming (DP) for decentralized partially observable Markov decision processes (DEC-POMDPs), a new discrete DP algorithm for planning strategie...
132
Voted
CPAIOR
2010
Springer
15 years 6 months ago
2010
Springer
Cutting plane methods are widely used for solving convex optimization problems and are of fundamental importance, e.g., to provide tight bounds for Mixed-Integer Programs (MIPs). T...