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
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: 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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0453817
Funder
Australian Research Council
Funding Amount
$1,849,438.00
Summary
Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to build 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 ....Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium formed to build 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 the great public visibility in Galactic and extragalactic astronomy, and also to enhance the national capacity to
construct advanced scientific instrumentation. Australia is currently building one of the instruments.
Note: in A7.1 GAMS incorrectly forces integer days/month. In full operation Australian astronomers will receive approximately 25 nights per year.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0560761
Funder
Australian Research Council
Funding Amount
$1,458,000.00
Summary
Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium that operates two 8-metre optical/infrared telescopes, in Chile and Hawaii. Australia joined the IGP in 1998, with 4.76% 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 Gemi ....Australian Membership of the International Gemini Partnership. The International Gemini Partnership is an intergovernmental consortium that operates two 8-metre optical/infrared telescopes, in Chile and Hawaii. Australia joined the IGP in 1998, with 4.76% 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 also to enhance the national capacity to construct advanced scientific instrumentation. Australian institutions are currently building two new instruments.Read moreRead less