2774 search results - page 412 / 555 » Query-Driven Program Testing |
100
Voted
FAABS
2000
Springer
15 years 4 months ago
2000
Springer
To ful ll the needs of its deep space exploration program, NASAis actively supporting research and development in autonomy software. However, the reliable and cost-e ective develop...
98
Voted
SIGGRAPH
1991
ACM
15 years 4 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
105
click to vote
CPAIOR
2010
Springer
15 years 4 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...
107
Voted
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
Power dissipation is quickly becoming one of the most important limiters in nanometer IC design for leakage increases exponentially as the technology scaling down. However, power ...
99
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...