Sciweavers

6709 search results - page 39 / 1342
» Performance Modelling of the Computational Hardware: A Stati...
Sort
View
CAV
2008
Springer
115views Hardware» more  CAV 2008»
13 years 11 months ago
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wo...
CMPB
2010
171views more  CMPB 2010»
13 years 4 months ago
Metabolica: A statistical research tool for analyzing metabolic networks
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
Jenni Heino, Daniela Calvetti, Erkki Somersalo
DAC
1999
ACM
14 years 10 months ago
A Low Power Hardware/Software Partitioning Approach for Core-Based Embedded Systems
We present a novel approach that minimizes the power consumption of embedded core-based systems through hardware/software partitioning. Our approach is based on the idea of mapping...
Jörg Henkel
ICMCS
2009
IEEE
130views Multimedia» more  ICMCS 2009»
13 years 6 months ago
Fast multi-reference motion estimation via statistical learning for H.264/AVC
In the H.264/AVC coding standard, motion estimation (ME) is allowed to use multiple reference frames to make full use of reducing temporal redundancy in a video sequence. Although...
Chen-Kuo Chiang, Shang-Hong Lai
FIRBPERF
2005
IEEE
235views Algorithms» more  FIRBPERF 2005»
14 years 2 months ago
Performance Model Building of Pervasive Computing
Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using aut...
Andrea D'Ambrogio, Giuseppe Iazeolla