1279 search results - page 9 / 256 » Fast Implementations of Automata Computations |
ALIFE
2010
13 years 7 months ago
2010
Edgar Codd's 1968 design for a self-replicating cellular automata machine has never been implemented. Partly this is due to its enormous size but we have also identified four...
RAID
2010
Springer
13 years 5 months ago
2010
Springer
Network intrusion detection systems (NIDS) make extensive use of regular expressions as attack signatures. Internally, NIDS represent and operate these signatures using finite au...
ENTCS
2010
13 years 4 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
ICIP
2009
IEEE
14 years 8 months ago
2009
IEEE
Vector filters based on order-statistics have proved successful in removing impulsive noise from color images while preserving edges and fine image details. Among these filters, t...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...