1953 search results - page 45 / 391 » Embedded Probabilistic Programming |
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This study proposes an efficient way of interference mitigation for ultra-wideband energy detection. A receiver for pulse position modulation systems is investigated. The inter...
JURIX
2007
13 years 11 months ago
2007
The outcome of a legal dispute, namely, the decision of its adjudicator, is uncertain, and both parties develop their strategies on the basis of their appreciation of the probabili...
QEST
2006
IEEE
14 years 4 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
ISVLSI
2003
IEEE
14 years 3 months ago
2003
IEEE
Previous work has shown that cache line sizes impact performance differently for different desktop programs – some programs work better with small line sizes, others with larger...