Formal methods for engineering special-purpose parallel systems introduction to minitrack

Abdallah, A. E. and Luk, W. (2003) Formal methods for engineering special-purpose parallel systems introduction to minitrack. In: System Sciences, 2003. Proceedings of the 36th Annual International Conference. IEEE Conference Publications, p. 277. ISBN 0-7695-1874-5

Full text not available from this repository. (Request a copy)
Item Type: Book Section
Uncontrolled Keywords: Systems engineering and theory, Hardware, Field programmable gate arrays, Computer architecture, Circuit synthesis, Asynchronous circuits, Coupling circuits, Parallel processing, Functional programming, Debugging
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 07 Apr 2017 10:29
Last Modified: 07 Apr 2017 10:29
URI: http://www.open-access.bcu.ac.uk/id/eprint/4222

Actions (login required)

View Item View Item

Research

In this section...