Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and ....Tuning parallel applications on software-defined supercomputers. Supercomputers are used by many Australian industries and laboratories to make better products and perform critical predictions, and it is essential that codes operate efficiently. This project aims to assist programmers in identifying performance bottlenecks in their code quickly and easily. The project expects to supersede the current methods, which are often complex and time-consuming, by developing innovative software tools and techniques. The expected outcomes include novel software, verified by industry partners in real world case studies, ranging from life sciences to hypersonic transport. This should provide significant benefits, including the capacity for Australian industries to access world-class supercomputing technology.Read moreRead less
Software debuggers for next generation heterogeneous supercomputers. Supercomputing underpins a wide range of areas of importance to the Australian economy; mining, agriculture, engineering and medical research to name a few. It is of critical importance that software solutions in these areas behave correctly. This project will develop software tools and techniques to help locate errors in such applications.
Automatic Energy Tuning of Parallel Applications on a Hybrid Supercomputer. Energy efficiency is a critical challenge in building next-generation supercomputers. This project aims to provide a new energy-tuning tool integrated with Cray’s systems, to simplify the process of tuning hybrid applications and managing efficient energy use. Although hardware components play a dominant role in saving energy, heterogeneous systems offer the opportunity to exploit the extremely high concurrency with mode ....Automatic Energy Tuning of Parallel Applications on a Hybrid Supercomputer. Energy efficiency is a critical challenge in building next-generation supercomputers. This project aims to provide a new energy-tuning tool integrated with Cray’s systems, to simplify the process of tuning hybrid applications and managing efficient energy use. Although hardware components play a dominant role in saving energy, heterogeneous systems offer the opportunity to exploit the extremely high concurrency with modest energy consumption using accelerators. Accordingly, the future of parallel computing must consider the trade-off between obtaining the optimal performance and the allowed power budget. The project plans to design parallel programming environments that support energy analysis and tuning.Read moreRead less
Advancing Medical Image Analysis through High Performance Heterogeneous Computing, Numerical Simulation, and Novel Human Computer Interfaces. This project will link Australian researchers with a major multi-national IT company. The engagement of world-class personnel from Microsoft will provide unprecedented opportunities for graduate students to experience research in both an academic and an industrial setting. The participation of Microsoft product division offers the potential to transform th ....Advancing Medical Image Analysis through High Performance Heterogeneous Computing, Numerical Simulation, and Novel Human Computer Interfaces. This project will link Australian researchers with a major multi-national IT company. The engagement of world-class personnel from Microsoft will provide unprecedented opportunities for graduate students to experience research in both an academic and an industrial setting. The participation of Microsoft product division offers the potential to transform the outcomes of this project into widely-used software solutions. The project will pave the way for more widespread and reliable evidenced-based computer-aided diagnosis and image-guided treatment. It will produce well-trained and sought-after graduates and research associates with extensive inter-disciplinary knowledge of medical image analysis and high-performance computing.Read moreRead less
Dataparallel Programming for Multicore Processors. The proposed project will contribute to the development of frontier technologies to help build Australian industries. The project is designed to unlock significant performance improvements with current and future multicore (processor) computer architectures. This potential performance improvement can be achieved with parallel programming models. This is crucial for ICT applications in performance hungry areas, such as biotechnology, finance, mul ....Dataparallel Programming for Multicore Processors. The proposed project will contribute to the development of frontier technologies to help build Australian industries. The project is designed to unlock significant performance improvements with current and future multicore (processor) computer architectures. This potential performance improvement can be achieved with parallel programming models. This is crucial for ICT applications in performance hungry areas, such as biotechnology, finance, multi-media, and 'info-tainment'. The project will also provide research training and increase local expertise in parallel programming for multicore processors, an area that is quickly growing in importance.Read moreRead less
Investigation of a Dynamic Collaborative Framework for Multi-Modal Devices. Modern business and society increasingly call for agility through the rapid formation of groups and collaboration of individuals. Mobile computing devices have the potential to enable this collaboration. However this is currently unrealised; software is not keeping up with hardware. This project aims to investigate techniques and software tools to provide an adaptive framework for multimedia-rich applications, which seam ....Investigation of a Dynamic Collaborative Framework for Multi-Modal Devices. Modern business and society increasingly call for agility through the rapid formation of groups and collaboration of individuals. Mobile computing devices have the potential to enable this collaboration. However this is currently unrealised; software is not keeping up with hardware. This project aims to investigate techniques and software tools to provide an adaptive framework for multimedia-rich applications, which seamlessly support collaboration through multi-modal communications between heterogenous mobile devices. This combination of multimedia, smart devices and advanced communications has the potential to revolutionise many key industries by making information available and manipulable in new and better ways.Read moreRead less
A scalable debugging framework for petascale computers. Supercomputing underpins a wide range of areas of importance to the Australian economy; mining, agriculture, engineering, medical research and pharmaceutical development to name a few. It is of critical importance that software solutions in these areas behave correctly and do not generate erroneous results. This project will develop software tools and techniques that make it possible to detect and locate errors as software is converted to r ....A scalable debugging framework for petascale computers. Supercomputing underpins a wide range of areas of importance to the Australian economy; mining, agriculture, engineering, medical research and pharmaceutical development to name a few. It is of critical importance that software solutions in these areas behave correctly and do not generate erroneous results. This project will develop software tools and techniques that make it possible to detect and locate errors as software is converted to run on the next generation of 'petascale' supercomputers. We will deploy the tools both commercially through our industry partner, and also on national high performance computing facilities.Read moreRead less
Combining mathematical programming and constraint programming to solve large-scale integrated scheduling problems. This project will target major savings in the airline industry, with resulting benefits for others such as tourism. The efficient use of airline fuel, which will be directly addressed in the project, is very important for the environment. The algorithms developed can improve cost and quality of service for Australian transportation, manufacturing and other industries.
The solut ....Combining mathematical programming and constraint programming to solve large-scale integrated scheduling problems. This project will target major savings in the airline industry, with resulting benefits for others such as tourism. The efficient use of airline fuel, which will be directly addressed in the project, is very important for the environment. The algorithms developed can improve cost and quality of service for Australian transportation, manufacturing and other industries.
The solutions developed within the project will be sold by the industrial partner, CTI, into major companies worldwide, and the technology will be used to develop further products.
Finally the project will extend Australia's lead in constraint programming and expertise in optimisation. This creates a major opportunity for the Australian software industry.
Read moreRead less
From Tactical Planning to Operational Control - Bridging the Chasm. All organisations plan, and all organisations suffer from the disruptions that occur when plans are put into practice. Few organisations manage to balance operational control with planning to as to maintain both efficiency and flexibility to deal with the unexpected. This project addresses this requirement for the transportation and logistics industries.
The results discovered within the project will enable the industrial ....From Tactical Planning to Operational Control - Bridging the Chasm. All organisations plan, and all organisations suffer from the disruptions that occur when plans are put into practice. Few organisations manage to balance operational control with planning to as to maintain both efficiency and flexibility to deal with the unexpected. This project addresses this requirement for the transportation and logistics industries.
The results discovered within the project will enable the industrial partner, CTI, to develop solutions for major companies worldwide. The technology will be used to build further optimisation products.
Moreover the project will extend Australia's lead in constraint programming and expertise in optimisation. This creates a major opportunity for Australia's software industry.
Read moreRead less
Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increa ....Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increased assurance that their control technology does correctly realise the adopted protocols. Assurance of correctness is significant in that incorrect protocol implementation may cause errant operation of equipment, and lead to economic and environmental damage.Read moreRead less