2206 search results - page 8 / 442 » On the power of coercion abstraction |
CAV
2012
Springer
11 years 10 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
JOLLI
2010
13 years 6 months ago
2010
rder Abstract Categorial Grammars as Hyperedge Replacement Grammars Makoto Kanazawa National Institute of Informatics 2–1–2 Hitotsubashi, Chiyoda-ku, Tokyo, 101–8430, Japan A...
MSCS
2010
13 years 5 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...
ISCAS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Performance trade offs of unary-R-2R and unarybinary digital-to-analog converters are presented. It is shown that for a given resolution and sampling rate, the active a...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— We present an efficient algorithm for power allocation and bit loading in multi-user OFDM system. We starts with the close-form optimum power solution based on ideal c...