Sciweavers

2324 search results - page 275 / 465
» A Fast Keyword-Spotting Technique
Sort
View
ACSAC
2002
IEEE
15 years 11 months ago
Throttling Viruses: Restricting propagation to defeat malicious mobile code
Modern computer viruses spread incredibly quickly, far faster than human-mediated responses. This greatly increases the damage that they cause. This paper presents an approach to ...
Matthew M. Williamson
ATS
2002
IEEE
118views Hardware» more  ATS 2002»
15 years 11 months ago
Diagnosis Of Byzantine Open-Segment Faults
This paper addresses the problem of locating the stuckopen faults in a manufactured IC with scan flip-flops. Unlike most previous methods that only aim at identifying the faulty s...
Shi-Yu Huang
KBSE
2002
IEEE
15 years 11 months ago
What Makes Finite-State Models More (or Less) Testable?
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
David Owen, Tim Menzies, Bojan Cukic
ARCS
2010
Springer
15 years 11 months ago
Complexity-Effective Rename Table Design for Rapid Speculation Recovery
Register renaming is a widely used technique to remove false data dependencies in contemporary superscalar microprocessors. The register rename logic includes a mapping table that ...
Görkem Asilioglu, Emine Merve Kaya, Oguz Ergi...
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 11 months ago
A limiting property of the matrix exponential with application to multi-loop control
— A limiting property of the matrix exponential is proven: For a real square matrix, where the log norm of the upper-left n by n block approaches negative infinity in a limiting...
Sebastian Trimpe, Raffaello D'Andrea