Sciweavers

12551 search results - page 337 / 2511
» Reuse in Systems Engineering
Sort
View
ANCS
2009
ACM
15 years 5 months ago
A NFA-based programmable regular expression match engine
Pattern matching is the most computation intensive task of a network intrusion detection system (NIDS). In this paper we present a hardware architecture to speed up the pattern mat...
Derek Pao
174
Voted
FOSSACS
2010
Springer
16 years 2 months ago
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
Anthony Widjaja To, Leonid Libkin
165
Voted
FSTTCS
2009
Springer
16 years 2 months ago
Deductive Verification of Continuous Dynamical Systems
Ankur Taly, Ashish Tiwari
191
Voted
EUROMICRO
2007
IEEE
16 years 1 months ago
Component-Based Design of Safe Real-Time Kernels for Embedded Systems
Jesper Berthing, Christo Angelov