2673 search results - page 373 / 535 » Guided Static Analysis |
178
click to vote
WADS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
135
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
In this paper, we propose a general framework for fusing bottom-up segmentation with top-down object behavior classification over an image sequence. This approach is beneficial fo...
222
click to vote
ICDE
1997
IEEE
16 years 6 months ago
1997
IEEE
Query optimization is an integral part of relational database management systems. One important task in query optimization is selectivity estimation, that is, given a query P, we ...
130
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
145
Voted
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...