4609 search results - page 257 / 922 » Automatic Generation of Sigma-Protocols |
181
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
221
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
169
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
We survey a number of tools that have been developed for generating sets of colours according to commonly accepted rules for colour harmony. Informal manual techniques for generati...
212
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
161
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
An important milestone in the evolution of the Web is the Semantic Web: a Web in which the semantics of the available content and functionality is made explicit. Web design methods...