arXiv 2002-07-04 EN Synthesis of Low-Power Digital Circuits Derived from Binary Decision Diagrams Popel, Denis V.
arXiv 2002-06-18 EN Behaviour-based Knowledge Systems: An Epigenetic Path from Behaviour to Knowledge Gershenson, Carlos
arXiv 2001-08-25 EN Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking Qadeer, Shaz
arXiv 2001-03-29 EN The Anatomy of the Grid - Enabling Scalable Virtual Organizations Foster, Ian · Kesselman, Carl · Tuecke, Steven
arXiv 2000-10-02 EN Towards a Theory of Cache-Efficient Algorithms Sen, Sandeep · Chatterjee, Siddhartha · Dumir, Neeraj
arXiv 2000-09-22 EN Cluster Computing: A High-Performance Contender Baker, Mark · Buyya, Rajkumar · Hyde, Dan
