1403 search results - page 123 / 281 » Quantitative Interprocedural Analysis |
81
Voted
ISCA
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper evaluates performance characteristics of the Compaq ES40 shared memory multiprocessor. The ES40 system contains up to four Alpha 21264 CPU’s together with a high-perf...
135
Voted
ICTAI
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
122
click to vote
AVI
2008
15 years 3 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
101
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
The "conversion rate" of spam -- the probability that an unsolicited e-mail will ultimately elicit a "sale" -- underlies the entire spam value proposition. How...
81
Voted
WSC
2004
15 years 2 months ago
2004
This paper illustrates the use of simulation for evaluating and analyzing air cargo operations at one of the new stateof-the art cargo facilities at Toronto Pearson Airport. The e...