2673 search results - page 424 / 535 » Guided Static Analysis |
178
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
154
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
164
click to vote
MOBICOM
2012
ACM
13 years 6 months ago
2012
ACM
While a natural fit for modeling and understanding mobile networks, time-varying graphs remain poorly understood. Indeed, many of the usual concepts of static graphs have no obvi...
143
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
An approach for incremental learning of a 3D scene from a single static video camera is presented in this paper. In particular, we exploit the presence of casual people walking in...
131
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...