5962 search results - page 271 / 1193 » Working with Patterns and Code |
125
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
118
click to vote
JOT
2007
15 years 4 months ago
2007
nt selection mechanism at a high-level of abstraction to decouple aspects from the application code. To this regard, we adopt a high-level pattern-based join point model, where joi...
130
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...
143
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
— In recent years, network coding has proved to be an efficient tool to disseminate data through a network. A number of practical schemes have been proposed to implement network...
141
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
—The coding performance can be further improved when the hierarchical B-picture coding is introduced into H.264/AVC. However, the existing rate control schemes can NOT work effic...