Performance Analysis and Optimization of Asynchronous Circuits

Analytical techniques are developed to determine the performance of asynchronous digital circuits. These techniques can be used to guide the designer during the synthesis of such a circuit, leading to a high-performance, efficient implementation. Optimization techniques are also developed that further improve this implementation by determining the optimal sizes of the low-level devices (CMOS transistors) that compose the circuit

Performance Analysis and Optimization of Asynchronous Circuits Produced by Martin Synthesis

We present a method for analyzing the timing performance of asynchronous circuits, in particular, those derived by program transformation from concurrent programs using the synthesis approach developed by Martin. The analysis method produces a performance metric (related to the time needed to perform an operation) in terms of the primitive gate delays of the circuit. Because the gate delays are functions of transistor sizes, the performance metric can be optimized with respect to these sizes. For a large class of asynchronous circuits -- including those produced by the Martin synthesis -- these techniques produce the global optimum of the performance metric. A CAD tool has been implemented to perform this optimization

Automated Compilation of Concurrent Programs into Self-Timed Circuits

No abstract available

Syntax-Directed Translation of Concurrent Programs into Self-Timed Circuits

No abstract available

Performance Analysis and Optimization of Asynchronous Circuits

We present a method for analyzing the time performance of asynchronous circuits, in paxticulax, those derived by program transformation from concurrent programs using the synthesis approach developed by the second author. The analysis method produces a performance metric (related to the time needed to perform an operation) in terms of the primitive gate delays of the circuit. Such a metric provides a quantitative means by which to compare competing designs. Because the gate delays are functions of transistor sizes, the performance metric can be optimized with respect to these sizes. For a large class of asynchronous circuits-including those produced by using our synthesis method-these techniques produce the global optimum of the performance metric. A CAD tool has been implemented to perform this optimization

Hearing, Perception, and Language in Clinical and Typical Populations

poster abstractThe IUPUI Signature Center for Advanced Studies in Hearing, Perception, and Language is a multidisciplinary, multidepartmental, multischool center dedicated to the integration of knowledge and methodologies from different disciplines to study speech perception and production, music perception and production, language, and cognition in clinical populations across the lifespan. Examples of ongoing research include the assessment of adult cochlear implant users’ perception of pitch; pediatric cochlear implant users’ speech intelligibility, prosody, and vocal music production; infants’ perception of auditory labels for visual objects; and breast cancer survivors’ perception of musical patterns following chemotherapy. In one study, we documented differences in hearing and music cognition between breast cancer survivors who received adjuvant cancer treatment and healthy age- and educationmatched controls. Participants were 29 female breast cancer survivors and 29 healthy controls. All participants received an audiometric test to assess hearing and The Montreal Battery for Evaluation of Amusia, which assesses such perceptual areas as melodic organization, temporal organization, and melodic memory. Results showed a moderate negative correlation between hearing and melodic organization scores across all subjects. For music cognition variables, effect-size analyses of melodic organization tasks (contour, intervals, tonality) suggested that healthy controls scored better than breast cancer survivors, although not significantly. The Center for Advanced Studies in Hearing, Perception, and Language continues to apply both standard and innovative analysis methodology to address cognitive issues of relevance to both clinical and typical populations

Protocol for Usability Testing and Validation of the ISO Draft International Standard 19223 for Lung Ventilators

©Dev Minotra, Steven L Dain, Catherine M Burns. Originally published in JMIR Research Protocols (http://www.researchprotocols.org), 08.09.2017. This is an open-access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work, first published in JMIR Research Protocols, is properly cited. The complete bibliographic information, a link to the original publication on http://www.researchprotocols.org, as well as this copyright and license information must be included.Background: Clinicians, such as respiratory therapists and physicians, are often required to set up pieces of medical equipment that use inconsistent terminology. Current lung ventilator terminology that is used by different manufacturers contributes to the risk of usage errors, and in turn the risk of ventilator-associated lung injuries and other conditions. Human factors and communication issues are often associated with ventilator-related sentinel events, and inconsistent ventilator terminology compounds these issues. This paper describes our proposed protocol, which will be implemented at the University of Waterloo, Canada when this project is externally funded. Objective: We propose to determine whether a standardized vocabulary improves the ease of use, safety, and utility as it relates to the usability of medical devices, compared to legacy medical devices from multiple manufacturers, which use different terms. Methods: We hypothesize that usage errors by clinicians will be lower when standardization is consistently applied by all manufacturers. The proposed study will experimentally examine the impact of standardized nomenclature on performance declines in the use of an unfamiliar ventilator product in clinically relevant scenarios. Participants will be respiratory therapy practitioners and trainees, and we propose studying approximately 60 participants. Results: The work reported here is in the proposal phase. Once the protocol is implemented, we will report the results in a follow-up paper. Conclusions: The proposed study will help us better understand the effects of standardization on medical device usability. The study will also help identify any terms in the International Organization for Standardization (ISO) Draft International Standard (DIS) 19223 that may be associated with recurrent errors. Amendments to the standard will be proposed if recurrent errors are identified. This report contributes a protocol that can be used to assess the effect of standardization in any given domain that involves equipment, multiple manufacturers, inconsistent vocabulary, symbology, audio tones, or patterns in interface navigation. Second, the protocol can be used to experimentally evaluate the ISO DIS 19223 for its effectiveness, as researchers around the world may wish to conduct such tests and compare results.We are thankful for funding support from the Natural Sciences and Engineering Research Council discovery grant 132995 and from a Telus Health contract

Projective connections in CR geometry

Holomorphic invariants of an analytic real hypersurface in ℂ n+1 can be computed by several methods, coefficients of the Moser normal form [4], pseudo-con-formal curvature and its covariant derivatives [4], and projective curvature and its covariant derivatives [3]. The relation between these constructions is given in terms of reduction of the complex projective structure to a real form and exponentiation of complex vectorfields to give complex coordinate systems and corresponding Moser normal forms. Although the results hold for hypersurfaces with non-degenerate Levi-form, explicit formulas will be given only for the positive definite case.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46644/1/229_2005_Article_BF01298334.pd