DocumentCode :
3113656
Title :
Formal methods for engineering special-purpose parallel systems introduction to minitrack
Author :
Abdallah, Ali E. ; Luk, Wayne
Author_Institution :
South Bank University
fYear :
2003
fDate :
6-9 Jan. 2003
Firstpage :
277
Lastpage :
277
Keywords :
Asynchronous circuits; Circuit synthesis; Computer architecture; Coupling circuits; Debugging; Field programmable gate arrays; Functional programming; Hardware; Parallel processing; Systems engineering and theory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
System Sciences, 2003. Proceedings of the 36th Annual Hawaii International Conference on
Print_ISBN :
0-7695-1874-5
Type :
conf
DOI :
10.1109/HICSS.2003.1174807
Filename :
1174807
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3113656
بازگشت