DocumentCode :
2318466
Title :
Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114)
fYear :
1997
fDate :
17-19 Sept. 1997
Abstract :
The following topics were dealt with: formal specification and validation; fast prototyping and code generation; novel compilation and optimization issues; memory management issues; system-level synthesis and design; and hardware/software specification and debugging
Keywords :
computer debugging; formal specification; formal verification; logic design; optimisation; program compilers; program debugging; software prototyping; storage management; code generation; compilation; debugging; fast prototyping; formal specification; formal validation; hardware/software specification; memory management; optimization; system synthesis; system-level design; system-level synthesis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Synthesis, 1997. Proceedings., Tenth International Symposium on
Conference_Location :
Antwerp, Belgium
ISSN :
1080-1820
Print_ISBN :
0-8186-7949-2
Type :
conf
DOI :
10.1109/ISSS.1997.621668
Filename :
621668
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2318466
بازگشت