Tetsuo Yokoyama

39 papers B 3C 6Misc 2Journal 19Unranked 8
YearRankTypeTitle / Venue / Authors
2024 C conf
Towards Clean Reversible Lossless Compression - A Reversible Programming Experiment with Zip.
RC
Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück, Tetsuo Yokoyama
2023 J jnl
Reversible computing from a programming language perspective.
Theor. Comput. Sci.
Robert Glück, Tetsuo Yokoyama
2022 J jnl
From reversible programming languages to reversible metalanguages.
Theor. Comput. Sci.
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
2022 J jnl
Making Programs Reversible with Minimal Extra Data.
New Gener. Comput.
Robert Glück, Tetsuo Yokoyama
2022 — conf
Reversible Programming: A Case Study of Two String-Matching Algorithms.
HCVS/VPT@ETAPS
Robert Glück, Tetsuo Yokoyama
2021 J jnl
Complete transition diagrams of generic Hamiltonian flows with a few heteroclinic orbits.
Discret. Math. Algorithms Appl.
Tetsuo Yokoyama, Tomoo Yokoyama
2021 C ed.
Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings
RC
Shigeru Yamashita, Tetsuo Yokoyama
2019 J jnl
Analyzing Trade-offs in Reversible Linear and Binary Search Algorithms.
CoRR
Hiroki Masuda, Tetsuo Yokoyama
2019 J jnl
Constructing a binary tree from its traversals by reversible recursion and iteration.
Inf. Process. Lett.
Robert Glück, Tetsuo Yokoyama
2019 — conf
Reversible Programs Have Reversible Semantics.
FM Workshops (2)
Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama
2018 — ch.
Clean Reversible Simulations of Ranking Binary Trees.
Reversibility and Universality
Yuhi Ohkubo, Tetsuo Yokoyama, Chishun Kanayama
2018 J jnl
Reversible Computing: Foundations and Software - Preface of Special Issue.
New Gener. Comput.
Robert Glück, Tetsuo Yokoyama
2017 J jnl
A Minimalist's Reversible While Language.
IEICE Trans. Inf. Syst.
Robert Glück, Tetsuo Yokoyama
2016 J jnl
A Linear-Time Self-Interpreter of a Reversible Imperative Language.
Inf. Media Technol.
Robert Glück, Tetsuo Yokoyama
2016 J jnl
Fundamentals of reversible flowchart languages.
Theor. Comput. Sci.
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2015 B conf
Programming Techniques for Reversible Comparison Sorts.
APLAS
Holger Bock Axelsen, Tetsuo Yokoyama
2014 J jnl
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform.
ACM J. Emerg. Technol. Comput. Syst.
Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Ægidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama
2013 C ed.
Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
RC
Robert Glück, Tetsuo Yokoyama
2012 Misc conf
Minimizing Garbage Size by Generating Reversible Simulations.
ICNC
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2012 J jnl
Optimizing Reversible Simulation of Injective Functions.
J. Multiple Valued Log. Soft Comput.
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2011 C conf
Towards a Reversible Functional Language.
RC
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2010 J jnl
Static Task Scheduling Algorithms Based on Greedy Heuristics for Battery-Powered DVS Systems.
IEICE Trans. Inf. Syst.
Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada
2009 — conf
Analyzing and optimizing energy efficiency of algorithms on DVS systems a first step towards algorithmic energy minimization.
ASP-DAC
Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada
2009 — conf
Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems.
ICESS
Tetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada
2009 B conf
Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems.
RTCSA
Gang Zeng, Tetsuo Yokoyama, Hiroyuki Tomiyama, Hiroaki Takada
2009 — conf
Reversible Computation and Reversible Programming Languages.
RC@ETAPS
Tetsuo Yokoyama
2008 — conf
Principles of a reversible programming language.
Conf. Computing Frontiers
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2008 — conf
Reversible Flowchart Languages and the Structured Reversible Program Theorem.
ICALP (2)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
2007 C conf
A reversible programming language and its invertible self-interpreter.
PEPM
Tetsuo Yokoyama, Robert Glück
2007 Misc conf
Reversible Machine Code and Its Abstract Processor Architecture.
CSR
Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama
2005 — conf
Program Optimizations and Transformations in Calculation Form.
GTTSE
Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
2004 J jnl
Deterministic second-order patterns.
Inf. Process. Lett.
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2003 C conf
Deterministic Higher-Order Patterns for Program Transformation.
LOPSTR
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2002 B conf
Yicho - A System for Programming Program Calculations.
APLAS
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
1994 J jnl
Interactive 3-dimensional segmentation method based on region growing method.
Syst. Comput. Jpn.
Hiroyuki Sekiguchi, Koichi Sano, Tetsuo Yokoyama
1991 J jnl
High-precision t
Syst. Comput. Jpn.
Shinichi Satou, Koichi Sano, Tetsuo Yokoyama, Hideaki Koizumi
1989 J jnl
MR image reconstruction from half the data using a phase map.
Syst. Comput. Jpn.
Koichi Sano, Kazuo Suzuki, Tetsuo Yokoyama, Hideaki Koizumi
1988 J jnl
A method of analytic phase correction in magnetic resonance imaging and its application to blood-flow imaging.
Syst. Comput. Jpn.
Koichi Sano, Tetsuo Yokoyama, Shinichi Satou, Hideaki Koizumi
1988 J jnl
Image registration method using adaptive nonlinear filter.
Syst. Comput. Jpn.
Koichi Morishita, Tetsuo Yokoyama