222 search results - page 45 / 45 » Subject Reduction of Logic Programs as Proof-Theoretic Prope... |
ACMMSP
2005
ACM
15 years 5 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
127
click to vote
JIB
2007
14 years 11 months ago
2007
As protein-protein interactions are one of the basic mechanisms in most cellular processes, it is desirable to understand the molecular details of protein-protein contacts and ult...