1755 search results - page 227 / 351 » An efficient simulation algorithm based on abstract interpre... |
101
Voted
DAC
2008
ACM
16 years 4 months ago
2008
ACM
We present a domain-specific approach to representing datapaths for hardware implementations of linear signal transform algorithms. We extend the tensor structure for describing l...
158
click to vote
JSAC
2006
15 years 3 months ago
2006
Abstract--Efficient near-optimal energy allocation for multimedia data transmission using multicarrier modulation is investigated. The optimal method typically relies on an iterati...
150
Voted
PEPM
2010
ACM
16 years 16 days ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
157
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In P2P systems, large volumes of data are declustered naturally across a large number of peers. But it is very difficult to control the initial data distribution because every use...
141
Voted
AHSWN
2006
15 years 3 months ago
2006
Abstract-- We present a new, biologically-inspired algorithm for the problem of covering a given region with wireless "units" (sensors or base-stations). The general prob...