Search Sciweavers | Sciweavers

12551 search results - page 337 / 2511

» Reuse in Systems Engineering

200

click to vote

ANCS
2009
ACM

212views Computer Networks» more ANCS 2009»

A NFA-based programmable regular expression match engine

15 years 4 months ago

Download www.ee.cityu.edu.hk

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

claim paper

Read More »

157

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

138

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

16 years 1 months ago

Download www-cs-students.stanford.edu

Ankur Taly, Ashish Tiwari

claim paper

Read More »

160

click to vote

ISORC
2008
IEEE

78views Distributed And Parallel Com...» more ISORC 2008»

Design Methodologies for Embedded Systems: Where is the Super-Glue?

16 years 1 months ago

Download pagesperso-systeme.lip6.fr

Fabrice Kordon

claim paper

Read More »

171

click to vote

EUROMICRO
2007
IEEE

173views Software Engineering» more EUROMICRO 2007»

Component-Based Design of Safe Real-Time Kernels for Embedded Systems

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers