Sciweavers

2129 search results - page 145 / 426
» Cutting-Edge Timing Analysis Techniques
Sort
View
CODES
2008
IEEE
15 years 4 months ago
Intra- and inter-processor hybrid performance modeling for MPSoC architectures
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...
Frank E. B. Ophelders, Samarjit Chakraborty, Henk ...
SAT
2009
Springer
79views Hardware» more  SAT 2009»
15 years 4 months ago
Minimizing Learned Clauses
Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by mos...
Niklas Sörensson, Armin Biere
ICASSP
2008
IEEE
15 years 4 months ago
Doppler-variant modeling of the vocal tract
A common technique to deploy linear prediction to nonstationary signals is time segmentation and local analysis. In [1], the temporal changes of linear prediction coefficients (L...
Axel Heim, Uli Sorger, Florian Hug
DSD
2009
IEEE
106views Hardware» more  DSD 2009»
15 years 1 months ago
Model-Driven Design of Embedded Multimedia Applications on SoCs
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
WICON
2008
14 years 11 months ago
Using the EAP framework for fast media independent handover authentication
In this paper we compare different authentication techniques that may be used in order to reduce the time and resources required to perform a handover: namely, re-authentication a...
Antonio Izquierdo, Nada Golmie, Katrin Hoeper, Lid...