2774 search results - page 412 / 555 » Query-Driven Program Testing |
FAABS
2000
Springer
14 years 25 days 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...
SIGGRAPH
1991
ACM
14 years 22 days 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...
CPAIOR
2010
Springer
14 years 16 days 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...
ASPDAC
2008
ACM
13 years 11 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 ...
ECOOP
2008
Springer
13 years 11 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,...