Background
Kondratyev, Alex was born on January 27, 1960 in St. Petersburg, Russia. Arrived in Japan, 1993. Son of Yuri and Bella Kondratyev.
- Photos
- Works
- Photos
- Works
book
Concurrent Hardware: The Theory and Practice of Self-timed Design (Wiley Series in Parallel Computing)
(Examines the theory and design of self-timed systems. The...)
Examines the theory and design of self-timed systems. The logical design of self-timed circuits (STCs) provides a focal point for, on the one hand, those interested in formal models of parallel computation and, on the other, hardware designers. The approach taken by the authors is to address general issues concerning the very nature of concurrency, as well as to demonstrate the particular features of asynchronous design. The book presents formal models of the specification and verification of parallel processes and describes methods for self-timed circuit synthesis and analysis. It is augmented by a demonstration-version of a CAD system called FORCAGE which consists of subsystems of behavior verification, self-timed circuit analysis and synthesis. The system can be run on a PC.
http://www.amazon.com/gp/product/0471935360/?tag=2022091-20
Alex Kondratyev
Edit Profile
Alex Kondratyev, Russian computer science educator. Program committee member Async Symposium 1995, 97, 98; general co-chair Async 96 Symposium, 1996, Concurrency in Systems Design '98 Conference, 1998. Member Institute of Electrical and Electronics Engineers (senior ), Association for Computing Machinery (ACM), New York Academy of Sciences.
Education
Master of Science in Computer Science, Electrotechnical University, St. Petersburg, 1983. Doctor of Philosophy in Computer Science, Electrotechnical University, St. Petersburg, 1987.
Career
Senior engineer, Electrotechnical U., St. Petersburg, 1983-1987; assistant professor, Electrotechnical U., St. Petersburg, 1987-1991; senior researcher, Research and Development Cooperative Trassa, St. Petersburg, 1988-1993; associate professor, U. Aizu, Aizu-Wakamatsu, Japan, since 1993.
Achievements
Works
book
-
Concurrent Hardware: The Theory and Practice of Self-timed Design (Wiley Series in Parallel Computing)
(Examines the theory and design of self-timed systems. The...)
-
Concurrent Hardware: The Theory and Practice of Self-timed Design (Wiley Series in Parallel Computing)
Membership
Program committee member Async Symposium 1995, 97, 98. General co-chair Async 96 Symposium, 1996, Concurrency in Systems Design '98 Conference, 1998. Member Institute of Electrical and Electronics Engineers (senior ), Association for Computing Machinery (ACM), New York Academy of Sciences.
Interests
Connections
Married Irina Bahtiarova, September 11, 1981.
