|
DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks
|
|
Shoji KASAHARA, Jun KAWAHARA, Shin-ichi MINATO, Jumpei MORI
|
106 |
3 |
272–283 |
2023 |
15.29 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Pumping Lemmas for Languages Expressed by Computational Models with Registers
|
|
Rindo NAKANISHI, Yoshiaki TAKATA, Hiroyuki SEKI
|
106 |
3 |
284–293 |
2023 |
11.54 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata
|
|
Yoshiaki TAKATA, Akira ONISHI, Ryoma SENDA, Hiroyuki SEKI
|
106 |
3 |
294–302 |
2023 |
13.46 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
On the Unmixedness Problems of Colored Pushdown Automata
|
|
Yoshiaki TAKAHASHI, Akira ITO
|
106 |
3 |
303–308 |
2023 |
14.37 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Weighted Multiple Context-Free Grammars
|
|
Yusuke INOUE, Kenji HASHIMOTO, Hiroyuki SEKI
|
106 |
3 |
309–318 |
2023 |
14.27 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
An Interactive and Reductive Graph Processing Library for Edge Computing in Smart Society
|
|
Jun ZHOU, Masaaki KONDO
|
106 |
3 |
319–327 |
2023 |
9.52 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Calculation Solitaire is NP-Complete
|
|
Chuzo IWAMOTO, Tatsuya IDE
|
106 |
3 |
328–332 |
2023 |
9.48 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Choice Disjunctive Queries in Logic Programming
|
|
Keehang KWON, Daeseong KANG
|
106 |
3 |
333–336 |
2023 |
7.69 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
RT-libSGM: FPGA-Oriented Real-Time Stereo Matching System with High Scalability
|
|
Kaijie WEI, Yuki KUNO, Masatoshi ARAI, Hideharu AMANO
|
106 |
3 |
337–348 |
2023 |
12.37 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|
|
Split and Eliminate: A Region-Based Segmentation for Hardware Trojan Detection
|
|
Ann Jelyn TIEMPO, Yong-Jin JEONG
|
106 |
3 |
349–356 |
2023 |
22.71 |
|
Average Rating: 0.0 / 5
(0 Reviews)
|