2206 search results - page 285 / 442 » On the power of coercion abstraction |
196
click to vote
SASO
2008
IEEE
16 years 28 days ago
2008
IEEE
—High level languages greatly increase the power of a programmer at the cost of programs that consume more s than those written at a lower level of abstraction. This inefficienc...
162
click to vote
WCNC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract—We examine the statistical distribution of the interference produced by a cluster of very many co-channel interferers, e.g., a sensor network, or a city full of active w...
162
click to vote
WCNC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— Cooperative communications has received increasing attention in recent years because of the ubiquity of wireless devices. Each year more mobile computing devices enter ...
156
click to vote
ACSAC
2007
IEEE
16 years 27 days ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
135
click to vote
ARITH
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract. We present efficient squaring formulae based on the Toom-Cook multiplication algorithm. The latter always requires at least one non-trivial constant division in the inte...