Takayasu Ito

35 papers A* 2Misc 1Journal 10Unranked 14
YearRankTypeTitle / Venue / Authors
2007 — conf
Embedded SoC Resource Manager to Control Temperature and Data Bandwidth.
ISSCC
Makoto Saen, Kenichi Osada, Satoshi Misaka, Tetsuya Yamada, Yoshitaka Tsujimoto, Yuki Kondo, Tatsuya Kamei, Yutaka Yoshida, Ei Nagahama, Yusuke Nitta, Takayasu Ito, Tadashi Kameyama, Naohiko Irie
2004 J jnl
A low-power microcontroller having a 0.5-μA standby current on-chip regulator with dual-reference scheme.
IEEE J. Solid State Circuits
Mitsuru Hiraki, Kenichi Fukui, Takayasu Ito
2002 J jnl
A 63-μW standby power microcontroller with on-chip hybrid regulator scheme.
IEEE J. Solid State Circuits
Mitsuru Hiraki, Takayasu Ito, Atsushi Fujiwara, Taichi Ohashi, Tetsuro Hamano, Takaaki Noda
2002 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
2002 J jnl
Guest Editorial.
Inf. Comput.
Takayasu Ito
2002 Misc conf
KRS-FZ: A Knowledge Representation System with Fuzzy Contraints.
IC-AI
Takayasu Ito, Toshihiro Moriya
2001 J jnl
Editorial.
High. Order Symb. Comput.
Olivier Danvy, Takayasu Ito, Carolyn L. Talcott
2000 — ed.
Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings
IFIP TCS
Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito
1997 A* conf
Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract).
LICS
Max I. Kanovich, Takayasu Ito
1997 — ed.
Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings
TACS
Martín Abadi, Takayasu Ito
1996 — ed.
Parallel Symbolic Languages and Systems, International Workshop PSLS'95, Beaune, France, October 2-4, 1995, Proceedings
PSLS
Takayasu Ito, Robert H. Halstead Jr., Christian Queinnec
1995 — conf
Efficient Evaluation Strategies for Structured Concurrency Constructs in Parallel Scheme Systems.
PSLS
Takayasu Ito
1995 — ed.
Theory and Practice of Parallel Programming, International Workshop TPPP'94, Sendai, Japan, November 7-9, 1994, Proceedings
TPPP
Takayasu Ito, Akinori Yonezawa
1994 — conf
Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution.
Theory and Practice of Parallel Programming
Shin'ichi Kawamoto, Takayasu Ito
1993 — ed.
Parallel Symbolic Computing: Languages, Systems, and Applications, US/Japan Workshop, Cambridge, MA, USA, October 14-17, 1992, Proceedings
Parallel Symbolic Computing
Robert H. Halstead Jr., Takayasu Ito
1992 — conf
Massively Parallel Architectures and Symbolic Computation (panel).
Parallel Symbolic Computing
Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa
1992 — conf
Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing.
Parallel Symbolic Computing
Robert H. Halstead Jr., Takayasu Ito
1992 — conf
P-Continuation Based Implementation of PaiLisp Interpreter.
Parallel Symbolic Computing
Takayasu Ito, Tomohiro Seino
1991 — ed.
Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings
Concurrency: Theory, Language, And Architecture
Akinori Yonezawa, Takayasu Ito
1991 — conf
LISP and Parallelism.
Artificial and Mathematical Theory of Computation
Takayasu Ito
1991 — ed.
Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings
TACS
Takayasu Ito, Albert R. Meyer
1990 — ed.
Parallel Lisp: Languages and Systems, US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
Workshop on Parallel Lisp
Takayasu Ito, Robert H. Halstead Jr.
1989 — conf
A Parallel Lisp Language PaiLisp and Its Kernel Specification.
Workshop on Parallel Lisp
Takayasu Ito, Manabu Matsui
1989 — conf
Logic of Execution: An Outline.
Concurrency: Theory, Language, And Architecture
Takayasu Ito
1987 J jnl
Preface: On Semantical Issues of Information.
New Gener. Comput.
Takayasu Ito
1986 — conf
Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine Models.
IFIP Congress
Takayasu Ito, Takashi Tamura, Shinichi Wada
1985 J jnl
A Step Towards Complementary Programming.
New Gener. Comput.
Takayasu Ito
1983 — conf
Regular Tree Expressions and Behaviors of Functional Nets.
IFIP Congress
Takayasu Ito
1975 A* conf
Color Picture Processing By Computer.
IJCAI
Takayasu Ito
1974 — conf
A Complete Axiom System of Super-Regular Expressions.
IFIP Congress
Takayasu Ito, Shigeru Ando
1973 J jnl
Towards color picture processing.
Comput. Graph. Image Process.
Takayasu Ito
1972 — conf
A formal approximation theory of semantic data types.
International Sympoisum on Theoretical Programming
Takayasu Ito
1969 J jnl
Note on a Class of Statistical Recognition Functions.
IEEE Trans. Computers
Takayasu Ito
1968 J jnl
A Note on a General Expansion of Functions of Binary Variables
Inf. Control.
Takayasu Ito
1968 — conf
Some Formal Properties of a Class of Non-Deterministic Program Schemata
SWAT
Takayasu Ito