共 50 条
- [5] A pipelined shared-memory architecture for FFT processors [J]. 42ND MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, PROCEEDINGS, VOLS 1 AND 2, 1999, : 804 - 807
- [7] CTL* model checking on a shared-memory architecture [J]. Formal Methods in System Design, 2006, 29 : 135 - 155