Presentation | 2011-05-12 ERATO MINATO Discrete Structure Manipulation System Project and Current Work on System Design Area Shin-ichi MINATO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Discrete structure manipulation is a fundamental technique for many problems solved by computers. Recently, BDD (Binary Decision Diagram) attracts a great deal of attention, because it efficiently manipulates basic data structures such as logic and sets. In order to organize an integrated method of algebraic operations for manipulating various types of discrete structures, and to construct standard techniques for efficiently solving large-scale and practical problems in various fields, JST started a new project: ERATO MINATO Discrete Structure Manipulation System Project, which authorized in October 2009. The main research activity is started from April 2010 and continues for five years. In this talk, we will present an overview of the project and recent research activities related to system design area. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | ERATO / Discrete structure manipulation system / BDD / ZDD / Boolean function |
Paper # | RECONF2011-11 |
Date of Issue |
Conference Information | |
Committee | RECONF |
---|---|
Conference Date | 2011/5/5(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Reconfigurable Systems (RECONF) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | ERATO MINATO Discrete Structure Manipulation System Project and Current Work on System Design Area |
Sub Title (in English) | |
Keyword(1) | ERATO |
Keyword(2) | Discrete structure manipulation system |
Keyword(3) | BDD |
Keyword(4) | ZDD |
Keyword(5) | Boolean function |
1st Author's Name | Shin-ichi MINATO |
1st Author's Affiliation | Graduate School of Information Science and Technology, Hokkaido University:JST ERATO MINATO Discrete Structure Manipulation System Project() |
Date | 2011-05-12 |
Paper # | RECONF2011-11 |
Volume (vol) | vol.111 |
Number (no) | 31 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |