377 search results - page 13 / 76 » Modular logic metaprogramming |
TPHOL
2003
IEEE
15 years 2 months ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...
75
Voted
RR
2007
Springer
15 years 3 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
FPL
2003
Springer
15 years 2 months ago
2003
Springer
89
Voted
ARC
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a reconfigurable hardware architecture for Public-key cryptosystems. By changing the connections of coarse grain Carry-Save Adders (CSAs), the datapath provides...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
