A real-time asymmetric multiprocessor-reconfigurable system-on-chip architecture

We propose an asymmetric multi-processor SoC architecture, featuring a master CPU running uClinux, and multiple loosely-coupled slave CPUs running real-time threads assigned by the master CPU. Real-time SoC architectures often demand a compromise between a generic platform for different applications, and application-specific customizations to achieve performance requirements. Our proposed architecture offers a generic platform running a conventional embedded operating system providing a traditional software-oriented development approach, while multiple slave CPUs act as a dedicated independent real-time threads execution unit running in parallel of master CPU to achieve performance requirements. In this paper, the architecture is described, including the application / threading development environment. The performance of the architecture with several standard benchmark routines is also analysed.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.

The correspondence framework for 3D surface matching algorithms

Beyond the inherent technical challenges, current research into the three dimensional surface correspondence problem is hampered by a lack of uniform terminology, an abundance of application specific algorithms, and the absence of a consistent model for comparing existing approaches and developing new ones. This paper addresses these challenges by presenting a framework for analysing, comparing, developing, and implementing surface correspondence algorithms. The framework uses five distinct stages to establish correspondence between surfaces. It is general, encompassing a wide variety of existing techniques, and flexible, facilitating the synthesis of new correspondence algorithms. This paper presents a review of existing surface correspondence algorithms, and shows how they fit into the correspondence framework. It also shows how the framework can be used to analyse and compare existing algorithms and develop new algorithms using the framework's modular structure. Six algorithms, four existing and two new, are implemented using the framework. Each implemented algorithm is used to match a number of surface pairs. Results demonstrate that the correspondence framework implementations are faithful implementations of existing algorithms, and that powerful new surface correspondence algorithms can be created. (C) 2004 Elsevier Inc. All rights reserved.

Cue salience in multiple cue attentional capture

The predominant use of single element cues in visual attentional capture research motivated examination using dual capture cues. Participants in these studies viewed computer screens briefly displaying sequences of feature-defined positional cues and targets, with target identification response time recorded. Five initial experiments utilising the features of colour (purple) and intensity (bold font), and reported at EPC 2005, revealed contingent capture influences and suggested capture by colour cues may be more powerful than single cue literature has indicated. Three follow-up experiments manipulated displays and defining features to see if the conclusions remained. Experiments 6 and 7 investigated whether target identification in the initial series was based on a featural or singleton search. Experiment 8 then tested "onset' versus "purple" under the condition of specific attentional set, a featural change that appeared to remove purple colour dominance evidenced in the initial experimental series. Overall, outcomes of both experimental series suggest strong salience involvement with overtones of contingent capture for specific featural selections. The novel multi-cue approach revealed the significance of relative salience within these selections.

Low-cost real-time gesture recognition

A major impediment to developing real-time computer vision systems has been the computational power and level of skill required to process video streams in real-time. This has meant that many researchers have either analysed video streams off-line or used expensive dedicated hardware acceleration techniques. Recent software and hardware developments have greatly eased the development burden of realtime image analysis leading to the development of portable systems using cheap PC hardware and software exploiting the Multimedia Extension (MMX) instruction set of the Intel Pentium chip. This paper describes the implementation of a computationally efficient computer vision system for recognizing hand gestures using efficient coding and MMX-acceleration to achieve real-time performance on low cost hardware.

The effectiveness of hylan G-F 20 in patients with knee osteoarthritis: an application of two sets of response criteria developed by the OARSI and one set developed by OMERACT-OARSI

Objective: Secondary analyses of a previously conducted 1-year randomized controlled trial were performed to assess the application of responder criteria in patients with knee osteoarthritis (OA) using different sets of responder criteria developed by the Osteoarthritis Research Society International (OARSI) (Propositions A and B) for intra-articular drugs and Outcome Measures in Arthritis Clinical Trials (OMERACT)-OARSI (Proposition D). Methods: Two hundred fifty-five patients with knee OA were randomized to appropriate care with hylan G-F 20 (AC + H) or appropriate care without hylan G-F 20 (AC). A patient was defined as a responder at month 12 based on change in Western Ontario and McMaster Universities Osteoarthritis Index pain and function (0-100 normalized scale) and patient global assessment of OA in the study knee (at least one-category improvement in very poor, poor, fair, good and very good). All propositions incorporate both minimum relative and absolute changes. Results: Results demonstrated that statistically significant differences in responders between treatment groups, in favor of hylan G-F 20, were detected for Proposition A (AC + H = 53.5%, AC = 25.2%), Proposition B (AC + H = 56.7%, AC = 32.3%) and Proposition D (AC + H = 66.9%, AC = 42.5%). The highest effectiveness in both treatment groups was observed with Proposition D, whereas Proposition A resulted in the lowest effectiveness in both treatment groups. The treatment group differences always exceeded the required 20% minimum clinically important difference between groups established a priori, and were 28.3%, 24.4% and 24.4% for Propositions A, B and D, respectively. Conclusion: This analysis provides evidence for the capacity of OARSI and OMERACT-OARSI responder criteria to detect clinically important statistically detectable differences between treatment groups. (C) 2004 OsteoArthritis Research Society International. Published by Elsevier Ltd. All rights reserved.

Specific modulation of airway epithelial tight junctions by apical application of an occludin peptide

Tight junctions are directly involved in regulating the passage of ions and macromolecules (gate functions) in epithelial and endothelial cells. The modulation of these gate functions to transiently regulate the paracellular permeability of large solutes and ions could increase the delivery of pharmacological agents or gene transfer vectors. To reduce the inflammatory responses caused by tight junction-regulating agents, alternative strategies directly targeting specific tight junction proteins could prove to be less toxic to airway epithelia. The apical delivery of peptides corresponding to the first extracellular loop of occludin to transiently modulate apical paracellular flux has been demonstrated in intestinal epithelia. We hypothesized that apical application of these occludin peptides could similarly modulate tight junction permeability in airway epithelia. Thus, we investigated the effects of apically applied occludin peptide on the paracellular permeability of molecular tracers and viral vectors in well differentiated human airway epithelial cells. The effects of occludin peptide on cellular toxicity, tight junction protein expression and localization, and membrane integrity were also assessed. Our data showed that apically applied occludin peptide significantly reduced transepithelial resistance in airway epithelia and altered tight junction permeability in a concentration-dependent manner. These alterations enhanced the paracellular flux of dextrans as well as gene transfer vectors. The occludin peptide redistributed occludin but did not alter the expression or distribution of ZO-1, claudin-1, or claudin-4. These data suggest that specific targeting of occludin could be a better-suited alternative strategy for tight junction modulation in airway epithelial cells compared with current agents that modulate tight junctions.