Sciweavers

3750 search results - page 440 / 750
» Code Optimization for Code Compression
Sort
View
157
Voted
CODES
2008
IEEE
15 years 6 months ago
Performance debugging of Esterel specifications
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...
Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samar...
CORR
2008
Springer
105views Education» more  CORR 2008»
15 years 4 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
171
Voted
EGH
2010
Springer
15 years 2 months ago
AnySL: efficient and portable shading for ray tracing
While a number of different shading languages have been developed, their efficient integration into an existing renderer is notoriously difficult, often boiling down to implementi...
Ralf Karrenberg, Dmitri Rubinstein, Philipp Slusal...
ARVLSI
1995
IEEE
179views VLSI» more  ARVLSI 1995»
15 years 8 months ago
Algorithms for the optimal state assignment of asynchronous state machines
This paper presents a method for the optimal state assignment of asynchronous state machines. Unlike state assignment for synchronous state machines, state codes must be chosen ca...
Robert M. Fuhrer, Bill Lin, Steven M. Nowick
VTC
2006
IEEE
103views Communications» more  VTC 2006»
15 years 10 months ago
Codeword Length Optimization for CPPUWB Systems
— The optimal codeword length that generates the maximum output signal to interference ratio (SIR) for the channel-phase-precoded ultra-wideband (CPPUWB) system proposed in [1] i...
Yu-Hao Chang, Shang-Ho Tsai, Xiaoli Yu, C. C. Jay ...