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