Next: Guidelines for NGHDL
Up: First Annual Meeting
Previous: First Annual Meeting
- Augsburg
- Stream semantics and stream calculus.
- Amsterdam
- Modeling SCAs using process algebra.
- Swansea, Uppsala, LMU
- Effective algebras; models of time;
domains and non-standard stream models; functional models; and
tool-independent representation of algorithms and hardware.
- TU
- Framework for hardware-software codesign; timed streams; and
technology independent specification.
Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995