Sometimes, under control of a supervisor a discrete event system could constitute a conservative solution in this case relaxing the blocking becomes an inevitable fact to improve the performance. Meanwhile the balance between blocking and achievement has to be preserved. So the strings that drive the system to blocking and also the strings causing achievement have to be investigated in a numeri...

This thesis presents a research project on decoder related optimizations in HDL designs. The goal of the reasearch is to improve design synthesis quality-of-result, mainly in terms of area; this involves sharing decoders driven by related inputs, and map decoders using fewer number of boolean gates. Algorithms presented in this thesis were implemented in the Presto HDL compiler. A series of tes...

This paper introduces a shared Internet talking browser for the visually impaired called Talk & Browse (T&Browse) that allows a group of blind users to access Internet content and view the same HTML documents at the same time. Within the browsing session, the system allows two types of users: a sighted person (session supervisor) and blind users (session guided users). When the supervisor brows...

Qualitative research methodology was used to explore supervisor perceptions of learning style characteristics required for student success in fieldwork. A focus discussion group was used to elicit success themes identified by clinicians. These themes were compared to learning style themes previously identified in quantitative studies. Techniques of conversation analysis were used to assess cong...

BACKGROUND Clerkship performance is commonly evaluated by consultant surgeons who seldom supervise medical students directly. In contrast, surgical residents and interns frequently supervise students and provide essential teaching but are not tasked with evaluating them. AIM To prospectively investigate and compare the accuracy of general surgery clerkship performance evaluations by clinical ...

T. Savor and R.E. Seviora ([email protected], [email protected]) Bell Canada Software Reliability Laboratory University of Waterloo Waterloo, Ontario, Canada N2L 3G1 Abstract Speci cation-based software supervision is an approach to the automatic run-time detection of failures. The supervisor is a unit that monitors the inputs and outputs of a target software system and reports d...

The aim of this study is to examine the complexities doctoral candidate–supervisor relationship within programme at University Iceland through voices candidates. Numerous studies suggest that candidates endure a stressful working environment and one most important factors influencing with supervisor. In we have chosen focus on what value in communication their supervisor where they feel improve...

Author: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . " . . . . . " May 2013 Supervisor: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . " . . . . . " May 2013 Supervisor: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . " . . . . . " May 2013 Instructor: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . " . . . . . " ...

A supervisor is said to be mutually nonblocking with respect to a pair of specifications if upon completing a task in any of the specifications, it can continue on to complete the task in the other specification, i.e., the two specifications do not block each other. The notion of mutually nonblocking supervisor was introduced in [4, 5]. In this paper we present an algorithm of polynomial comple...