3107 search results - page 358 / 622 » Error-Correcting Source Code |
168
Voted
DCC
2002
IEEE
16 years 6 months ago
2002
IEEE
We consider the properties of optimal xed-rate and entropy-constrained scalar quantizers for nite alphabet sources. In particular, w econsider conditions under which the optimal s...
136
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
181
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
197
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
186
click to vote
ACHI
2008
IEEE
16 years 1 months ago
2008
IEEE
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...