630 search results - page 42 / 126 » Applied inference: Case studies in microarchitectural design |
120
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Nucleic acid hybridization, a fundamental technique in molecular biology, can be modified into very effective and sensitive methods for detecting particular targets mi...
129
click to vote
IEEECIT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
144
click to vote
NIPS
2004
15 years 3 months ago
2004
As animals interact with their environments, they must constantly update estimates about their states. Bayesian models combine prior probabilities, a dynamical model and sensory e...
171
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
130
click to vote
ASIAN
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...