2623 search results - page 272 / 525 » tools 2010 |
144
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
In this paper, we propose a scalable instant code clone search engine for large-scale software repositories. While there are commercial code search engines available, they treat s...
135
click to vote
TACAS
2010
Springer
15 years 3 months ago
2010
Springer
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
179
click to vote
TRUSTBUS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Due to the large size and complex structure of modern networks, firewall policies can contain several thousand rules. The size and complexity of these policies require au...
142
click to vote
USS
2010
15 years 3 months ago
2010
Capsicum is a lightweight operating system capability and sandbox framework planned for inclusion in FreeBSD 9. Capsicum extends, rather than replaces, UNIX APIs, providing new ke...
173
click to vote
VAMOS
2010
Springer
15 years 3 months ago
2010
Springer
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...