Search

Your search keyword '"Ueda, Kazunori"' showing total 377 results
Start Over Author "Ueda, Kazunori"
377 results on '"Ueda, Kazunori"'

2. Type checking data structures more complex than trees

Author

Sano, Jin, Yamamoto, Naoki, and Ueda, Kazunori

Subjects
Computer Science - Programming Languages, 68N06
Abstract

Graphs are a generalized concept that encompasses more complex data structures than trees, such as difference lists, doubly-linked lists, skip lists, and leaf-linked trees. Normally, these structures are handled with destructive assignments to heaps, which is opposed to a purely functional programming style and makes verification difficult. We propose a new purely functional language, $\lambda_{GT}$, that handles graphs as immutable, first-class data structures with a pattern matching mechanism based on Graph Transformation and developed a new type system, $F_{GT}$, for the language. Our approach is in contrast with the analysis of pointer manipulation programs using separation logic, shape analysis, etc. in that (i) we do not consider destructive operations but pattern matchings over graphs provided by the new higher-level language that abstract pointers and heaps away and that (ii) we pursue what properties can be established automatically using a rather simple typing framework., Comment: 19 pages, 27 figures

Published
2022

5. Declarative Semantics of the Hybrid Constraint Language HydLa

Author

Ueda, Kazunori, Hosobe, Hiroshi, and Ishii, Daisuke

Subjects
Computer Science - Programming Languages
Abstract

Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation of HydLa, a constraint-based modeling language for hybrid systems, with a view to the proper handling of uncertainties and the integration of simulation and verification. HydLa's constraint hierarchies facilitate the description of constraints with adequate strength, but its semantical foundations are not obvious due to the interaction of various language constructs. This paper gives the declarative semantics of HydLa and discusses its properties and consequences by means of examples., Comment: 10 pages, 3 figures. This is an English translation of the paper that originally appeared in Computer Software, Vol.28, No.1 (2011), pp.306-311, doi:10.11309/jssst.28.1_306

Published
2019

8. DTN Routing Method Based on Node Movement Prediction and Message Deliverability

Author

Ueda, Kazunori, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Barolli, Leonard, editor, Miwa, Hiroyoshi, editor, and Enokido, Tomoya, editor

Published
2022
Full Text
View/download PDF

11. Routing Method Based on Data Transfer Path in DTN Environments

Author

Ikenoue, Kazuma, Ueda, Kazunori, Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Barolli, Leonard, editor, Hellinckx, Peter, editor, and Enokido, Tomoya, editor

Published
2020
Full Text
View/download PDF

12. DTN Sub-ferry Nodes Placement with Consideration for Battery Consumption

Author

Ueda, Kazunori, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Barolli, Leonard, editor, Nishino, Hiroaki, editor, Enokido, Tomoya, editor, and Takizawa, Makoto, editor

Published
2020
Full Text
View/download PDF

13. Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

Author

Yamada, Yunosuke, Sato, Masashi, Ueda, Kazunori, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Chamberlain, Roger, editor, Edin Grimheden, Martin, editor, and Taha, Walid, editor

Published
2020
Full Text
View/download PDF

16. Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

Author

Tomioka, Taichi, Tsunekawa, Yutaro, Ueda, Kazunori, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Guerra, Esther, editor, and Orejas, Fernando, editor

Published
2019
Full Text
View/download PDF

21. Unification of Hypergraph -Terms

Author

Yasen, Alimujiang, Ueda, Kazunori, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Mousavi, Mohammad Reza, editor, and Sgall, Jiří, editor

Published
2017
Full Text
View/download PDF

22. Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection

Author

Betsuno, Kenichi, Matsumoto, Shota, Ueda, Kazunori, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Berger, Christian, editor, Mousavi, Mohammad Reza, editor, and Wisniewski, Rafael, editor

Published
2017
Full Text
View/download PDF

23. Kima - an Automated Error Correction System for Concurrent Logic Programs

Author

Ajiro, Yasuhiro and Ueda, Kazunori

Subjects
Computer Science - Software Engineering, Computer Science - Programming Languages, D.2.5
Abstract

We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explicit declarations of program properties. Strong moding/typing and constraint-based analysis are turning to play fundamental roles in debugging concurrent logic programs as well as in establishing the consistency of communication protocols and data types. Mode/type analysis of Moded Flat GHC is a constraint satisfaction problem with many simple mode/type constraints, and can be solved efficiently. We proposed a simple and efficient technique which, given a non-well-moded/typed program, diagnoses the ``reasons'' of inconsistency by finding minimal inconsistent subsets of mode/type constraints. Since each constraint keeps track of the symbol occurrence in the program, a minimal subset also tells possible sources of program errors. Kima realizes automated correction by replacing symbol occurrences around the possible sources and recalculating modes and types of the rewritten programs systematically. As long as bugs are near-misses, Kima proposes a rather small number of alternatives that include an intended program., Comment: In M. Ducasse (ed), proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), August 2000, Munich. cs.SE/0010035

Published
2000

24. Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project

Author

Ueda, Kazunori, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kiselyov, Oleg, editor, and King, Andy, editor

Published
2016
Full Text
View/download PDF

30. Towards a Substrate Framework of Computation

Author

Ueda, Kazunori, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Agha, Gul, editor, Igarashi, Atsushi, editor, Kobayashi, Naoki, editor, Masuhara, Hidehiko, editor, Matsuoka, Satoshi, editor, Shibayama, Etsuya, editor, and Taura, Kenjiro, editor

Published
2014
Full Text
View/download PDF

35. Asymmetric DHT Based on Performance of Peers

Author

Ueda, Kazunori, Kawada, Kazuhisa, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hong, Choong Seon, editor, Tonouchi, Toshio, editor, Ma, Yan, editor, and Chao, Chi-Shih, editor

Published
2009
Full Text
View/download PDF

36. Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems

Author

Ueda, Kazunori, Ayano, Takayuki, Hori, Taisuke, Iwasawa, Hiroki, Ogawa, Seiji, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Leucker, Martin, editor, and Morgan, Carroll, editor

Published
2009
Full Text
View/download PDF

37. c-sat: A Parallel SAT Solver for Clusters

Author

Ohmura, Kei, Ueda, Kazunori, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Kullmann, Oliver, editor

Published
2009
Full Text
View/download PDF

38. Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting

Author

Ueda, Kazunori, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Voronkov, Andrei, editor

Published
2008
Full Text
View/download PDF

41. LMNtal: A Language Model with Links and Membranes

Author

Ueda, Kazunori, Kato, Norio, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Mauri, Giancarlo, editor, Păun, Gheorghe, editor, Pérez-Jiménez, Mario J., editor, Rozenberg, Grzegorz, editor, and Salomaa, Arto, editor

Published
2005
Full Text
View/download PDF

45. Concurrent Logic/Constraint Programming: The Next 10 Years

Author

Ueda, Kazunori, Amarel, S., editor, Biermann, A., editor, Bolc, L., editor, Hayes, P., editor, Joshi, A., editor, Lenat, D., editor, Loveland, D. W., editor, Mackworth, A., editor, Nau, D., editor, Reiter, R., editor, Sandewall, E., editor, Shafer, S., editor, Shoham, Y., editor, Siekmann, J., editor, Wahlster, W., editor, Apt, Krzysztof R., editor, Marek, Victor W., editor, Truszczynski, Mirek, editor, and Warren, David S., editor

Published
1999
Full Text
View/download PDF

50. Error-correcting Source Code

Author

Ajiro, Yasuhiro, Ueda, Kazunori, Cho, Kenta, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Maher, Michael, editor, and Puget, Jean-Francois, editor

Published
1998
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results