7. CONCLUSION

The notion that genuine and substantive Australian engagement with Asia began only with Whitlam’s 1972 recognition of communist China and came to full expression with the Hawke and Keating governments from 1983 into the 1990s is not borne out by the postwar historical record. Indeed, close attention to that record supports the proposition that decolonisation in Southeast Asia, and Cold War strategic imperatives across the region more broadly, drew Australia into deep and genuine political relationships with many Asian states, based on shared normative as well as security concerns.

[1]  Mark E. Stickel,et al.  Automated deduction by theory resolution , 1985, Journal of Automated Reasoning.

[2]  C. A. R. Hoare,et al.  Proof of correctness of data representations , 1972, Acta Informatica.

[3]  Frank Vahid,et al.  Platune: a tuning framework for system-on-a-chip platforms , 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  David E. Lackey,et al.  The IBM ASIC/SoC methodology - A recipe for first-time success , 2002, IBM J. Res. Dev..

[5]  Paul S. Zuchowski,et al.  Issues and strategies for the physical design of system-on-a-chip ASICs , 2002, IBM J. Res. Dev..

[6]  Santanu Dutta,et al.  Viper: A Multiprocessor SOC for Advanced Set-Top Box and Digital TV Systems , 2001, IEEE Des. Test Comput..

[7]  W. R. Davis,et al.  A design environment for high throughput, low power dedicated signal processing systems , 2001, Proceedings of the IEEE 2001 Custom Integrated Circuits Conference (Cat. No.01CH37169).

[8]  Payman Zarkesh-Ha,et al.  Prediction of net-length distribution for global interconnects in a heterogeneous system-on-a-chip , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[9]  Kurt Keutzer,et al.  A global wiring paradigm for deep submicron design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[10]  Miodrag Potkonjak,et al.  Latency-guided on-chip bus network design , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

[11]  Petru Eles,et al.  Scheduling with bus access optimization for distributed embedded systems , 2000, IEEE Trans. Very Large Scale Integr. Syst..

[12]  Reinaldo A. Bergamaschi,et al.  Designing systems-on-chip using cores , 2000, DAC.

[13]  Shuvra S. Bhattacharyya,et al.  Hardware/Software Co-synthesis of DSP Systems , 2000 .

[14]  J. Henkel.  A low power hardware/software partitioning approach for core-based embedded systems , 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361).

[15]  Luciano Lavagno,et al.  Scheduling for Embedded Real-Time Systems , 1998, IEEE Des. Test Comput..

[16]  Jürgen Teich,et al.  System-Level Synthesis Using Evolutionary Algorithms , 1998, Des. Autom. Embed. Syst..

[17]  Michael Gasteier,et al.  Bus-based communication synthesis on system-level , 1996, Proceedings of 9th International Symposium on Systems Synthesis.

[18]  Armin Bender.  MILP based task mapping for heterogeneous multiprocessor systems , 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.

[19]  Wayne Wolf,et al.  Process partitioning for distributed embedded systems , 1996, Proceedings of 4th International Workshop on Hardware/Software Co-Design. Codes/CASHE '96.

[20]  Fausto Giunchiglia,et al.  Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems , 1994, FroCoS.

[21]  Michael R. Lowry,et al.  META-AMPHION: synthesis of efficient domain-specific program synthesis systems , 1995, Proceedings 1995 10th Knowledge-Based Software Engineering Conference.

[22]  Frank Vahid,et al.  Specification and Design of Embedded Hardware-Software Systems , 1995, IEEE Des. Test Comput..

[23]  Michael R. Lowry,et al.  A formal approach to domain-oriented software design environments , 1994, Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.

[24]  Michael R. Lowry,et al.  Deductive Composition of Astronomical Software from Subroutine Libraries , 1994, CADE.

[25]  Richard Jüllig,et al.  Diagrams for software synthesis , 1993, Proceedings of 8th Knowledge-Based Software Engineering Conference.

[26]  Zohar Manna,et al.  Fundamentals of Deductive Program Synthesis , 1992, IEEE Trans. Software Eng..

[27]  Jeffrey Van Baalen.  Automated Design of Specialized Representations , 1992, Artif. Intell..

[28]  Jeffrey Van Baalen.  The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures , 1991, KR.

[29]  Andrzej Salwicki,et al.  Algorithm Theories and Design Tactics , 1989, Sci. Comput. Program..

[30]  Chandra M. R. Kintala,et al.  Tools for building application generators , 1988, AT&T Technical Journal.

[31]  Ė. Kh. Tyugu,et al.  Knowledge-Based Programming , 2004 .

[32]  Greg Nelson,et al.  Combining satisability procedures by equality-sharing , 1984 .