Globally Synchronized Frames for guaranteed quality-of-service in on-chip networks

Future chip multiprocessors (CMPs) may have hundreds to thousands of threads competing to access shared resources, and will require quality-of-service (QoS) support to improve system utilization. This paper introduces Globally-Synchronized Frames (GSF), a framework for providing guaranteed QoS in on-chip networks in terms of minimum bandwidth and maximum delay bound. The GSF framework can be easily integrated in a conventional virtual channel (VC) router without significantly increasing the hardware complexity. We exploit a fast on-chip barrier network to efficiently implement GSF. Performance guarantees are verified by analysis and simulation. According to our simulations, all concurrent flows receive their guaranteed minimum share of bandwidth in compliance with a given bandwidth allocation. The average throughput degradation of GSF on an 8×8 mesh network is within 10% compared to the conventional best-effort VC router.     

Underwater Vehicle Localization with Complementary Filter: Performance Analysis in the Shallow Water Environment

Rapid development of underwater technology during the last two decades yielded more affordable sensors and underwater vehicles, and, as a result, expanded their use from exclusively offshore industry towards smaller interdisciplinary research groups. Regardless of application, knowing the location of the vehicle operating underwater is crucial. Relatively inexpensive solution is sensor fusion based on a dynamic model of the vehicle aided by a Doppler Velocity Log and a Ultra-Short Base Line position system. Raw data from the sensors are highly asynchronous and susceptible to outliers, especially in shallow water environment. This paper presents detailed sensor analysis based on experimental data gathered in shallow waters, identifies outliers, presents an intuitive and simple sensor fusion algorithm and finally, discusses outlier rejection. The approach has been experimentally verified on medium size remotely operated vehicle.     

Subsumptive general solutions and parametric general solutions of Post equations

In this paper we generalize Rudeanu’s results from [13] to Post algebras. We give a necessary and sufficient condition for the existence of a Post function f such that the set of solutions of equation f(x) = 0 is a given interval. We also prove that every Post transformation is the parametric solution of some consistent Post equation.     

Brooksʼ Theorem for generalized dart graphs

The well-known Brooks? Theorem says that each graph G of maximum degree $k?3$ is k-colorable unless $G=K_{k+1}$. We generalize this theorem by allowing higher degree vertices with prescribed types of neighborhood.     

Request redirection paradigm in medical image archive implementation

It is widely recognized that the JPEG2000 facilitates issues in medical imaging: storage, communication, sharing, remote access, interoperability, and presentation scalability. Therefore, JPEG2000 support was added to the DICOM standard Supplement 61. Two approaches to support JPEG2000 medical image are explicitly defined by the DICOM standard: replacing the DICOM image format with corresponding JPEG2000 codestream, or by the Pixel Data Provider service, DICOM supplement 106. The latest one supposes two-step retrieval of medical image: DICOM request and response from a DICOM server, and then JPIP request and response from a JPEG2000 server. We propose a novel strategy for transmission of scalable JPEG2000 images extracted from a single codestream over DICOM network using the DICOM Private Data Element without sacrificing system interoperability. It employs the request redirection paradigm: DICOM request and response from JPEG2000 server through DICOM server. The paper presents programming solution for implementation of request redirection paradigm in a DICOM transparent manner.     

Analysis for a class of singularly perturbed hybrid systems via averaging

A class of singularly perturbed hybrid dynamical systems is analyzed. The fast states are restricted to a compact set a priori. The continuous-time boundary layer dynamics produce solutions that are assumed to generate a well-defined average vector field for the slow dynamics. This average, the projection of the jump map in the direction of the slow states, and flow and jump sets from the original dynamics define the reduced, or average, hybrid dynamical system. Assumptions about the average system lead to conclusions about the original, higher-dimensional system. For example, forward pre-completeness for the average system leads to a result on closeness of solutions between the original and average system on compact time domains. In addition, global asymptotic stability for the average system implies semiglobal, practical asymptotic stability for the original system. We give examples to illustrate the averaging concept and to relate it to classical singular perturbation results as well as to other singular perturbation results that have appeared recently for hybrid systems. We also use an example to show that our results can be used as an analysis tool to design hybrid feedbacks for continuous-time plants implemented by fast but continuous actuators.     

The investigation of metastable ζ-hcp phase in the Ag-rich f c c region of Ag-In alloys rapidly quenched from the melt

Stacking faults, which were detected in the Ag-In system, have been examined by transmission electron microscopy and electron diffraction. An enhanced concentration of stacking faults in splat cooled specimens as well as the formation of a metastable hexagonal phase in the f c c region of the alloy was observed. As far as we know this is the first case of the terminal solid solubility being reduced by rapid quenching. Terminal solid solubility is reduced because of the high concentration of structural defects introduced by quenching, e.g. dislocations and stacking faults, which serve as the nuclei for the transformation from the f c c to the h c p structure. Our measurements and calculations show that the stacking fault energy minimum is shifted to lower electron concentrations with respect to the stacking fault energy minimum corresponding to the equilibrium phase boundary for the f c c-h c p transformation. The new metastable phase boundary for this transformation was confirmed by X-ray examinations. We explain this earlier h c p phase appearance in rapid quenched specimens as the consequence of enhanced interaction of the Fermi surface and contracted Brillouin zone. The Brillouin zone contraction we attributed to quenched-in vacancies.