2658 search results - page 411 / 532 » On efficient balanced codes |
181
Voted
APLAS
2007
ACM
2007
ACM
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
15 years 8 months ago
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
137
click to vote
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
154
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Cooperative transmission schemes can offer benefits in terms of diversity and multiplexing gain compared with conventional direct transmission by forming a virtual antenna array. I...
159
click to vote
ACIVS
2006
Springer
15 years 8 months ago
2006
Springer
Disparity estimation can be used to eliminate redundancy among different views in multi-view video compression to obtain high compression efficiency. However, the problem of high c...
155
click to vote
CASES
2004
ACM
15 years 8 months ago
2004
ACM
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. However, it is computationally expensive to automaticall...