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
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.
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
Discovery Early Career Researcher Award - Grant ID: DE150100720
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
Testing Isomorphism of Algebraic Structures. The algorithmic problem of isomorphism testing seeks to decide whether two objects from a mathematical category are essentially the same. This project focuses on the setting when the categories are from algebra, including but not limited to, groups and polynomials. It is a family of fundamental problems in complexity theory, with important applications in cryptography. The project aims to develop efficient algorithms with provable guarantee, or formal ....Testing Isomorphism of Algebraic Structures. The algorithmic problem of isomorphism testing seeks to decide whether two objects from a mathematical category are essentially the same. This project focuses on the setting when the categories are from algebra, including but not limited to, groups and polynomials. It is a family of fundamental problems in complexity theory, with important applications in cryptography. The project aims to develop efficient algorithms with provable guarantee, or formal hardness proofs, for these problems. Algorithms will be implemented to examine the impacts on certain cryptography schemes. The successful completion of this project will enhance the understanding of computational complexities of these problems, and identify the security of certain cryptography schemes.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