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
An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Symbolic synthesis of knowledge-based program implementations. Systems with concurrent streams of activity are ubiquitous in computer hardware and software designs, but are conceptually complex, and fraught with faults and inefficiency. The project aims to address these difficulties by automating aspects of system design, to relieve the designer of the need to reason about complex patterns of information flow.
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0668542
Funder
Australian Research Council
Funding Amount
$425,000.00
Summary
Multimedia Computing, Production, Management and Distribution for HDTV and its Applications. Australia is the first country to launch digital TV nationally. Increasingly, this platform will be used for consuming multimedia information; also the HDTV infrastructure is being applied to other domains such as telemedicine/e-Health to lower costs and improve effectiveness. For Australia to be a step ahead in the development of these applications that are beneficial to a wider community, we have to lo ....Multimedia Computing, Production, Management and Distribution for HDTV and its Applications. Australia is the first country to launch digital TV nationally. Increasingly, this platform will be used for consuming multimedia information; also the HDTV infrastructure is being applied to other domains such as telemedicine/e-Health to lower costs and improve effectiveness. For Australia to be a step ahead in the development of these applications that are beneficial to a wider community, we have to look forward and establish adequate infrastructure for the development of needed applications of the future. It is strongly believed that by doing so we can position ourselves ahead of other communities in anticipating and providing essential services to our modern society and this in turn will greatly benefit the Australian economy.Read moreRead less
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0775546
Funder
Australian Research Council
Funding Amount
$370,000.00
Summary
Construction of the blue-arm of the ANU 2.3m telescope Wide-Field Spectrograph. The new blue and red arms of the WiFeS spectrograph on the SSO 2.3m telescope utilizes new optical techniques and advances in detector technology to provide unique capabilities for front-line research and student training. The novel integral field units on WiFeS extract spectra across the face of faint, distant galaxies enabling the dynamics of the stellar and gas content to be analysed in unprecedented detail. Anoth ....Construction of the blue-arm of the ANU 2.3m telescope Wide-Field Spectrograph. The new blue and red arms of the WiFeS spectrograph on the SSO 2.3m telescope utilizes new optical techniques and advances in detector technology to provide unique capabilities for front-line research and student training. The novel integral field units on WiFeS extract spectra across the face of faint, distant galaxies enabling the dynamics of the stellar and gas content to be analysed in unprecedented detail. Another important project will be to follow-up interesting objects discovered by the new SkyMapper telescope and establish those that need to be observed on 8 m telescopes such as Gemini, Magellan or VLT. Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0989127
Funder
Australian Research Council
Funding Amount
$400,000.00
Summary
A High-Throughput Neutron Spectrometer for The Study of Atomic and Molecular Motion at ANSTO. Neutron scattering enables new science across a broad range of disciplines, and for this reason it is undergoing major expansion in the USA, Europe, Japan and Australia. Various diffactometers and spectrometers have recently been built at ANSTO, but an instrumental option for a high-throughput cross-discipline spectroscopy is urgently needed. Fortunately, it is fairly straightforward to add this type of ....A High-Throughput Neutron Spectrometer for The Study of Atomic and Molecular Motion at ANSTO. Neutron scattering enables new science across a broad range of disciplines, and for this reason it is undergoing major expansion in the USA, Europe, Japan and Australia. Various diffactometers and spectrometers have recently been built at ANSTO, but an instrumental option for a high-throughput cross-discipline spectroscopy is urgently needed. Fortunately, it is fairly straightforward to add this type of option to an existing spectrometer that will broaden its user-base from specialised applications in physics to more general applications in physics, chemistry, materials-science and biology. This additional option provides a totally new way for Australian scientists to study atomic and molecular motions. Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0346515
Funder
Australian Research Council
Funding Amount
$507,000.00
Summary
Fluorescence Detector for the Australian National Beamline Facility. X-ray absorption spectroscopy (XAS) is an extremely important synchrotron radiation tool for determining the local structure around an X-ray absorbing atom. This has many applications in the study of materials, minerals, metal complexes, and metalloproteins and can often be used to obtain information that is not available by other techniques, because structural information can be obtained in the solid or solution state and in ....Fluorescence Detector for the Australian National Beamline Facility. X-ray absorption spectroscopy (XAS) is an extremely important synchrotron radiation tool for determining the local structure around an X-ray absorbing atom. This has many applications in the study of materials, minerals, metal complexes, and metalloproteins and can often be used to obtain information that is not available by other techniques, because structural information can be obtained in the solid or solution state and in mixtures. The current proposal is aimed at introducing new technology into the Australian National Beamline Facility that will greatly improve the quality and quantity of experiments that can be performed and extend studies into dilute solutions and protein samples.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0228799
Funder
Australian Research Council
Funding Amount
$1,602,000.00
Summary
Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to construct and operate two 8-metre optical/infrared telescopes, one in Chile, and the other in Hawaii. Australia joined the IGP in May 1998, taking approximately 5% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in way ....Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to construct and operate two 8-metre optical/infrared telescopes, one in Chile, and the other in Hawaii. Australia joined the IGP in May 1998, taking approximately 5% of the partnership. The Gemini telescopes have been carefully engineered to exploit the superb atmospheric conditions at both sites, allowing users to address key astronomical problems in ways not previously possible. Through membership of Gemini, Australian astronomers have access to the world-class facilities necessary to maintain their high international profile and great public visibility in Galactic and extragalactic astronomy, and also to enhance the national capacity to construct advanced scientific instrumentation. Australia has already won a contract to build one of the instruments.Read moreRead less