4257 search results - page 33 / 852 » The Logical Modularity of Programs |
ICLP
1991
Springer
14 years 20 days ago
1991
Springer
Interpretation of Logic Programs 1
RR
2007
Springer
14 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
14 years 2 months ago
2003
Springer
ARC
2006
Springer
14 years 26 days 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...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...