327 search results - page 66 / 66 » A Static Analysis Framework for Database Applications |
109
Voted
SIGIR
2011
ACM
14 years 4 months ago
2011
ACM
We study a novel problem of social context summarization for Web documents. Traditional summarization research has focused on extracting informative sentences from standard docume...
204
Voted
CONCUR
2011
Springer
14 years 29 days ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...