Search
Search Results
-
On languages generated by isotonic array P systems with/without priority rules
Membrane computing and array grammars are two well-known areas in formal language theory. In this paper, we investigate the languages generated by...
-
Adapting combined tiling to stencil optimizations on sunway processor
Stencil is one of the indispensable computation patterns in scientific applications, which is a long-standing optimization target in the field of...
-
2D Oxide Picture Languages and Their Properties
In the theory of formal languages, two-dimensional (picture) languages are a generalization of string languages to two dimensions. Pictures may be...
-
The Alphabetic Complexity in Homomorphic Definitions of Word, Tree and Picture Languages
The Medvedev’s Theorem (MT) characterizes a regular language as the projection of a local, i.e., a strictly-locally-testable language of order...
-
Reducing Local Alphabet Size in Recognizable Picture Languages
A recognizable picture language is defined as the projection of a local picture language defined by a set of two-by-two tiles, i.e. by a...
-
Row-Column Combination of Dyck Words
We lift the notion of Dyck language from words to 2-dimensional arrays of symbols, i.e., pictures. We define the Dyck crossword language...
-
Modal Logics and Local Quantifiers: A Zoo in the Elementary Hierarchy
We study a family of modal logics interpreted on tree-like structures, and featuring local quantifiers...
-
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding
A classic result in language theory is Medvedev’s theorem for trees, stating that any regular tree language can be defined by the projection of a...
-
Weighted Three Directions OTA and Weighted Hexapolic Picture Automata
Two-dimensional hexagonal arrays seen on a triangular grid can be treated as two-dimensional representations of three-dimensional rectangular...
-
Hexagonal picture generation in DNA computing
Hexagonal picture languages are essential for studying the topological properties of a digital image. The P system and grammar are used in the...
-
Efficient High-Level Programming in Plain Java
This paper introduces the support for develo** efficient parallel programs in plain Java in the Gaspar framework. The framework supports a complete...
-
Recognition and Complexity Results for Projection Languages of Two-Dimensional Automata
The row projection (resp., column projection) of a given two-dimensional language L is the one-dimensional language consisting of first rows (resp.,...
-
Precompiler for the ACELAN-COMPOS Package Solvers
This article proposes precompilers to accelerate the solvers of the application software package. The substantiations of this approach are given. The...
-
LSTM-based Siamese neural network for Urdu news story segmentation
News story segmentation is a challenging task mainly due to the dynamic range of topics, smooth story transitions, and varied duration of each story....
-
Survey of convolutional neural network accelerators on field-programmable gate array platforms: architectures and optimization techniques
With the recent advancements in high-performance computing, convolutional neural networks (CNNs) have achieved remarkable success in various vision...
-
Optimization of Reversible Control Flow Graphs
Growing interest in reversible computation has led to an accelerated development of reversible programming languages and software, which reinforces...
-
Partial Array Token Petri Net and P System
The innovative model of partial array languages generated by basic puzzle partial array grammars is available in the literature. Here we define...
-
swCUDA: Auto parallel code translation framework from CUDA to ATHREAD for new generation sunway supercomputer
Since specific hardware characteristics and low-level programming model are adapted to both NVIDIA GPU and new generation Sunway architecture,...
-
Programming bare-metal accelerators with heterogeneous threading models: a case study of Matrix-3000
As the hardware industry moves toward using specialized heterogeneous many-core processors to avoid the effects of the power wall, software...
-
Alpinist: An Annotation-Aware GPU Program Optimizer
GPU programs are widely used in industry. To obtain the best performance, a typical development process involves the manual or semi-automatic...