1140 search results - page 24 / 228 » Generating compilers for generated datapaths |
231
Voted
EUROPKI
2009
Springer
15 years 16 days ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...
130
Voted
CODES
2007
IEEE
15 years 9 months ago
2007
IEEE
We address the problem of instruction selection for Multi-Output Instructions (MOIs), producing more than one result. Such inherently parallel hardware instructions are very commo...
120
click to vote
AAAI
2012
13 years 5 months ago
2012
We describe a new sound and complete method for compiling contingent planning problems with sensing actions into classical planning. Our method encodes conditional plans within a ...
114
Voted
LCPC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper, we describe transformation recipes, which provide a high-level interface to the code transformation and code generation capability of a compiler. These rec...
143
Voted
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...