Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and ....Extending a family of garbage collectors. Garbage collection is a key component in the automatic management of storage in computer systems. It is an essential property of modern programming systems that frees the programmer from a significant error-prone task. Our interest is in garbage collection in distributed systems involving a number of networked computers. Using our novel construction methodology, we have jointly produced a family of collection algorithms that are significantly simpler and more efficient than previous work. Here we wish to extend this family to operate effectively in a specific architecture increasingly favoured by many modern distributed high-performance computing systems.Read moreRead less
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Fellowship for on site German-Australian collaboration to research the everyday music practices of marginalised youth as pathways to socio-economic inclusion. This project aims to deepen our successful multi-sited collaborative project, DP0345917. Humboldt's Institut fur Sozialwissenschaften has already begun a formal M.O.U. process with The Hawke Research Institute, University of South Australia. Cohen's expertise and sustained onsite co-fieldwork with the Australian CIs will augment this link, ....Fellowship for on site German-Australian collaboration to research the everyday music practices of marginalised youth as pathways to socio-economic inclusion. This project aims to deepen our successful multi-sited collaborative project, DP0345917. Humboldt's Institut fur Sozialwissenschaften has already begun a formal M.O.U. process with The Hawke Research Institute, University of South Australia. Cohen's expertise and sustained onsite co-fieldwork with the Australian CIs will augment this link, the fellowship further ensuring reciprocal understandings of the specificity of each research site, collaborative publications and consistency of methodological approaches. Adherence to common research aims and objectives and cross-cultural benchmarking will significantly enhance Australian leadership in international best practice in youth policy implementations and development programs.Read moreRead less