1379 search results - page 86 / 276 » codes 2009 |
167
click to vote
ACSC
2009
IEEE
15 years 11 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
146
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
A significant fraction of parallel scientific codes are iterative with barriers between iterations or even between phases of the same iteration. The sender of a message is assur...
131
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Crosscutting concerns can hinder maintainability of a design because they do not adhere to a system's underlying modular structure. Developers, therefore, may wish to refacto...
157
click to vote
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel algorithm for unsupervised segmentation of natural images that harnesses the principle of minimum description length (MDL). Our method is based on observations ...
135
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...