1666456

International Symposium on System Synthesis (IEEE Cat. No.01EX526)

2001

distributed processing; embedded systems; formal verification; hardware-software codesign; optimisation; reconfigurable architectures; storage management; architectural synthesis; distributed systems; embedded systems; hardware-software codesign; memory management; multiprocessor architectures; optimisation; real-time system; reconfigurable architectures; testability; verifiability;

English

ieee

System Synthesis, 2001. Proceedings. The 14th International Symposium on

Montreal, Quebec, Canada

1-58113-418-5

conf

10.1109/ISSS.2001.156522

957903