年単位の研究成果
Fingerprint Kazunori Uedaが取り組む研究トピックをご確認ください。これらのトピックラベルは、この人物の研究に基づいています。これらを共に使用することで、固有の認識が可能になります。
Logic programming
Engineering & Materials Science
Hybrid systems
Engineering & Materials Science
Computer programming languages
Engineering & Materials Science
Model checking
Engineering & Materials Science
Parallel programming
Engineering & Materials Science
Graph Rewriting
Mathematics
Concurrency
Mathematics
Concurrent
Mathematics
ネットワーク
最近の共同研究。丸をクリックして詳細を確認しましょう。
研究成果 1984 2019
Generation of efficient obfuscated code through just-in-time compilation
Hataba, M., El-Mahdy, A. & Ueda, K., 2019 3 1, ： : IEICE Transactions on Information and Systems. E102D, 3, p. 645-649 5 p.研究成果: Article
公開
Cloud computing
Engineers
Processing
Costs
Introducing symmetry to graph rewriting systems with process abstraction
Tomioka, T., Tsunekawa, Y. & Ueda, K., 2019 1 1, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Proceedings. Orejas, F. & Guerra, E. (版). Springer-Verlag, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11629 LNCS).研究成果: Conference contribution
Graph Rewriting
Rewriting Systems
Symmetry
Symmetry Reduction
Model checking
Implementation of LMNtal Model Checkers: A Metaprogramming Approach
Tsunekawa, Y., Tomioka, T. & Ueda, K., 2018 11 1, ： : Journal of Object Technology. 17, 1研究成果: Article
Application programming interfaces (API)
Modeling languages
Name binding is easy with hypergraphs
Yasen, A. & Ueda, K., 2018 4 1, ： : IEICE Transactions on Information and Systems. E101D, 4, p. 1126-1140 15 p.研究成果: Article
Substitution reactions
Computer programming languages
Functional programming
Logic programming
Graph theory
Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project
Ueda, K., 2017, (Accepted/In press) ： : Science of Computer Programming.研究成果: Article
Logic programming
Parallel programming
Computer architecture
Computer operating systems
Parallel algorithms