7167 search results - page 1357 / 1434 » A Technique for Invariant Generation |
102
click to vote
JCDL
2010
ACM
15 years 2 months ago
2010
ACM
In recent years, the vast amount of digitally available content has lead to the creation of many topic-centered digital libraries. Also in the domain of chemistry more and more di...
109
click to vote
PASTE
2010
ACM
15 years 2 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...
ACSC
2002
IEEE
15 years 2 months ago
2002
IEEE
HyperScout, a Web application, is an intermediary between a server and a client. It intercepts a page to the client, gathers information on each link, and annotates each link with...
ICDCSW
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract—Caching static HTTP traffic in proxy-caches has reduced bandwidth consumption and download latency. However, web-caching performance is hard to increase further due to ...