3066 search results - page 406 / 614 » On Facilitating Automated Evaluation |
DSOM
2007
Springer
14 years 4 days ago
2007
Springer
Abstract. The complexity of today's large-scale enterprise applications demands system administrators to monitor enormous amounts of metrics, and reconfigure their hardware as...
ASPDAC
2004
ACM
13 years 12 months ago
2004
ACM
This paper aims at developing an automated device-level placement for analog circuit design which achieves comparable quality to manual designs by experts. It extracts a set of cl...
CAV
2006
Springer
13 years 12 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
DEXAW
2004
IEEE
13 years 12 months ago
2004
IEEE
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...
ECAI
2004
Springer
13 years 12 months ago
2004
Springer
Automated control of a virtual camera is useful for both linear animation and interactive virtual environments. We have constructed a knowledge-based system that allows users to e...