Sciweavers

1245 search results - page 144 / 249
» Binary Sparse Coding
Sort
View
CC
1999
Springer
320views System Software» more  CC 1999»
15 years 7 months ago
Floating Point to Fixed Point Conversion of C Code
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...
Andrea G. M. Cilio, Henk Corporaal
110
Voted
CPHYSICS
2004
89views more  CPHYSICS 2004»
15 years 3 months ago
Comprehensive suite of codes for plasma-edge modelling
The various aspects of plasma-edge physics are included in a comprehensive suite of codes having applications from industrial plasmas to fusion devices. Here the basic ideas, stat...
Ralf Schneider, Xavier Bonnin, Neil McTaggart, Ale...
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 24 days ago
Secret Sharing LDPC Codes for the Constrained Gaussian Wiretap Channel
The problem of secret sharing over the Gaussian wiretap channel is considered. A source and a destination intend to share secret information over a Gaussian channel in the presenc...
Chan Wong Wong, Tan F. Wong, John M. Shea
PLDI
2006
ACM
15 years 9 months ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
JSS
2006
110views more  JSS 2006»
15 years 3 months ago
Beyond source code: The importance of other artifacts in software development (a case study)
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
Gregorio Robles, Jesús M. González-B...