title: The explicit conflict check algorithm implemented in the Waters library

authors: Malik, Robi

subjects: computer science

abstract: This working paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.

text: The explicit conflict check algorithm implemented in the Waters library This working paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.

year: 2018

title: Improving the performance of HTTP over high bandwidth-delay product circuits

authors: McGregor, Anthony James

subjects: TCP/IP performance

abstract: As the WWW continues to grow, providing adequate bandwidth to countries remote from the geographic and topological center of the network, such as those in the Asia/Pacific, becomes more and more difficult. To meet the growing traffic needs of the Internet some Network Service Providers are deploying satellite connections. Through discrete event simulation of a real HTTP workload with differing international architectures this paper is able to give guidance on the architecture that should be deployed for long distance, high capacity Internet links.
We show that a significant increase in the time taken to fetch HTTP requests can be expected when traffic is moved from a long distance international terrestrial link to a satellite link. We then show several modifications to the network architecture that can be used to greatly improve the performance of a satellite link. These modifications include the use of an asymmetric satellite link, the multiplexing of multiple HTTP requests onto a single TCP connection and the use of HTTP1.1.

text: Improving the performance of HTTP over high bandwidth-delay product circuits As the WWW continues to grow, providing adequate bandwidth to countries remote from the geographic and topological center of the network, such as those in the Asia/Pacific, becomes more and more difficult. To meet the growing traffic needs of the Internet some Network Service Providers are deploying satellite connections. Through discrete event simulation of a real HTTP workload with differing international architectures this paper is able to give guidance on the architecture that should be deployed for long distance, high capacity Internet links.
We show that a significant increase in the time taken to fetch HTTP requests can be expected when traffic is moved from a long distance international terrestrial link to a satellite link. We then show several modifications to the network architecture that can be used to greatly improve the performance of a satellite link. These modifications include the use of an asymmetric satellite link, the multiplexing of multiple HTTP requests onto a single TCP connection and the use of HTTP1.1.

year: 2001

title: Kia mau ki tō Māoritanga - The role of Māori teachers in English medium primary schools

authors: Coffin, Rachel Marie

subjects: Māori  teachers

abstract: The achievement levels between Māori and non-Māori students remains increasingly wide within a westernised education system. This system has continued to perpetuate the ongoing failure of Māori students. We need to look at ways in which Māori students can best be supported in English medium education settings as these are where the majority of Māori students receive their schooling, and how we can close the gap between Māori and non-Māori achievement. 

Māori teachers are a minority group within English medium education and their potential to raise Māori student achievement is often overlooked (Lee, 2009). This thesis used a case study approach framed by kaupapa Māori methodology to examine how one primary school, whose Māori students are achieving at similar levels to their non-Māori peers, utilises Māori staff to enhance the cultural pedagogy of the school and how this contributes to the success of Māori students.

The literature review takes an historic look at Māori within a westernised education system and looks at how Māori underachievement is not a recent occurrence but an ongoing issue, dating back over one hundred years.  It draws on international literature around the experiences of other indigenous peoples who have experienced colonisation, and highlights the similar struggles that they have had, and continue to have as minority students. 

The literature review also looks at the ways in which indigenous peoples are working to lift indigenous achievement and the role of indigenous teachers in supporting this process. It looks at the role that culture plays in the belief of indigenous peoples in their own ability to succeed, which is referred to in this thesis as self-efficacy (Bandura, 1997, Schunk, 1986).

In contrast to this  students with low self-efficacy will typically avoid difficult tasks in order to minimize risk to self-worth and protect self-esteem (McRae et al., 2010). 

The findings indicate that Māori teachers at Te Kauri School have some level of proficiency in tikanga and te reo Māori and that this plays a vital role in the schools ability to create a culturally responsive learning environment. The Māori staff have the support of the school leadership team, which promotes and values the inclusion of tikanga and te reo Māori. 

This culturally responsive environment instils in Māori students at Te Kauri School a sense of pride in who they are as culturally located beings. This pride means that they do not feel pressure to conform to the ways of the dominant culture, rather that they are able to be Māori. This also corresponds with achievement data for the school, which shows that Māori achievement levels are at similar levels to that of non-Māori students, and in some year and gender levels above. 

The findings indicate that the relationship between Māori whānau (families) and the school is vital in creating a supportive environment and that Māori teachers are especially valuable in this process. Having cultural practices such as kapa haka, waiata and karakia give Māori whānau a connection to the school and provide them with an opportunity to support not only their children but also the school community. 

The findings also indicate that Māori staff and whānau participants view Māori teachers as role models and that having Māori role models within the school adds to Māori student’s sense of pride in being Māori, thus enhancing their self-efficacy and success.

text: Kia mau ki tō Māoritanga - The role of Māori teachers in English medium primary schools The achievement levels between Māori and non-Māori students remains increasingly wide within a westernised education system. This system has continued to perpetuate the ongoing failure of Māori students. We need to look at ways in which Māori students can best be supported in English medium education settings as these are where the majority of Māori students receive their schooling, and how we can close the gap between Māori and non-Māori achievement. 

Māori teachers are a minority group within English medium education and their potential to raise Māori student achievement is often overlooked (Lee, 2009). This thesis used a case study approach framed by kaupapa Māori methodology to examine how one primary school, whose Māori students are achieving at similar levels to their non-Māori peers, utilises Māori staff to enhance the cultural pedagogy of the school and how this contributes to the success of Māori students.

The literature review takes an historic look at Māori within a westernised education system and looks at how Māori underachievement is not a recent occurrence but an ongoing issue, dating back over one hundred years.  It draws on international literature around the experiences of other indigenous peoples who have experienced colonisation, and highlights the similar struggles that they have had, and continue to have as minority students. 

The literature review also looks at the ways in which indigenous peoples are working to lift indigenous achievement and the role of indigenous teachers in supporting this process. It looks at the role that culture plays in the belief of indigenous peoples in their own ability to succeed, which is referred to in this thesis as self-efficacy (Bandura, 1997, Schunk, 1986).

In contrast to this  students with low self-efficacy will typically avoid difficult tasks in order to minimize risk to self-worth and protect self-esteem (McRae et al., 2010). 

The findings indicate that Māori teachers at Te Kauri School have some level of proficiency in tikanga and te reo Māori and that this plays a vital role in the schools ability to create a culturally responsive learning environment. The Māori staff have the support of the school leadership team, which promotes and values the inclusion of tikanga and te reo Māori. 

This culturally responsive environment instils in Māori students at Te Kauri School a sense of pride in who they are as culturally located beings. This pride means that they do not feel pressure to conform to the ways of the dominant culture, rather that they are able to be Māori. This also corresponds with achievement data for the school, which shows that Māori achievement levels are at similar levels to that of non-Māori students, and in some year and gender levels above. 

The findings indicate that the relationship between Māori whānau (families) and the school is vital in creating a supportive environment and that Māori teachers are especially valuable in this process. Having cultural practices such as kapa haka, waiata and karakia give Māori whānau a connection to the school and provide them with an opportunity to support not only their children but also the school community. 

The findings also indicate that Māori staff and whānau participants view Māori teachers as role models and that having Māori role models within the school adds to Māori student’s sense of pride in being Māori, thus enhancing their self-efficacy and success.

year: 2013