5863 search results - page 283 / 1173 » Calculating Functional Programs |
170
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
166
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...
207
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Conserved protein sequence motifs are short stretches of amino acid sequence patterns that potentially encode the function of proteins. Several sequence pattern search...
162
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Consider a center possessing a trusted (tamper proof) device that wishes to securely compute a public function over private inputs that are contributed by some network nodes. In ne...
187
click to vote
FORTE
2003
15 years 8 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...