共 40 条
[3]
Bondhugula U., 2007, Tech. Rep. OSU-CISRC-10/07-TR70
[5]
Chen Chun, 2008, Technical Report 08-897, USC Computer Science Technical Report
[7]
de Dinechin F., 1995, Proceedings 1995. Programming Models for Massively Parallel Computers (Cat. No.95TB8112), P18, DOI 10.1109/PMMPC.1995.504337
[8]
Hierarchical static analysis of structured systems of affine recurrence equations
[J].
INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS 1996, PROCEEDINGS,
1996,
:381-390
[9]
A Bayesian statistical algorithm for RNA secondary structure prediction
[J].
COMPUTERS & CHEMISTRY,
1999, 23 (3-4)
:387-400