3107 search results - page 181 / 622 » Error-Correcting Source Code |
146
Voted
AINA
2009
IEEE
15 years 12 months ago
2009
IEEE
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
149
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
139
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
126
Voted
LCPC
2004
Springer
15 years 10 months ago
2004
Springer
Cetus is a compiler infrastructure for the source-to-source transformation of programs. Since its creation nearly three years ago, it has grown to over 12,000 lines of Java code, b...
141
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Distributed space-time block coding is a diversity technique to mitigate the effects of fading in multi-hop wireless networks, where multiple relay stages are used by a source to ...