2132 search results - page 282 / 427 » Automated software winnowing |
143
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Error correcting codes are widely used in communication and storage applications. Codec complexity has usually been measured with a software implementation in mind. A recent hardw...
139
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We propose two novel integration techniques -- bypass and bookkeeping -- in the memory controller to address the cache coherence compatibility issue of a non-shared bus heterogene...
ISBI
2008
IEEE
16 years 5 months ago
2008
IEEE
Studying cellular protein-protein interactions in situ requires a technique such as fluorescence resonance energy transfer (FRET) which is sensitive on the nanometer scale. Observ...
150
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Given a document repository, search engine is very helpful to retrieve information. Currently, vertical search is a hot topic, and Google Scholar [4] is an example for academic se...
129
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...