201 search results - page 10 / 41 » Scalability analysis of SPMD codes using expectations |
118
click to vote
SIGSOFT
2003
ACM
16 years 13 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
VLDB
2000
ACM
15 years 3 months ago
2000
ACM
In this paper, we report our success in building efficient scalable classifiers in the form of decision tables by exploring capabilities of modern relational database management s...
108
click to vote
TMM
2011
14 years 6 months ago
2011
Mobile video broadcasting service, or mobile TV, is expected to become a popular application for 3G wireless network operators. Most existing solutions for video Broadcast Multica...
101
click to vote
WWW
2009
ACM
16 years 11 days ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
TGC
2007
Springer
15 years 5 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...