1953 search results - page 259 / 391 » Embedded Probabilistic Programming |
138
Voted
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
108
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Identification of RNA homologs within genomic stretches is difficult when pairwise sequence identity is low or unalignable flanking residues are present. In both cases...
172
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
We propose a novel framework for constrained spectral
clustering with pairwise constraints which specify whether
two objects belong to the same cluster or not. Unlike previous
m...
124
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
We have developed a function-level power estimation methodology for predicting the power dissipation of embedded software. For a given microprocessor core, we empirically build th...
125
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
One of the primary challenges in embedded system design is designing the memory hierarchy and restructuring the application to take advantage of it. This task is particularly impo...