5325 search results - page 964 / 1065 » Effective Computation for Nonlinear Systems |
135
Voted
CAV
2007
Springer
15 years 9 months 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...
133
Voted
CCS
2007
ACM
15 years 9 months 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...
118
Voted
ISSRE
2006
IEEE
15 years 9 months 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...
127
Voted
TRIDENTCOM
2006
IEEE
15 years 9 months 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...
139
Voted
IEEEPACT
2005
IEEE
15 years 9 months 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...