3876 search results - page 366 / 776 » Dynamic Adaptive Pre-Tenuring |
145
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
We propose the SocialTrust framework for tamper-resilient trust establishment in online social networks. Two of the salient features of SocialTrust are its dynamic revision of tru...
121
Voted
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
: The accumulation of popular features in portable products such as mobile handsets is driving battery life to unacceptably low levels. Substantial change will not come from increm...
114
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. We present KeY-C, a tool for deductive verification of C programs. KeY-C allows to prove partial correctness of C programs relative to pre- and postconditions. It is base...
138
click to vote
FPGA
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we present SPR, a new architecture-adaptive mapping tool for use with Coarse-Grained Reconfigurable Architectures (CGRAs). It combines a VLIW style scheduler and FP...
122
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new approach to rejection of sinusoidal disturbances acting at the output of a discrete-time complexvalued linear stable plant (e.g. acoustic channel) with u...