Understanding concurrent programs using rely-guarantee thinking. Multi-core processors are standard in computers and devices (e.g. smart phones) but much of the software available for these machines is either unreliable or does not exploit the available hardware parallelism. This project will devise techniques for designing concurrent software that exploits these platforms while delivering dependable operation.
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.
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
Demonstrating the feasibility of designing sustainable buildings using evolutionary systems. The design approach proposed in this research will result in two key areas of national benefit. First, the research will enable Australian built environment design professions to become more competitive in both domestic and international markets. There is a growing demand for environmentally-friendly buildings and the proposed design approach will enable Australian firms to be at the cutting edge of sust ....Demonstrating the feasibility of designing sustainable buildings using evolutionary systems. The design approach proposed in this research will result in two key areas of national benefit. First, the research will enable Australian built environment design professions to become more competitive in both domestic and international markets. There is a growing demand for environmentally-friendly buildings and the proposed design approach will enable Australian firms to be at the cutting edge of sustainable design. Second, the research will enable the Australian built environment to become more sustainable. The proposed approach will enable buildings to be designed that perform well, that are cost effective and that minimise their environmental impact. 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
Centre For Research Excellence In Reducing Healthcare Associated Infection
Funder
National Health and Medical Research Council
Funding Amount
$2,495,795.00
Summary
Each year in Australia 180,000 patients suffer a healthcare associated infection. Risk can be reduced with relatively simple technology but substantial costs arise with system wide adoption and monitoring. The economic paradigm is that funds can be invested for infection reduction to save costs and lives. The CRE will reveal the cost-effectiveness of infection control programmes and show health services decision-makers how to improve patient outcomes, save resources and save lives.
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