Pages

Subscribe:
Showing posts with label Linköping University. Show all posts
Showing posts with label Linköping University. Show all posts

Thursday, 24 January 2013

Real-Time Systems with Radiation-Hardened Processors: A GPU-based Framework to Explore Tradeoffs


Radiation-hardened processors are planned to be supple against soft errors but such processors are slower than Commercial Off-The-Shelf (COTS)processors as well significantly costlier. In order to alleviate the high costs, software techniques such as task re-executions must be organized together with adequately hardened processors to provide reliability,this leads to a huge design space comprising of the hardening level of the processors and the number of re-executions of each task in the system. Each configuration in this design space represents a tradeoff between processor load, reliability and costs.
The reliability comes at the price of higher costs due to higher levels of hardening and performance degradation due to hardening or due to re-executions.Thus, the tradeoffs between performance, reliability and costs must be carefully studied. Pertinent questions that arise in such a design scenario are — (i)how many times a task must be re-executed and (ii) what should be hardening level? — such that the system reliability is satisfied.
In order to evaluate such tradeoffs efficiently, in this project, we propose novel framework that harnesses the computational power of Graphics Processing Units (GPUs). Our framework is based on a system failure probability analysis that connects the probability of failure of tasks to the overall system reliability. Based on characteristics of this probabilistic analysis as well as real-time deadlines, we derive bounds on the design space to prune in feasible solutions. Finally, we illustrate the benefits of our proposed framework with several experiments

Authors


Alhowaidi, Mohammad 

Download 

Sunday, 13 January 2013

emi-Automatic Translation of Medical Terms from English to Swedish: SNOMED CT in Translation



The Swedish National Board of Health and Welfare has been supervisioning translations of the international clinical terminology SNOMED CT from English to Swedish. This study was carrying out to find whether semi-automatic methods of translation could generate an acceptable translation while needing fewer funds than manual translation. Using the medical English-Swedish dictionary TermColl translations of choosed subsets of SNOMED CT were shaped by ways of translation memory and statistical translation.
The resulting translations were estimated via BLEU score using translations offered by the Swedish National Board of Health and Welfare as reference before being contrasted with each other. The results demonstrated a strong advantage for statistical translation over use of a translation memory; however, overall translation results were far from satisfactory

Author: Lindgren, Anna

Download

Sunday, 30 December 2012

Asynchronous Wrapper for Globally Asynchronous Locally Synchronous Systems

The new globally asynchronous locally synchronous (GALS) technology for integrated circuits is been investigated.A new wrapper design is presented by testing different types of asynchronous wrappers . It also investigates the possibility to use VHDL for asynchronous simulation and synthesis. The conclusions are that the GALS technology is possible to use but that it needs new synthesis tools, because todays tools are designed for synchronous technology.

Author: Manbo, Olof


Download

Contributors