A process for rigorous inspection of concurrent systems using tabular specification was developed and applied to the classic Readers/Writers concurrent program by Jin in [15]. The process involved rewriting the program ...
With so many software-related failures happening these days, there is an increasing demand for software quality. Rigorous development approaches, which apply mathematical techniques to the design and implementation, should ...
This research project develops a methodology for creating multifunctional infrastructure projects. It focuses on enabling an interdisciplinary approach to the establishment of a brief for the redesign of a road, the orbital ...
Brazil, Eoin(University of Limerick [Dept. of Computer Science & Information Systems], 2003)
In this thesis, a prototype system for the browsing of audio resources was developed and an initial evaluation of this system was performed. The main contributions of this thesis are dynamic queries and multiple visualisation ...
Heffernan, Donal; Plaga, Sven(University of Limerick, Department of Electronic & Computer Engineering, 2010)
In recent times there is a growing emphasis on energy saving solutions for processor-based systems of all types, and there is a particular emphasis on energy-saving solutions to sustain battery life in portable and remote ...
Jamniczky-Kaszas, Dora(University of Limerick, Department of Chemical and Environmental Sciences, 2010)
Environmental and legislative constraints regarding sludge disposal, such as its application on agricultural land, stimulate research in this area. Since municipalities are responsible for sludge disposal and finance it ...
Algar, Lynne(University of Limerick, Department of Education & Professional Studies, 2010)
Background: Recovery from training is one of the most important aspects of improving athletic performance (Bishop el al., 2008). Contrast Water Therapy (CWT) has been reported to accelerate recovery of muscle function after ...
Scanlon, Greg(University of Limerick, Department of Education & Professional Studies, 2010)
This study aimed to explore the use of a blended learning course of study on an undergraduate teacher programme in the Republic of Ireland. The study aimed to examine the use of a blend of online learning with face-to-face ...
The convergent validity of the Movement Assessment Battery for Children-2 (MABC-2) and the McCarron Assessment of Neuromuscular Development (MAND) in an ecologically valid environment
Laura Cronin
Purpose: To investigate ...