Sciweavers

2496 search results - page 392 / 500
» On covering by translates of a set
Sort
View
SEMCO
2009
IEEE
16 years 1 months ago
Using a Formal Language Constructs for Software Model Evolution
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
Samuel A. Ajila, Shahid Alam
IEEEPACT
2009
IEEE
16 years 1 months ago
Interprocedural Load Elimination for Dynamic Optimization of Parallel Programs
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
Rajkishore Barik, Vivek Sarkar
IPPS
2009
IEEE
16 years 1 months ago
Double Throughput Multiply-Accumulate unit for FlexCore processor enhancements
— As a simple five-stage General-Purpose Processor (GPP), the baseline FlexCore processor has a limited set of datapath units. By utilizing a flexible datapath interconnect and...
Tung Thanh Hoang, Magnus Själander, Per Larss...
WABI
2009
Springer
109views Bioinformatics» more  WABI 2009»
16 years 1 months ago
Fast Prediction of RNA-RNA Interaction
Regulatory antisense RNAs are a class of ncRNAs that regulate gene expression by prohibiting the translation of an mRNA by establishing stable interactions with a target sequence. ...
Raheleh Salari, Rolf Backofen, Süleyman Cenk ...
FQAS
2009
Springer
181views Database» more  FQAS 2009»
16 years 1 months ago
Interlingual Information Extraction as a Solution for Multilingual QA Systems
Information extraction systems have been dealt with at length from the viewpoint of users posing definite questions whose expected answer is to be found in a document collection. T...
Jesús Cardeñosa, Carolina Gallardo, ...