1224 search results - page 29 / 245 » Categories of Containers |
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
Although Web search engines have become information gateways to the Internet, for queries containing technical terms, search results often contain pages that are difficult to be ...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Documents in many corpora, such as digital libraries and webpages, contain both content and link information. To explicitly consider the document relations represented by links, i...
IEEEPACT
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a novel mechanism, called meeting point thread characterization, to dynamically detect critical threads in a parallel region. We define the critical thread the one with...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...