1901 search results - page 338 / 381 » Predicting Program Properties from |
108
click to vote
ASIACRYPT
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
102
Voted
CSL
2008
Springer
15 years 2 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
111
click to vote
GCB
2008
Springer
15 years 1 months ago
2008
Springer
: Specific functions of RNA molecules are often associated with different motifs in the RNA structure. The key feature that forms such an RNA motif is the combination of sequence ...
121
click to vote
BMCBI
2008
15 years 18 days ago
2008
Background: Multiple sequence alignments are a fundamental tool for the comparative analysis of proteins and nucleic acids. However, large data sets are no longer manageable for v...
ENGL
2008
15 years 17 days ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...