2947 search results - page 520 / 590 » Analyzing Program Analyses |
AAAI
1994
15 years 12 days ago
1994
Numerical simulation of partial differential equations (PDEs) plays a crucial role in predicting the behavior of physical systems and in modern engineering design. However, in ord...
83
Voted
ISMB
1993
15 years 12 days ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
WCET
2007
15 years 7 days ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...
86
Voted
DAC
2010
ACM
15 years 5 days ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
ICML
2010
IEEE
15 years 4 days ago
2010
IEEE
Surprisingly, console logs rarely help operators detect problems in large-scale datacenter services, for they often consist of the voluminous intermixing of messages from many sof...