Takayasu Ito

According to our database, Takayasu Ito authored at least 26 papers between 1968 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Embedded SoC Resource Manager to Control Temperature and Data Bandwidth.

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

Proceedings of the 2007 IEEE International Solid-State Circuits Conference, 2007

2004

A low-power microcontroller having a 0.5-μA standby current on-chip regulator with dual-reference scheme.

Mitsuru Hiraki, Kenichi Fukui, Takayasu Ito

IEEE J. Solid State Circuits, 2004

2002

A 63-μW standby power microcontroller with on-chip hybrid regulator scheme.

Mitsuru Hiraki, Takayasu Ito, Atsushi Fujiwara, Taichi Ohashi, Tetsuro Hamano, Takaaki Noda

IEEE J. Solid State Circuits, 2002

Guest Editorial.

Takayasu Ito

Inf. Comput., 2002

KRS-FZ: A Knowledge Representation System with Fuzzy Contraints.

Takayasu Ito, Toshihiro Moriya

Proceedings of the International Conference on Artificial Intelligence, 2002

2001

Editorial.

Olivier Danvy, Takayasu Ito, Carolyn L. Talcott

High. Order Symb. Comput., 2001

1997

Temporal Linear Logic Specifications for Concurrent Processes (Extended Abstract).

Max I. Kanovich, Takayasu Ito

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1995

Efficient Evaluation Strategies for Structured Concurrency Constructs in Parallel Scheme Systems.

Takayasu Ito

Proceedings of the Parallel Symbolic Languages and Systems, 1995

1994

Multi-threaded PaiLisp with Granularity Adaptive Parallel Execution.

Shin'ichi Kawamoto, Takayasu Ito

Proceedings of the Theory and Practice of Parallel Programming, 1994

1992

P-Continuation Based Implementation of PaiLisp Interpreter.

Takayasu Ito, Tomohiro Seino

Proceedings of the Parallel Symbolic Computing: Languages, 1992

Massively Parallel Architectures and Symbolic Computation (panel).

Takayasu Ito, Rishiyur S. Nikhil, Julian A. Padget, Norihisa Suzuki, Taiichi Yuasa

Proceedings of the Parallel Symbolic Computing: Languages, 1992

Overview of Papers from U.S./Japan Workshop on Parallel Symbolic Computing.

Robert H. Halstead Jr., Takayasu Ito

Proceedings of the Parallel Symbolic Computing: Languages, 1992

1991

LISP and Parallelism.

Takayasu Ito

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

1989

A Parallel Lisp Language PaiLisp and Its Kernel Specification.

Takayasu Ito, Manabu Matsui

Proceedings of the Parallel Lisp: Languages and Systems, 1989

Logic of Execution: An Outline.

Takayasu Ito

Proceedings of the Concurrency: Theory, 1989

1987

Preface: On Semantical Issues of Information.

Takayasu Ito

New Gener. Comput., 1987

1986

Theoretical Comparisons of Interpreted/Compiled Executions of Lisp on Sequential and Parallel Machine Models.

Takayasu Ito, Takashi Tamura, Shinichi Wada

Proceedings of the Information Processing 86, 1986

1985

A Step Towards Complementary Programming.

Takayasu Ito

New Gener. Comput., 1985

1983

Regular Tree Expressions and Behaviors of Functional Nets.

Takayasu Ito

Proceedings of the Information Processing 83, 1983

1975

Color Picture Processing By Computer.

Takayasu Ito

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975

1974

A Complete Axiom System of Super-Regular Expressions.

Takayasu Ito, Shigeru Ando

Proceedings of the Information Processing, 1974

1973

Towards color picture processing.

Takayasu Ito

Comput. Graph. Image Process., 1973

1972

A formal approximation theory of semantic data types.

Takayasu Ito

Proceedings of the International Sympoisum on Theoretical Programming, 1972

1969

Note on a Class of Statistical Recognition Functions.

Takayasu Ito

IEEE Trans. Computers, 1969

1968

A Note on a General Expansion of Functions of Binary Variables

Takayasu Ito

Inf. Control., March, 1968

Some Formal Properties of a Class of Non-Deterministic Program Schemata

Takayasu Ito

Proceedings of the 9th Annual Symposium on Switching and Automata Theory, 1968