Sciweavers

2482 search results - page 230 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
114
Voted
TON
2012
13 years 5 months ago
Scalable Lookahead Regular Expression Detection System for Deep Packet Inspection
—Regular expressions (RegExes) are widely used, yet their inherent complexity often limits the total number of RegExes that can be detected using a single chip for a reasonable t...
Masanori Bando, N. Sertac Artan, H. Jonathan Chao
JCB
2007
146views more  JCB 2007»
15 years 2 months ago
MSOAR: A High-Throughput Ortholog Assignment System Based on Genome Rearrangement
The assignment of orthologous genes between a pair of genomes is a fundamental and challenging problem in comparative genomics, since many computational methods for solving variou...
Zheng Fu, Xin Chen, Vladimir Vacic, Peng Nan, Yang...
GECCO
2006
Springer
180views Optimization» more  GECCO 2006»
15 years 6 months ago
Growth of self-canceling code in evolutionary systems
This research examines the behavior of inoperative code (introns) in the evolution of genetically robust solutions. Genetically robust solutions are solutions that are less likely...
Xue Zhong, Terence Soule
98
Voted
APN
2003
Springer
15 years 7 months ago
The Model-Checking Kit
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
Claus Schröter, Stefan Schwoon, Javier Esparz...
222
Voted
POPL
2003
ACM
16 years 2 months ago
Bitwidth aware global register allocation
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
Sriraman Tallam, Rajiv Gupta