Sciweavers

3515 search results - page 506 / 703
» Resource usage analysis
Sort
View
SAS
2009
Springer
147views Formal Methods» more  SAS 2009»
16 years 7 months ago
Polymorphic Fractional Capabilities
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...
Hirotoshi Yasuoka, Tachio Terauchi
PERCOM
2007
ACM
16 years 6 months ago
A three round authenticated group key agreement protocol for ad hoc networks
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...
Daniel Augot, Raghav Bhaskar, Valérie Issarny, Da...
DCC
2008
IEEE
16 years 6 months ago
Sublinear Recovery of Sparse Wavelet Signals
There are two main classes of decoding algorithms for "compressed sensing," those which run time time polynomial in the signal length and those which use sublinear resou...
Ray Maleh, Anna C. Gilbert
ICCD
2007
IEEE
179views Hardware» more  ICCD 2007»
16 years 3 months ago
Energy-aware co-processor selection for embedded processors on FPGAs
In this paper, we present co-processor selection problem for minimum energy consumption in hw/sw co-design on FPGAs with dual power mode. We provide theoretical analysis for the p...
Amir Hossein Gholamipour, Elaheh Bozorgzadeh, Suda...
CCECE
2009
IEEE
16 years 1 months ago
Application layer optimization for efficient video streaming over IEEE 802.11 based wireless networks
— Most of the existing video streaming systems employ the worst case analysis in application layer buffer size dimensioning. Even though the worst case buffer size dimensioning p...
Azfar Moid, Abraham O. Fapojuwo