Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0346446
Funder
Australian Research Council
Funding Amount
$312,000.00
Summary
Australian Creative Resources Archive. The facility will digitise wasted cultural materials to create an accessible archive that meets the needs of Australian researchers, artists, entrepreneurs, and the public, specifically in order to stimulate broadband content development. This unique facility and associated research will: (1) provide a rich resource for broadband content development; (2) provide a platform for productive research collaborations with Australian content producers; (3) develop ....Australian Creative Resources Archive. The facility will digitise wasted cultural materials to create an accessible archive that meets the needs of Australian researchers, artists, entrepreneurs, and the public, specifically in order to stimulate broadband content development. This unique facility and associated research will: (1) provide a rich resource for broadband content development; (2) provide a platform for productive research collaborations with Australian content producers; (3) develop innovative classification systems and associated software for content development; (4) develop new intellectual property and new business models; (5) develop new ways to develop and deliver Australian broadband content; and, (6) develop new understandings of creative production processes.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