1953 search results - page 277 / 391 » Embedded Probabilistic Programming |
EMSOFT
2008
Springer
13 years 12 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
MAM
2007
13 years 10 months ago
2007
This paper describes a new method of executing a software program on an FPGA for embedded systems. Rather than combine reconfigurable logic with a microprocessor core, this method...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
ICIP
2000
IEEE
14 years 11 months ago
2000
IEEE
This paper addresses the application of active contours or snakes for robust tracking of contours. Conventional snake approaches to tracking initialize the current frame snake wit...
DAC
1999
ACM
14 years 11 months ago
1999
ACM
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...