377 search results - page 13 / 76 » Modular logic metaprogramming |
TPHOL
2003
IEEE
14 years 20 days 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...
RR
2007
Springer
14 years 1 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
14 years 18 days ago
2003
Springer
ARC
2006
Springer
13 years 11 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
13 years 11 months ago
2006
Springer
