Sciweavers

7195 search results - page 599 / 1439
» On Computing Power
Sort
View
ATVA
2009
Springer
158views Hardware» more  ATVA 2009»
16 years 1 months ago
Logahedra: A New Weakly Relational Domain
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
Jacob M. Howe, Andy King
ICMT
2009
Springer
16 years 1 months ago
A Collection Operator for Graph Transformation
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
Roy Grønmo, Stein Krogdahl, Birger Mø...
CISIS
2008
IEEE
16 years 1 months ago
Inferring the Function of Genes from Synthetic Lethal Mutations
—Techniques for detecting synthetic lethal mutations in double gene deletion experiments are emerging as powerful tool for analysing genes in parallel or overlapping pathways wit...
Oliver Ray, Christopher H. Bryant
ICC
2008
IEEE
101views Communications» more  ICC 2008»
16 years 1 months ago
SINR Estimation in Random Beamforming with Noisy MIMO Channel Measurements
—An improved SINR metric is proposed for the random beamforming scheme introduced by Sharif and Hassibi, when the channel observation used to compute the SINR is known to be nois...
Roland Tresch, Maxime Guillaud
VTC
2008
IEEE
102views Communications» more  VTC 2008»
16 years 1 months ago
Two-Level Early Stopping Algorithm for LTE Turbo Decoding
—The design of LTE turbo coding chain suitable for flexible parallel and pipelined hardware implementations is presented. The hierarchical data structure further offers an opport...
Jung-Fu Cheng