Zobrazeno 1 - 10
of 1 322
pro vyhledávání: '"NAKAYAMA, Takashi"'
Automated verification of functional correctness of imperative programs with references (a.k.a. pointers) is challenging because of reference aliasing. Ownership types have recently been applied to address this issue, but the existing approaches were
Externí odkaz:
http://arxiv.org/abs/2310.20430
Autor:
Yamamoto, Kayo, Saito, Yuichi, Hashimoto, Osamu, Nakayama, Takashi, Okino, Shinichi, Sakai, Yoshiaki, Nakamura, Yoshitake, Fukuzawa, Shigeru, Himi, Toshiharu, Kobayashi, Yoshio
Publikováno v:
In The American Journal of Cardiology 1 February 2024 212:103-108
Autor:
Nakayama, Takashi, Kushida, Shunichi, Okino, Shinichi, Fukuzawa, Shigeru, Abiko, Akihiko, Itoh, Tomonori, Nakamura, Yoshitake, Nakashima, Takahiro, Goto, Kenji, Takebayashi, Hideo, Oshitomi, Takashi, Sakamoto, Tomohiro, Kojima, Sunao, Otsuka, Yoritaka, Himi, Toshiharu, Inagaki, Yusuke, Yamaguchi, Junichi, Hagiya, Kenichi, Nanasato, Mamoru, Kobayashi, Yoshio, Hashimoto, Osamu, Saito, Yuichi, Sasaki, Haruka, Yumoto, Keita, Oshima, Susumu, Tobaru, Tetsuya, Kanda, Junji, Sakai, Yoshiaki, Yasuda, Satoshi
Publikováno v:
In The Journal of Thoracic and Cardiovascular Surgery February 2024 167(2):596-601
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kanagami, Teruaki, Saito, Yuichi, Hashimoto, Osamu, Nakayama, Takashi, Okino, Shinichi, Sakai, Yoshiaki, Nakamura, Yoshitake, Fukuzawa, Shigeru, Himi, Toshiharu, Kobayashi, Yoshio
Publikováno v:
In International Journal of Cardiology 15 November 2023 391
Autor:
Saito, Yuichi, Hashimoto, Osamu, Nakayama, Takashi, Sasaki, Haruka, Yumoto, Keita, Oshima, Susumu, Tobaru, Tetsuya, Kushida, Shunichi, Kanda, Junji, Sakai, Yoshiaki, Okino, Shinichi, Fukuzawa, Shigeru, Abiko, Akihiko, Itoh, Tomonori, Nakamura, Yoshitake, Nakashima, Takahiro, Yasuda, Satoshi, Goto, Kenji, Takebayashi, Hideo, Oshitomi, Takashi, Sakamoto, Tomohiro, Kojima, Sunao, Otsuka, Yoritaka, Himi, Toshiharu, Inagaki, Yusuke, Yamaguchi, Junichi, Hagiya, Kenichi, Nanasato, Mamoru, Kobayashi, Yoshio
Publikováno v:
In International Journal of Cardiology 15 January 2023 371:49-53
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Matsuno, Miu, Tagami, Ayaka, Okada, Tomomi, Matsumoto, Satoshi, Kawamura, Yuta, Iio, Yoshihisa, Sato, Tadashi, Nakayama, Takashi, Hirahara, Satoshi, Bannister, Stephen, Ristau, John, Savage, Martha K., Thurber, Clifford H., Sibson, Richard H.
Publikováno v:
In Tectonophysics 20 July 2022 835