Results 1 to 10 of about 1,233,843 (271)
Lazy AC-Pattern Matching for Rewriting [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We define a lazy pattern-matching mechanism modulo associativity and commutativity. The solutions of a pattern-matching problem are stored in a lazy list composed of a first substitution at the head and a non-evaluated object that encodes the remaining ...
Walid Belkhir, Alain Giorgetti
doaj +7 more sources
Improved LINE-1 Detection through Pattern Matching by Increasing Probe Length [PDF]
BiologyLong Interspersed Element-1 (LINE-1 or L1) is an autonomous transposable element that accounts for 17% of the human genome. Strong correlations between abnormal L1 expression and diseases, particularly cancer, have been documented by numerous studies ...
Juan O. López +2 more
doaj +2 more sources
Adaptive Non-linear Pattern Matching Automata [PDF]
Logical Methods in Computer Science, 2021 Efficient pattern matching is fundamental for practical term rewrite engines. By preprocessing the given patterns into a finite deterministic automaton the matching patterns can be decided in a single traversal of the relevant parts of the input term ...
Rick Erkens, Maurice Laveaux
doaj +1 more source
Accelerating Pattern Matching Using a Novel Multi-Pattern-Matching Algorithm on GPU
Applied Sciences, 2023 Nowadays, almost all network traffic is encrypted. Attackers hide themselves using this traffic and attack over encrypted channels. Inspections performed only on packet headers and metadata are insufficient for detecting cyberattacks over encrypted ...
Merve Çelebi, Uraz Yavanoğlu
doaj +1 more source
Proceedings of the 15th ACM SIGPLAN International Haskell Symposium, 2022 Haskell is a popular choice for hosting deeply embedded languages. A recurring challenge for these embeddings is how to seamlessly integrate user defined algebraic data types. In particular, one important, convenient, and expressive feature for creating and inspecting data -- pattern matching -- is not directly available on embedded terms. We present a
McDonell, Trevor L. +2 more
openaire +3 more sources
Refactoring pattern matching [PDF]
Science of Computer Programming, 2013 Defining functions by pattern matching over the arguments is advantageous for understanding and reasoning, but it tends to expose the implementation of a datatype. Significant effort has been invested in tackling this loss of modularity; however, decoupling patterns from concrete representations while maintaining soundness of reasoning has been a ...
Wang, Meng +3 more
openaire +3 more sources
Pattern Matching Based on Object Graphs
IEEE Access, 2021 Pattern matching has been widely adopted in functional programming languages, and is gradually getting popular in OO languages, from Scala to Python.
Wei Ke, Ka-Hou Chan
doaj +1 more source
Generalised Pattern Matching Revisited [PDF]
, 2020 In the problem of Generalised Pattern Matching (GPM) [STOC'94, Muthukrishnan and Palem], we are given a text T of length n over an alphabet Σ_T, a pattern P of length m over an alphabet Σ_P, and a matching relationship ⊆ Σ_T × Σ_P, and must return all ...
Dudek, Bartłomiej +2 more
core +2 more sources
Order-Preserving Multiple Pattern Matching in Parallel
Applied Sciences, 2023 The order-preserving multiple pattern matching problem is to find all substrings of T whose relative orders are the same for any pattern in a set of patterns.
Somin Park +3 more
doaj +1 more source
Outsourced pattern matching [PDF]
International Journal of Information Security, 2013 In secure delegatable computation, computationally weak devices (or clients) wish to outsource their computation and data to an untrusted server in the cloud. While most earlier work considers the general question of how to securely outsource any computation to the cloud server, we focus on concrete and important functionalities and give the first ...
Faust, Sebastian +2 more
openaire +4 more sources