An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied t ....An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied to large and divergent biological sequences. The success of this project will not only make significant contribution to the relevant research fields, but also help achieve goals in certain real-life biological research projects which are unique and important to Australia.Read moreRead less
Provably Correct on-chip Communication-based Design. This project falls in the priority area of Frontier Technologies for Building and Transforming Australian Industries. Embedded systems have complex communication architectures and functionalities due to their mission- and time-critical applications. This project will develop verifiable algorithms and techniques for design reuse to address them, help solve outstanding problems in the VLSI/SoC community and to lift the country's visibility and ....Provably Correct on-chip Communication-based Design. This project falls in the priority area of Frontier Technologies for Building and Transforming Australian Industries. Embedded systems have complex communication architectures and functionalities due to their mission- and time-critical applications. This project will develop verifiable algorithms and techniques for design reuse to address them, help solve outstanding problems in the VLSI/SoC community and to lift the country's visibility and credibility in the area. The economic benefits are better techniques for design reuse for embedded systems that may be integrated into existing Computer Aided Design environments, with potential to commercialise the algorithms to Electronic Design Automation and vendors.Read moreRead less
A clinically valid simulator with tactile sensing to train specialists to perform cochlea implantation. This project aims to create a medical simulation system with tactile sensing for cochlear implant operations. The developed system will provide an opportunity to study cochlear implantation process and examine its effect in a patient before it is carried out. It will be also used to train ENT (Ear, Nose and Throat) specialists in cochlear implantation, thus replacing the current costly and no ....A clinically valid simulator with tactile sensing to train specialists to perform cochlea implantation. This project aims to create a medical simulation system with tactile sensing for cochlear implant operations. The developed system will provide an opportunity to study cochlear implantation process and examine its effect in a patient before it is carried out. It will be also used to train ENT (Ear, Nose and Throat) specialists in cochlear implantation, thus replacing the current costly and non-effective method of using temporal bones.Read moreRead less
Fault-tolerant CORBA-based distributed systems. The focus of this research is Fault-Tolerant CORBA-based Distributed Systems. An implementation of the CORBA Fault Tolerance specification will be produced and evaluated against performance, interoperability and compliance criteria. A model for the management of degradation behaviour in distributed systems will be developed and an implementation produced. Novel algorithms, models and approaches to fault tolerance and degradation management will be ....Fault-tolerant CORBA-based distributed systems. The focus of this research is Fault-Tolerant CORBA-based Distributed Systems. An implementation of the CORBA Fault Tolerance specification will be produced and evaluated against performance, interoperability and compliance criteria. A model for the management of degradation behaviour in distributed systems will be developed and an implementation produced. Novel algorithms, models and approaches to fault tolerance and degradation management will be developed. Convincing demonstration applications will be produced to illustrate the widespread relevance of fault-tolerant and degradable systems to real-world domains such as telecommunications, commercial systems and defence.Read moreRead less
Redesigning Typesetting for the Digital Age: Multilingual Layout on Multiple Media. We propose to create and develop a new model for character-level automatic typesetting, much more flexible than existing approaches. This model will support quality typesetting of all of the modern - and many ancient - languages and scripts, on media such as paper, computer screen, paper maps and online maps, for regular and safety-critical applications.
The fundamental innovations in this proposal are the us ....Redesigning Typesetting for the Digital Age: Multilingual Layout on Multiple Media. We propose to create and develop a new model for character-level automatic typesetting, much more flexible than existing approaches. This model will support quality typesetting of all of the modern - and many ancient - languages and scripts, on media such as paper, computer screen, paper maps and online maps, for regular and safety-critical applications.
The fundamental innovations in this proposal are the use of a tree-structured parameter space (generalization of Unix environment variables) and a multiple-pass approach to typesetting (as used in compilers). These innovative techniques will be integrated into computer software used worldwide.Read moreRead less
Design-Driven Requirements for Internet-Enabled System Development. The nature of Web system development is significantly different from conventional, software and IT development. Amongst other factors, there is substantial uncertainty in both clients' understanding of their needs and developers' understanding of the systems domain. We will develop an uncertainty model relevant to the development model relevant to the development of internet-enabled systems, and then use this model to adapt th ....Design-Driven Requirements for Internet-Enabled System Development. The nature of Web system development is significantly different from conventional, software and IT development. Amongst other factors, there is substantial uncertainty in both clients' understanding of their needs and developers' understanding of the systems domain. We will develop an uncertainty model relevant to the development model relevant to the development of internet-enabled systems, and then use this model to adapt the design process to support elicitation of requirements, as well as developing support for this adapted process. This will facilitate the development of systems that more accurately reflect clients' needs, and result in an understanding of what would be involved in reducing development costs.Read moreRead less
Supporting co-evolution of business processes and Web systems. This research will provide significant benefit to the Australian Internet and e-commerce industries (valued by the ABS as in excess of $11b/year). It will result in improved products that better satisfy specific business needs (and hence improved competitiveness in a global market). Development cycles will shorten (as the likelihood of redevelopment decreases) and costs of development will fall. Finally, the models and tools to be ....Supporting co-evolution of business processes and Web systems. This research will provide significant benefit to the Australian Internet and e-commerce industries (valued by the ABS as in excess of $11b/year). It will result in improved products that better satisfy specific business needs (and hence improved competitiveness in a global market). Development cycles will shorten (as the likelihood of redevelopment decreases) and costs of development will fall. Finally, the models and tools to be developed will facilitate the transition of traditional organisations into the new economy, as the outcomes of this research will provide a transparent cost-effective approach for identifying and clarifying the evolving business domain and the requirements of companies.Read moreRead less
Micro Compilers: An Extensible Compiler Architecture for Increased Flexibility and Safety. Programming languages specialised to a particular application domain can cut software development costs and reduce programming errors. Unfortunately, most application domains cannot sustain the costly development and maintenance of the specialised compilers required to implement specialised languages. We address this problem by introducing a novel customisable compiler architecture that can be adapted to ....Micro Compilers: An Extensible Compiler Architecture for Increased Flexibility and Safety. Programming languages specialised to a particular application domain can cut software development costs and reduce programming errors. Unfortunately, most application domains cannot sustain the costly development and maintenance of the specialised compilers required to implement specialised languages. We address this problem by introducing a novel customisable compiler architecture that can be adapted to specialised languages and other special-purpose compiler requirements. Customisable compilers are especially important to a country like Australia that has only limited resources for special purpose developments. Moreover, we will train students at undergraduate and postgraduate level in the area of programming languages and compilers.Read moreRead less
Improving the Performance, Scalability and Reliability of the Linux Operating System. This project aims to improve the scalability of the Linux operating system to large systems without loss of performance on small, embedded, systems. It will improve Linux robustness and security by de-privileging particularly error-prone code, such as device drivers, without undue impact on performance. It will improve configurability and ease tuning by making critical components, such as processor, disk and me ....Improving the Performance, Scalability and Reliability of the Linux Operating System. This project aims to improve the scalability of the Linux operating system to large systems without loss of performance on small, embedded, systems. It will improve Linux robustness and security by de-privileging particularly error-prone code, such as device drivers, without undue impact on performance. It will improve configurability and ease tuning by making critical components, such as processor, disk and memory schedulers, pluggable and their policies controllable at user level. It will investigate the feasibility and benefits of user-level file systems and processor and memory scheduling and will demonstrate that these can improve system reliability without undermining performance.Read moreRead less
Portable High-Performance Computing Based on Flattening and Fusion. We aim at simplifying the development and improving the portability of computing intensive applications, such as those from computational science and engineering, which are of growing scientific and economic relevance (e.g., drug synthesis, virtual wind tunnel, and geologic surveys). Our focus is on achieving portable high-performance for a particularly expressive high-level notation supporting irregular algorithms (like sparse ....Portable High-Performance Computing Based on Flattening and Fusion. We aim at simplifying the development and improving the portability of computing intensive applications, such as those from computational science and engineering, which are of growing scientific and economic relevance (e.g., drug synthesis, virtual wind tunnel, and geologic surveys). Our focus is on achieving portable high-performance for a particularly expressive high-level notation supporting irregular algorithms (like sparse matrices and hierarchical N-body codes). We will develop a set of program transformations and integrate them into a compiler implementing an aggressive fusion strategy optimising for the memory hierarchy. We do not propose a new programming language, but work within an existing one.Read moreRead less