3736 search results - page 256 / 748 » Generative Programming |
173
click to vote
CRYPTO
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
203
click to vote
TCAD
2008
15 years 6 months ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
219
click to vote
LCTRTS
2005
Springer
16 years 16 hour ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
156
click to vote
PPDP
2005
Springer
16 years 9 hour ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
159
click to vote
ICRA
2008
IEEE
16 years 29 days ago
2008
IEEE
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...