Adapting the Bulk Synchronous Parallel processing model to Peer-to-Peer Networked Computing. Advances in distributed computing have shown that data parallel and parametric applications domains are amenable to wide area distribution. The project will advance the Bulk Synchronous Parallel processing model to describe innovative applications from the loosely synchronous domain, e.g. fluid dynamics, strategy algorithms and N-body problems are challenges that have significant scientific and industria ....Adapting the Bulk Synchronous Parallel processing model to Peer-to-Peer Networked Computing. Advances in distributed computing have shown that data parallel and parametric applications domains are amenable to wide area distribution. The project will advance the Bulk Synchronous Parallel processing model to describe innovative applications from the loosely synchronous domain, e.g. fluid dynamics, strategy algorithms and N-body problems are challenges that have significant scientific and industrial value. The project specializes the exciting peer-to-peer paradigm, a frontier of inter-networking technology. By using the latest techniques and taking advantage of the technology implosion caused by low cost parallel infrastructure, the project outcomes will give Australia a strong position in the future of parallel technology.Read moreRead less
Programming Paradigms, Tools and Algorithms for Electronic Structure Calculations on Clusters of Non-Uniform Memory Access Parallel Processors. In recent years Australian academia has invested heavily in high performance computing systems. A significant fraction of these resources are devoted to performing computational chemistry studies, such as those used in drug design. This project links Australian researchers with the company responsible for a particularly widely used computational chemistr ....Programming Paradigms, Tools and Algorithms for Electronic Structure Calculations on Clusters of Non-Uniform Memory Access Parallel Processors. In recent years Australian academia has invested heavily in high performance computing systems. A significant fraction of these resources are devoted to performing computational chemistry studies, such as those used in drug design. This project links Australian researchers with the company responsible for a particularly widely used computational chemistry application package, and also with a major international computer company. Our aim is to substantially improve the performance of this code on cluster based compute systems. This, as well as our generic performance evaluation tools, would be of substantial benefit to the Australian research community. The project will forge links with researchers in Singapore, Japan and the USA.Read moreRead less
Programming Paradigms, Tools and Algorithms for the Spectral Solution of the Electronic Schroedinger Equation on Non-Uniform Memory Parallel Processors. We propose to develop software tools and methods that are appropriate for current and future generations of large scale shared memory computer systems. Our purpose is to enable a more productive utilization of these architectures for scientific computation. We will focus on algorithms for solving differential equations appropriate to quantum che ....Programming Paradigms, Tools and Algorithms for the Spectral Solution of the Electronic Schroedinger Equation on Non-Uniform Memory Parallel Processors. We propose to develop software tools and methods that are appropriate for current and future generations of large scale shared memory computer systems. Our purpose is to enable a more productive utilization of these architectures for scientific computation. We will focus on algorithms for solving differential equations appropriate to quantum chemistry. In particular an exciting new class of methods whose computational cost scales linearly with system size. Our goal is to develop scalable parallel implementations of these methods. If realized this will revolutionize computation, enabling first principles calculations on truly nanoscale systems, such as enzymes and molecular electronic devices.Read moreRead less
Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will he ....Secure and Efficient Cryptographic Hashing. This project will enhance information security, which is absolutely crucial for rapidly growing e-commerce, e-government services and for national security (Priority 4 -Safeguarding Australia - Protection against Terrorism and Crime). The project will strengthen international collaboration by reciprocal exchange of researchers and postgraduate students leading to more attractive and productive research environment. At the same time, the project will help to maintain high research profile of Australian researchers, to increase the capacity for consultancy and contract work, and provide a cutting-edge information technology for the Australian telecommunications industry, business and government (Priority 3 - Frontier Technologies). Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.Read moreRead less
Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers a ....Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers access to powerful logical techniques in those applications. In the process, fundamental problems in modelling multiple granularity of time will be identified, and application-independent solutions to those problems will be provided.Read moreRead less
Pervasive Grids with Autonomic Capabilities. A grid computing system that brings together a multitude of heterogonous resources able should be able to function continuously without much intervention by a human operator. This work aims at developing techniques and tools for the monitoring and prediction of the behaviour of the core structure of a grid. In this case, the ?core? structure is a large- or a wide-area network, or a collection of such networks. The monitoring process will feed into the ....Pervasive Grids with Autonomic Capabilities. A grid computing system that brings together a multitude of heterogonous resources able should be able to function continuously without much intervention by a human operator. This work aims at developing techniques and tools for the monitoring and prediction of the behaviour of the core structure of a grid. In this case, the ?core? structure is a large- or a wide-area network, or a collection of such networks. The monitoring process will feed into the other layers in the grid fabric important information (traffic, current and possible future congestions, failures, topological variations, etc) to enable the efficient and consistent operation of the grid. This is an important research problem in grid computing
since traditional assumptions that are more or less valid in conventional high-performance computing settings break down on the Grid.Read moreRead less
A Grid-Enabled Meta-Server for Protein Threading. Grid Computing is a driver for many e-Science research projects around the world today. The project investigates the use of grid technology in building a meta-server architecture for protein threading. Protein technology problems are important for the field of bioinformatics and they also influence many industries, such as, agriculture, drug design, food science, and many more. The proposed framework can be extended to other problems in the life ....A Grid-Enabled Meta-Server for Protein Threading. Grid Computing is a driver for many e-Science research projects around the world today. The project investigates the use of grid technology in building a meta-server architecture for protein threading. Protein technology problems are important for the field of bioinformatics and they also influence many industries, such as, agriculture, drug design, food science, and many more. The proposed framework can be extended to other problems in the life sciences such as bio- and health-informatics. Projects of this nature are significant and will enable Australia to maintain its pioneering position and international reputation among other nations as leaders in Information Technology.Read moreRead less
Holistic Energy-Aware Scheduling for Distributed Computing Systems. Distributed computing systems are the platform of choice for many applications. In these systems, applications are submitted by a large number of users that compete for the shared heterogeneous resources (computers, storage communication links, etc). Concerns of power (or energy) consumption have become increasingly significant in the context of the design as well as the use of distributed computing systems. Therefore, there is ....Holistic Energy-Aware Scheduling for Distributed Computing Systems. Distributed computing systems are the platform of choice for many applications. In these systems, applications are submitted by a large number of users that compete for the shared heterogeneous resources (computers, storage communication links, etc). Concerns of power (or energy) consumption have become increasingly significant in the context of the design as well as the use of distributed computing systems. Therefore, there is a need to develop new generation of algorithms and software tools that enable the creation of environmentally friendly 'green' distributed systems. This project is a major step in this direction.Read moreRead less
Data and Job Scheduling in Large-Scale Distributed Systems. Distributed computing systems are the platform of choice for many applications. In these systems, applications are submitted by a large number of users that compete for the shared heterogeneous resources (computers, storage communication links, etc.). Thus, a distributed system can be viewed as a collection of computing and communication resources shared by active users. Towards this end, a new generation of algorithms and software tool ....Data and Job Scheduling in Large-Scale Distributed Systems. Distributed computing systems are the platform of choice for many applications. In these systems, applications are submitted by a large number of users that compete for the shared heterogeneous resources (computers, storage communication links, etc.). Thus, a distributed system can be viewed as a collection of computing and communication resources shared by active users. Towards this end, a new generation of algorithms and software tools need to be developed for the efficient utilisation of these systems through an appropriate allocation of the available resources to competing applications and users. This project is a major step in this direction.Read moreRead less