1953 search results - page 132 / 391 » Embedded Probabilistic Programming |
111
Voted
SAC
2005
ACM
15 years 8 months ago
2005
ACM
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
118
Voted
SBCCI
2004
ACM
15 years 7 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
ICFP
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents our experience using a domain-specific functional language, WaveScript, to build embedded sensing applications used in scientific research. We focus on a rec...
122
click to vote
CCS
2009
ACM
15 years 6 months ago
2009
ACM
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...