Centre for Digital Innovation

Filter
Conference contribution

Search results

  • 2004

    An Automatic Mapping from Statecharts to Verilog

    Tran, V-A. V., Qin, S. & Chin, W-N., 2004, Theoretical Aspects of Computing - ICTAC 2004. Liu, Z. & Araki, K. (eds.). Springer Berlin, Vol. 3407. p. 187-203 ( Lecture Notes in Computer Science; vol. 3407).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A relational model for object-oriented designs

    He, J., Liu, Z., Li, X. & Qin, S., 2004, Programming languages and systems. Springer Verlag, p. 415-436

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    110 Downloads (Pure)

  • Deploying VoIP over a Small Enterprise Network

    Razzaque, M. A., 18 Jul 2004, Proceedings of the 8th World Multi Conference on Systemics, Cybernetics and Informatics. Florida, 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Determining the Issues to Consider When Deploying VoIP ontoa Small Enterprise Network

    Rahman, Q. A., Abubakar, A., Sirajuddin, S., Islam, S. S. & Razzaque, M. A., 27 Dec 2004, 1st International Computer Engineering Conference New Technologies for the Information Society.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    26 Downloads (Pure)

  • Generating MSCs from an Integrated Formal Specification Language

    Dong, J. S., Qin, S. & Sun, J., 2004, Integrated Formal Methods. IFM 2004. Springer Berlin, p. 168-186 ( Lecture Notes in Computer Science; vol. 2999).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Online Scheduling Algorithms for CDMA Data Networks

    Razzaque, M. A., 28 Nov 2004, Proceedings of the International Conference on Information and Computer Science (ICICS 2004).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Region inference for an object-oriented language

    Chin, W-N., Craciun, F., Qin, S. & Rinard, M., 2004, Proceedings of the 2004 ACM SIGPLAN conference on programming language design and implementation. New York: ACM, p. 243-254

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    285 Downloads (Pure)
  • 2003

    A Semantic Foundation for TCOZ in Unifying Theories of Programming

    Qin, S., Dong, J. S. & Chin, W-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 321-340 (Lecture Notes in Computer Science; vol. 2805).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Mapping Statecharts to Verilog for Hardware/Software Co-specification

    Qin, S. & Chin, W-N., 2003, FME 2003: Formal Methods. Springer Berlin, p. 282-300

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • The Equivalence of Statecharts

    Long, Q., Qiu, Z. & Qin, S., 2003, Formal Methods and Software Engineering. ICFEM 2003. Dong, J. S. & Woodcock, J. (eds.). Springer Berlin, p. 125-143 (Lecture Notes in Computer Science; vol. 2885).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    Hardware/Software Partitioning in Verilog

    Qin, S., He, J., Qiu, Z. & Zhang, N., 10 Oct 2002, Formal Methods and Software Engineering. ICFEM 2002. George, C. & Miao, H. (eds.). Springer Berlin, p. 168-179 (Lecture Notes in Computer Science; vol. 2495).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2001

    Constructing hardware/software interface using protocol converters

    Qin, S., Qiu, Z. & He, J., 2001, Second Asia-Pacific conference on quality software, Proceedings. IEEE, p. 141-148

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    159 Downloads (Pure)

  • Partitioning program into hardware and software

    Qin, S. & He, J., 2001, Proceedings of the Asia-Pacific software engineering conference and international computer science conference. IEEE, p. 309-316

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    163 Downloads (Pure)
  • 2000

    An algebraic approach to hardware/software partitioning

    Qin, S. & He, J., 2000, ICECS 2000: 7th IEEE international conference on electronics, circuits & systems. IEEE, Vol. 1. p. 273-276

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    149 Downloads (Pure)