145 search results - page 6 / 29 » Automatic C Compiler Generation from Architecture Descriptio... |
173
Voted
EUROPKI
2009
Springer
14 years 7 months 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...
100
Voted
PADL
2011
Springer
14 years 9 days ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
IPPS
1999
IEEE
15 years 1 months ago
1999
IEEE
Abstract. The combination of a language with ne-grain implicit parallelism and a data
ow evaluation scheme is suitable for high-level programming on massively parallel architectur...
75
Voted
FDL
2007
IEEE
15 years 1 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
101
click to vote
VLSID
2005
IEEE
15 years 9 months ago
2005
IEEE
High level synthesis tools transform an algorithmic description to a register transfer language (RTL) description of the hardware. The algorithm behavior is typically described in...