2662 search results - page 180 / 533 » Tools Demonstrations |
117
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
In the past few years, MPSoC has become the most popular solution for embedded computing. However, the challenge of programming MPSoCs also comes as the biggest side-effect of the...
136
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Existing keyword suggestion tools from various search engine companies could automatically suggest keywords related to the advertisers' products or services, counting in simp...
247
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...
126
click to vote
RECOMB
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Accurate comparative analysis tools for low-homology proteins remains a difficult challenge in computational biology, especially sequence alignment and consensus folding ...
172
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...