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