9.20
9.30 |
OPENING | |||
9.30
10.30 |
Dr. Ferdinand Peper Senior researcher at Nanotechnology group of Communications Research
Laboratory (CRL), Kobe,
Token-based computing on nanometer scales
|
|||
10.30
11.00 |
|
|||
10.30
12.30 |
Session 1
Modelling and Analysis of Self-Timed Cellular Automata Using High-Level
Petri Nets,
Interactive Behaviour of Multi-Component Systems,
Decomposition-based Calculation of Petri net Invariants,
|
|||
12.30
14.00 |
Lunch | |||
14.00
15.30 |
Session 2
A Software Power Cost Analysis based on Colored Petri Net,
Reduction in synchronization in bundled data systems,
A Standard Cell Implementation of a Phased Logic CPU,
|
|||
15.30
16.00 |
|
|||
16.00
17.00 |
Session
3
From Hardware Processes to Asynchronous Circuits via Petri nets:
an Application to Arbiter Design,
Gate Transfer Level Synthesis as an Automated Approach to Fine-Grain
Pipelining,
|