7335 search results - page 1186 / 1467 » Scene Based Reasoning |
173
click to vote
RTAS
2008
IEEE
16 years 29 days ago
2008
IEEE
Multi-core chips have been increasingly adopted by microprocessor industry. For real-time systems to safely harness the potential of multi-core computing, designers must be able t...
172
click to vote
SCAM
2008
IEEE
16 years 29 days ago
2008
IEEE
Parfait is a bug checker of C code that has been designed to address developers’ requirements of scalability (support millions of lines of code in a reasonable amount of time), ...
190
click to vote
SEAA
2008
IEEE
16 years 29 days ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
173
click to vote
SSDBM
2008
IEEE
16 years 29 days ago
2008
IEEE
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
182
click to vote
TOOLS
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...