1687 search results - page 36 / 338 » Which pointer analysis should I use |
CODAS
2001
13 years 9 months ago
2001
An error-comprising workflow dejinition might provoke serious problems to an enterprise especially when it is involved with mission critical business processes. Concurrency of wor...
FTRTFT
1998
Springer
13 years 12 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
CCR
2008
13 years 7 months ago
2008
Despite the large number of papers on network topology modeling and inference, there still exists ambiguity about the real nature of the Internet AS and router level topology. Whi...
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Large-scale supercomputing is revolutionizing the way science is conducted. A growing challenge, however, is understanding the massive quantities of data produced by largescale si...