Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe s ....Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe software development. The industry interested in embedded system tools are: Telecom/Datacom, Consumer Electronics, Industrial Automation, Retail Automation, Office Automation, Military/Aerospace, Automotive, Information Automation, Medical Devices.Read moreRead less
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.