1145 search results - page 105 / 229 » The Correctness of an Optimized Code Generation |
133
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...
139
click to vote
ACTA
2007
15 years 4 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...
107
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— 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...
124
click to vote
SRDS
1999
IEEE
15 years 8 months ago
1999
IEEE
We study how to efficiently diffuse updates to a large distributed system of data replicas, some of which may exhibit arbitrary (Byzantine) failures. We assume that strictly fewer...
167
click to vote
EPIA
1999
Springer
15 years 8 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...