Browsing by Author "Weng, Min-Hsien"

Now showing items 6-10 of 13

  • Framework for soft and hard city infrastructures

    Dyer, Mark; Dyer, Rachel; Weng, Min-Hsien; Wu, Shaoqun; Grey, Thomas; Gleeson, Richard; García Ferrari, Tomás (Thomas Telford Ltd., 2019)
    The term city infrastructures is often restricted to the physical elements of a city, while in practice it comprises both hard infrastructures for built environment and utilities, as well as soft infrastructures involving ...
  • Identification and visualization of key topics in scientific publications with transformer-based language models and document clustering methods

    Weng, Min-Hsien; Wu, Shaoqun; Dyer, Mark (MDPI, 2022-11-01)
    With the rapidly growing number of scientific publications, researchers face an increasing challenge of discovering the current research topics and methodologies in a scientific domain. This paper describes an unsupervised ...
  • The JStar language philosophy

    Utting, Mark; Weng, Min-Hsien; Cleary, John G. (University of Waikato, Department of Computer Science, 2013-11-11)
    This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, en-couraging massively parallel programming, and giving the compiler ...
  • The JStar language philosophy

    Utting, Mark; Weng, Min-Hsien; Cleary, John G. (Association for Computing Machinery (ACM), 2013)
    This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, encouraging massively parallel programming, and giving the compiler ...
  • Static techniques for reducing memory usage in the C implementation of Whiley programs

    Weng, Min-Hsien; Pfahringer, Bernhard; Utting, Mark (ACM, 2017)
    Languages that use call-by-value semantics, such as Whiley, can make program verification easier. But effcient implementation becomes harder, due to the overhead of copying and garbage collection. This paper describes how ...