Sciweavers

2236 search results - page 226 / 448
» Intrusion detection techniques and approaches
Sort
View
HPCA
2009
IEEE
16 years 7 months ago
Feedback mechanisms for improving probabilistic memory prefetching
This paper presents three techniques for improving the effectiveness of the recently proposed Adaptive Stream Detection (ASD) prefetching mechanism. The ASD prefetcher is a standa...
Ibrahim Hur, Calvin Lin
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
16 years 24 days ago
Discovering event evidence amid massive, dynamic datasets
Automated event extraction remains a very difficult challenge requiring information analysts to manually identify key events of interest within massive, dynamic data. Many techniq...
Robert M. Patton, Thomas E. Potok
ITC
1997
IEEE
92views Hardware» more  ITC 1997»
15 years 11 months ago
Capacitive Leadframe Testing
Capacitive Leadframe testing is an effective approach for detecting faults in printed circuit boards. Capacitance measurements, however, are affected by mechanical variations duri...
Ted T. Turner
SPIN
2007
Springer
16 years 23 days ago
SAT-Based Summarization for Boolean Programs
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
Gérard Basler, Daniel Kroening, Georg Weiss...
PTS
2008
98views Hardware» more  PTS 2008»
15 years 8 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...