( en | de | ru )

 

Disambiguierung von "Yamada, Akihisa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Goal-Aware RSS for Complex Scenarios via Program Logic.

, , , , , , , , , , , , , , und . CoRR, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Chisaburo Yamada

Osamu Yamada

Hitoshi Yamada

Keiichi Yamada

Yoriko Yamada-Bochynek

 

Weitere Publikationen von Autoren mit dem selben Namen

A multi-core architecture of digital back-end for large mutual capacitance touch sensing systems., , , , , , , und . ISCAS, Seite 1382-1385. IEEE, (2015)Goal-Aware RSS for Complex Scenarios via Program Logic., , , , , , , , , und 5 andere Autor(en). CoRR, (2022)A unified ordering for termination proving., , und . Sci. Comput. Program., (2015)Architecture evaluation based on the datapath structure and parallel constraint., , , und . ASP-DAC, Seite 503-508. IEEE, (1997)Term Orderings for Non-reachability of (Conditional) Rewriting.. IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 248-267. Springer, (2022)A method of redundant clocking detection and power reduction at RT level design., , , und . ISLPED, Seite 131-136. ACM, (1997)Optimal Scheduling for Conditional Recource Sharing., , , , und . ISCAS, Seite 2297-2300. IEEE, (1995)Termination of Term Rewriting: Foundation, Formalization, Implementation, and Competition (Invited Talk).. FSCD, Volume 260 von LIPIcs, Seite 4:1-4:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Thread partitioning method for hardware compiler bach., , , und . ASP-DAC, Seite 303-308. ACM, (2000)Relational Differential Dynamic Logic., , , , , und . CoRR, (2019)