17 search results - page 4 / 4 » Pattern matching in reconfigurable logic for packet classifi... |
ICFP
2009
ACM
14 years 6 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
BMCBI
2004
13 years 6 months ago
2004
Background: Conserved protein sequence motifs are short stretches of amino acid sequence patterns that potentially encode the function of proteins. Several sequence pattern search...