08:45 - 09:00 | Opening | - | |
09:00 - 10:00 | 1. INVITED: Zurada - Neural Nets | - | |
10:00 - 10:30 | Break | ||
10:30 - 11:00 | 2A: LOGIC AND ALGEBRA:
Brzozowski |
2B: REED-MULLER LOGIC:
Yanushkevich AM-12 |
|
11:00 - 11:30 | Aguzzoli/Gerla | Babu/Sasao - AS-08 | |
11:30 - 12:00 | Loyer/Spyratos/Stamate | Rahardja/Falkowski - AS-18 | |
12:00 - 13:30 | Lunch Break | ||
13:30 - 14:30 | 3. INVITED: Hammerstrom - Biologically Motivated Hardware | - | |
14:30 - 14:45 | Break | ||
14:45 - 15:15 | 4A. DECOMPOSITION AND DATA MINING.
Chojnacki/Jozwiak |
4B: SPECTRAL METHODS.
Thornton AM-3 |
|
15:15 - 15:45 | Jaroszewicz/Simovici | Falkowski/Rahardja AS-32 | |
15:45 - 16:15 | Sasao - AS-09 | Drechsler/Thornton | |
16:15 - 16:30 | Break | ||
16:30 - 17:00 | 5A. VERIFICATION AND POWER ESTIMATION. Dubrova/Sack |
5B. ALGEBRA I. Miyakawa/Rosenberg - AS-22 |
|
17:00 - 17:30 | Thornton/Drechsler/Guenter | Takagi/Nakashima - AS-07 | |
17:30 - 18:00 | Wu/Pedram AS-21 (power estimation) | Ciabattoni | |
18:00 - | Excursion to Intel |
09:00 - 10:00 | 6: INVITED: Stoica - Evolvable Hardware in NASA | - | - |
10:00 - 10:15 | Break | ||
10:15 - 10:45 | 7A. DECISION DIAGRAMS. Jankovic/Guenter/Drechsler |
7B. FUZZY LOGIC. DeCock/Kerve/Thiele |
7C. IMAGE AND LANGUAGE PROCESSING. Hata AM-9 |
10:45 - 11:15 | Iguchi/Sasao/Matsuura - AS-12 | Strehl/Moraga/Temme | Falkowski/Lim - AS-17 |
11:15 - 11:45 | Stankovic/Stankovic/Artola/Egiazairan | Thiele | Rine (language) |
11:45 - 13:00 | Lunch Break | ||
13:00 - 13:30 | 8A. CIRCUITS I. Abd-El-Barr/Al-Mutawa - AS-30 |
8B. NEURAL AND THRESHOLD NETS. Shen/Inaba/Tanno/Ishizuka - AS-23 |
8C. DECISION DIAGRAMS AND TEST. Sack/Dubrova/Meinel |
13:30 - 14:00 | Seong/Choi/Shin/Kim - AS-02 | Matumoto/Ueda/Nomato - AS-13 | Schmiedle/Guenter/Drechsler |
14:00 - 14:30 | Wu/Zhou - AS-19 | Syuto/Shen/Tanno/Ishizuka - AS-24 | Hata. AM-10 |
14:30 - 14:45 | Break | ||
14:45 - 15:15 | Hanyu/Ike/Kameyama - low power - AS-25 | Ngom. AM-8 | Kim/Kim/Kim - AS-01 (spectral test) |
15:15 - 16:15 | 9. INVITED: Orlowska - Structures with many-valued information and their relational proof theory. | - | - |
16:15 - 17:30 | PLENARY SESSION. | - | - |
08:30 - 09:00 | 10A. CIRCUITS II. Uemura/Baba - AS-03 |
10B. EVOLUTIONARY AND INFORMATION THEORY APPROACHES Luba/Yanushkevich/Opoka/Moraga/Shmerko AS-15 |
09:00 - 09:30 | Byun/Lee/Park/Kim - AS-04 | Hozumi/Kakusho/Yamato - AS-10 |
09:30 - 10:00 | Waho/Hattori/Honda - AS-14 | Yanushkevich/Popel/Cheushev/Shmerko/Stankovic AS-11 |
10:00 - 10:15 | Break | |
10:15 - 11:15 | 11. INVITED: Jabri. Neural Net Hardware | - |
11:15 - 12:15 | PANEL DISCUSSION. | - |
12:15 - 13:30 | Lunch Break. | |
13:30 - 14:30 | 12. INVITED: Greg Atwood, Intel - Strata Flash. Multi-valued memory. | - |
14:30 - 15:00 | 13A. CIRCUITS III. Olson |
13B. ARITHMETIC AND SYSTEMS. Hanyu/Kimura/Kameyama AS-27 |
15:00 - 15:30 | Current | Yuminaka/Katoh/Sasaki/Aoki/Higuchi AS-16 |
15:30 - 16:00 | Mazumder | Kaeriyama/Hanyu/Kameyama (arithmetic) AS-26 |
16:00 - 16:15 | Break | |
16:15 - 17:15 | 14. INVITED: Yasuo Takahashi, "Silicon Single-Electron Devices and their Applications" | - |
17:15 - 17:45 | 15A. ALGEBRA II. Ninomiya/Mukaidono AS-29 |
15B. THEOREM-PROVING AND APPLICATIONS. Beckert/Haenle |
17:45 - 18:15 | Haddad/Machida/Rosenberg AM-5 | Ganzinger |
18:15 - 18:45 | Nagata/Miller/Mukaidono AS-28 (asynchronous) | Aoki/Nakazawa/Higuchi AS-20 |
18:45 - 19:00 | CLOSING REMARKS | - |