Sciweavers

7189 search results - page 226 / 1438
» Connecting Design with Code
Sort
View
125
Voted
DAC
2000
ACM
16 years 4 months ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards
113
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Adaptive resolution-constrained scalar multiple-description coding
We consider adaptive two-channel multiple-description coding. We provide an analytical method for designing a resolutionconstrained symmetrical multiple-description coder that use...
Janusz Klejsa, Marcin Kuropatwinski, W. Bastiaan K...
149
Voted
WCNC
2008
IEEE
15 years 10 months ago
Interleave Division Multiplexing Aided Space-Time Coding for High-Throughput Uplink Cooperative Communications
— In this paper, we design and investigate a novel Interleave Division Multiplexing based Space-Time Code (IDM-STC) in the context of cooperative communications. We outline the p...
Rong Zhang, Lajos Hanzo
CC
2008
Springer
137views System Software» more  CC 2008»
15 years 5 months ago
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
Francesco Logozzo, Manuel Fähndrich
OPODIS
2003
15 years 5 months ago
dSL: An Environment with Automatic Code Distribution for Industrial Control Systems
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
Bram De Wachter, Thierry Massart, Cédric Me...