1953 search results - page 29 / 391 » Embedded Probabilistic Programming |
ATVA
2006
Springer
14 years 16 days ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
CSFW
2003
IEEE
14 years 2 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
SENSYS
2006
ACM
14 years 2 months ago
2006
ACM
Event-driven programming is a popular model for writing programs for tiny embedded systems and sensor network nodes. While event-driven programming can keep the memory overhead do...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper, we present a novel approach for active fingerprinting of state of the art video codec H.264/AVC. Tardos probabilistic fingerprinting code is embedded in H.264/AVC v...
GPCE
2004
Springer
14 years 2 months ago
2004
Springer