1953 search results - page 164 / 391 » Embedded Probabilistic Programming |
139
click to vote
IH
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a new dynamic technique for embedding robust software watermarks into a software program using thread contention. We show the technique to be resilient to many semanti...
136
click to vote
EMSOFT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
109
click to vote
ENTCS
2010
15 years 5 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
197
click to vote
ESOP
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
142
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...