36320 search results - page 162 / 7264 » From Code to Models |
140
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paperpresents the Compaantool that automatically transforms a nestedloopprogram written in Matlab into a processnetwork speciļ¬cation. The processnetworkmodelof computationļ...
147
click to vote
AML
2006
15 years 6 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
155
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
177
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
AbstractāA secret-key generation scheme based on a layered broadcasting strategy is introduced for slow-fading channels. In the model considered, Alice wants to share a key with ...
154
click to vote
DCC
2004
IEEE
16 years 6 months ago
2004
IEEE
Arithmetic coding achieves a superior coding rate when encoding a binary source, but its lack of speed makes it an inferior choice when true high? performance encoding is needed. ...