The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test (IUT) from producing outputs, while the IUT does not block inputs from the tester, either. Thus, input from the tester and output from the IUT may occur simultaneously and should be queued in finite buffers between th...

Reminiscing is a positive pastime for people with dementia but little is known about selecting materials to prompt reminiscing, particularly whether personal items are more useful than generic ones. This paper reports two small studies, the first using personal stimuli (family photographs) and the second generic photographs of annual events to examine their relative effectiveness as reminiscenc...

We analyzed phonological and visual information processes of four Japanese dyslexic children between 710 years of age. None of them had disability in word retrieval and/or auditory memory. Two of them manifested lower score in phonological awareness tests while the others showed normal score. All children showed subnormal score in a visual cognitive test, a visuo-spacial constructional test, an...

Various strategies employed in genomic DNA cloning by subtractive hybridization have been examined by computer simulations, with the comparison between the predictions and the published results. The result shows that the efficiency of target sequence enrichment and the sensitivity to experimental conditions depend strongly on the enrichment strategy employed. The strategy selecting only tester/...

This paper suggests two test architectures for testing distributed, concurrent systems: a global tester that has total control over the distributed system under test (SUT) and, more interestingly, a distributed tester comprising several concurrent tester components. The test architectures rely on a grey-box testing approach that allows to observe internal interactions of the SUT by the tester. ...

We describe a low-cost, functional tester for the MacII that allows students to test and debug digital systems interactively. This tester provides a large number of programmable I/O signals and can be used to test chips, boards and subsystems. Test programs are easily written using a simple, intuitive interface and we expect a variety of interactive graphical testing and debugging environments ...

We introduce the notion of a Canonical Tester for a class of properties on distributions, that is, a tester strong and general enough that "a distribution property in the class is testable if and only if the Canonical Tester tests it". We construct a Canonical Tester for the class of symmetric properties of one or two distributions, satisfying a certain weak continuity condition. Analyzing the ...

INTRODUCTIONSuppression subtractive hybridization (SSH) is one of the most powerful and popular methods for generating subtracted cDNA or genomic DNA libraries. This technique can be used to compare two mRNA populations and obtain cDNAs representing genes that are either overexpressed or exclusively expressed in one population as compared to another. It can also be used for comparison of genomi...

We describe a low-cost functional tester that provides a large number of programmable I/O signals for interactively testing and debugging chips, boards and subsystems. Testing a subsystem requires only minimal hardware setup which allows the tester to be shared by several users and reduces the overall cost of test equipment. Testing is performed under program control which can be driven either ...