5325 search results - page 964 / 1065 » Effective Computation for Nonlinear Systems |
172
click to vote
CAV
2007
Springer
16 years 18 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
178
click to vote
CCS
2007
ACM
16 years 18 days ago
2007
ACM
Intrusion detection is a critical component of secure information systems. Network anomaly detection has been an active and difficult research topic in the field of Intrusion Dete...
156
click to vote
ISSRE
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
168
click to vote
TRIDENTCOM
2006
IEEE
16 years 12 days ago
2006
IEEE
—In this paper, we investigate the applicability of simulation and emulation for denial of service (DoS) attack experimentation. As a case study, we consider low-rate TCP-targete...
184
click to vote
IEEEPACT
2005
IEEE
16 years 5 hour ago
2005
IEEE
This paper presents a new technique for efficient usage of small trace caches. A trace cache can significantly increase the performance of wide out-oforder processors, but to be e...