Experimental runtime complexity analysis of logic programs. While declarative languages improve programmer productivity, they make it harder for programmers to understand the performance of their code. We will build a tool that will use profiling data and program analysis to allow programmers to predict the running time of their programs.
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
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
Special Research Initiatives - Grant ID: SR0354832
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Dependable Distributed Enterprises and Services. Distributed systems (clusters, grids, peer-to-peer) are the mainstay of many new applications. This has the potential of providing consumers with much more timely, accurate, and comprehensive information on which to base major decisions in financial, medical, and other areas. As with any new technology, related applications should be designed and implemented in such a way that users can depend on the application's availability and results, which i ....Dependable Distributed Enterprises and Services. Distributed systems (clusters, grids, peer-to-peer) are the mainstay of many new applications. This has the potential of providing consumers with much more timely, accurate, and comprehensive information on which to base major decisions in financial, medical, and other areas. As with any new technology, related applications should be designed and implemented in such a way that users can depend on the application's availability and results, which is the main focus of this network. The CIs will collaborate in several ways, ranging from basic research to applications, to enable the creation and maintenance of highly dependable computer systems and networked applications.
Read moreRead less
Pattern-Based Video Coding Techniques for Real-Time Low Bit-Rate and Low Complexity Encoding Applications. This project will benefit the National Research Priority on Frontier Technology with applications in video surveillance, smart home design, and patient monitoring. It will enable Australia to lead the world in setting up coding standards and thus impact directly on the manufacturing initiatives of the multimedia communication and entertainment industries. Telecommunication industries will b ....Pattern-Based Video Coding Techniques for Real-Time Low Bit-Rate and Low Complexity Encoding Applications. This project will benefit the National Research Priority on Frontier Technology with applications in video surveillance, smart home design, and patient monitoring. It will enable Australia to lead the world in setting up coding standards and thus impact directly on the manufacturing initiatives of the multimedia communication and entertainment industries. Telecommunication industries will be the immediate beneficiary by enabling quality live video transmissions at low bit rates in a cost-effective manner. This project will improve the ability of large organisations to operate virtually across huge distances in Australia with the aid of reliable multimedia communications using distributed devices of limited power and processing capacity.Read moreRead less
Intention Selection in Intelligent Agent Systems. Although intelligent multi-tasking is the foundation of rational behaviour, very little work has been done to date. Work in this area will maintain Australia's reputation of being at the forefront of work in Intelligent Agents. It will also provide a basis which can later be further developed for inclusion in applications and agent platforms. Australia has a number of companies, such as Agent Oriented Software, and government organisations, such ....Intention Selection in Intelligent Agent Systems. Although intelligent multi-tasking is the foundation of rational behaviour, very little work has been done to date. Work in this area will maintain Australia's reputation of being at the forefront of work in Intelligent Agents. It will also provide a basis which can later be further developed for inclusion in applications and agent platforms. Australia has a number of companies, such as Agent Oriented Software, and government organisations, such as the Bureau of Meteorology and the Department of Defence, which use agent technology. These companies would benefit from this work as it would tackle a long-standing key problem in the area of intelligent systems.Read moreRead less
Efficient and Effective Interactive Visualization of Large Graphical Information Spaces. The expected outcome will change ways of interacting with and thinking about information processing for all information systems. As Australian companies became larger and more global, the ability to view and analyse the growing amount of company information becomes crucial to aspects as varied as trouble shooting or new ventures and eventually to the very viability of the organization itself. The expected ou ....Efficient and Effective Interactive Visualization of Large Graphical Information Spaces. The expected outcome will change ways of interacting with and thinking about information processing for all information systems. As Australian companies became larger and more global, the ability to view and analyse the growing amount of company information becomes crucial to aspects as varied as trouble shooting or new ventures and eventually to the very viability of the organization itself. The expected outcome will enhance this ability by providing an optimised global view and an effective navigation scheme of large graphical information spaces. This will attract leading international IT companies to use it for developing cutting-age tools, and will enhance significantly the capacity and international standing of Australian IT industry.Read moreRead less
Algorithms for Memory Management and Memory Design in Embedded Systems. Given the importance of embedded systems technology, Australia must secure a place among significant innovators in the field of embedded systems design. Our research aims at novel algorithmic solutions for customization and resource management for embedded processors. Thus, besides generating intellectual property, our research can be fully commercialized in Australia, because it does not require complex and expensive techn ....Algorithms for Memory Management and Memory Design in Embedded Systems. Given the importance of embedded systems technology, Australia must secure a place among significant innovators in the field of embedded systems design. Our research aims at novel algorithmic solutions for customization and resource management for embedded processors. Thus, besides generating intellectual property, our research can be fully commercialized in Australia, because it does not require complex and expensive technologies and other resources available only to the world's largest corporations. In addition, during our research a number of undergraduate and graduate students will get a chance to get training in the cutting edge embedded systems design, optimization and testing.Read moreRead less
An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied t ....An Integrative and Interactive Approach for Co-estimation of Multiple Sequence Alignment and Phylogeny Reconstruction. In this project innovative IT methods will be developed to assist biologists to solve complex and important biological problems. Many important applications in computational biology need very accurate and reliable tools for multiple sequence alignment and phylogeny reconstruction. Unfortunately, current existing tools are unreliable and are prone to serious errors when applied to large and divergent biological sequences. The success of this project will not only make significant contribution to the relevant research fields, but also help achieve goals in certain real-life biological research projects which are unique and important to Australia.Read moreRead less
Efficient Algorithms for In-memory Sorting, Searching and Indexing on Modern Multi-core Cache-based and Graphics Processor Architectures. This project clearly belongs to one of the national research priority
goals, Smart Information Use. The copy-based techniques and work on sorting and searching will considerably impact the development of in-memory algorithms in cutting-edge computer architectures. Efficient suffix trees and suffix sorting have myriad applications in string-processing and will ....Efficient Algorithms for In-memory Sorting, Searching and Indexing on Modern Multi-core Cache-based and Graphics Processor Architectures. This project clearly belongs to one of the national research priority
goals, Smart Information Use. The copy-based techniques and work on sorting and searching will considerably impact the development of in-memory algorithms in cutting-edge computer architectures. Efficient suffix trees and suffix sorting have myriad applications in string-processing and will be of high interest to bioinformatics companies. The sortdex project will develop novel algorithms that will be used by enterprise search engine companies to develop applications for libraries and organisations dealing with large databases. Algorithms using the graphics processor as a co-processor have important applications in the high-growth field of computer graphics and games. Read moreRead less