3750 search results - page 345 / 750 » Timed Automata Patterns |
154
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Pseudo-random number generators (PRNG) have been intensively used in many stochastic algorithms in artificial intelligence, computer graphics and other scientific computing. ...
136
click to vote
RECONFIG
2008
IEEE
15 years 11 months ago
2008
IEEE
—We present algorithms for implementing large-scale regular expression matching (REM) on FPGA. Based on the proposed algorithms, we develop tools that first transform regular ex...
142
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The security of your data and of your network is in the hands of intrusion detection systems, virus scanners and spam filters, which are all critically based on string matching. ...
137
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
133
click to vote
CONCUR
2007
Springer
15 years 11 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...